Shared/Java: Introduce a shared control flow reachability library and replace the Java Nullness implementation. - #20367

Merged

aschackmull merged 14 commits into

github:mainfrom

aschackmull:shared/controlflow

Sep 16, 2025

Commits on Sep 12, 2025

Java: Preparatory Nullness refactor.
aschackmull
committed
db1f399
Guards: Support integer ranges.
aschackmull
committed
1ebdcdf
Java: Improve precision of SuccessorType labels in CFG.
aschackmull
committed
924a8ea
Java: Add some more nullness tests.
aschackmull
committed
452bbf7
Shared: Add control flow reachability lib.
aschackmull
committed
4a8ffea
Java: Replace nullness implementation.
aschackmull
committed
03321ff
Java: Clean up IntegerGuards.qll
aschackmull
committed
60d07cf
Java: Accept guards test results.
aschackmull
committed
e8f1ec6
Guards: Include ConditionalExpr in exprHasValue.
aschackmull
committed
2743fc0
Java: Minor nullness cleanup.
aschackmull
committed
f9ffee0
Java: Accept qltest change.
aschackmull
committed
e302616

Commits on Sep 15, 2025

Java: Add a change note, and a minor ql comment.
aschackmull
committed
b308c54
Shared: Minor precision improvement.
aschackmull
committed
be39c4c
Shared: Copy some qldoc from Guards.qll
aschackmull
committed
acb4d9f