Glossary

• AST Abstract Syntax Tree
• BAP Binary Analysis Platform
• BBID Basic block identifier
• CFG Control-flow Graph
• GCL Guarded Command Language
• IL Intermediate Language
• LLVM Low-level Virtual Machine
• OS Operating System
• SSA Static-single Analysis
• VC Verification Condition
• VSA Value-set Analysis
• WP Weakest Pre-condition