Files
2025-08-04 15:47:57 +00:00

390 B

5.4.0

New Features

  • Exposed various SSA-related classes (Definition, PhiNode, ExplicitDefinition, DirectExplicitDefinition, and IndirectExplicitDefinition) which were previously only usable inside the internal dataflow directory.

Minor Analysis Improvements

  • The cpp/overrun-write query now recognizes more bound checks and thus produces fewer false positives.