Add division-by-zero verification for Laurel via Core safe operators#510

Merged

keyboardDrummer merged 12 commits intomainfrom

tautschnig/division-by-zero-checks

Mar 4, 2026

Commits on Mar 4, 2026

Replace Laurel division-by-zero instrumentation with Core safe operators

tautschnig
and
kiro-agent
committed
Add dedicated CST nodes for truncating division/modulo operators

tautschnig
and
kiro-agent
committed
Merge remote-tracking branch 'origin/main' into tautschnig/division-by-zero-checks
tautschnig
committed
Update pyAnalyzeLaurel expected output for safe division operator

tautschnig
and
kiro-agent
committed
Propagate source location to LocalVariable in Python-to-Laurel translator

tautschnig
and
kiro-agent
committed
Propagate source location to all statement types in Python-to-Laurel translator

tautschnig
and
kiro-agent
committed
Add distinct CST nodes for unchecked truncating division/modulo

tautschnig
and
kiro-agent
committed
Use function-call syntax for unchecked truncating div/mod CST nodes

tautschnig
and
kiro-agent
committed