Classify division-by-zero checks as distinct property type#514

Merged

shigoel merged 7 commits intomainfrom

tautschnig/classify-division-by-zero

Mar 9, 2026

Commits on Mar 4, 2026

Classify division-by-zero checks as distinct property type

tautschnig
and
kiro-agent
committed
Use SARIF property bag instead of non-standard kind field

tautschnig
and
kiro-agent
committed
Decode property type from metadata for unreachable assertions

tautschnig
and
kiro-agent
committed

Commits on Mar 6, 2026

Replace hard-coded property type strings with MetaData constants

tautschnig
and
kiro-agent
committed
Merge remote-tracking branch 'origin/main' into tautschnig/classify-division-by-zero
tautschnig
committed
Merge branch 'main' into tautschnig/classify-division-by-zero
shigoel
authored

Commits on Mar 9, 2026

Merge branch 'main' into tautschnig/classify-division-by-zero
shigoel
authored