Another program analyzer, that performs static Value and Interval analysis of C like UNRELIABLE programs
static-analysis control-flow-graph interval-analysis static-analyzer data-flow-analysis unreliable-program
-
Updated
Oct 25, 2024 - C