Clone wiki

libbap / Glossary

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

Updated