- Author
- Martin Brain, Peter Schrammel
Representations
AST: types, globals, variables, functions, code blocks, language primitives, assignments, expressions, variables
To be documented.
CFG
To be documented.
SSA
To be documented.
Analysis techniques
Bounded model checking
To be documented (can copy from the CBMC manual).
SAT and SMT
To be documented.
Static analysis
To be documented.