2015-01-26   Symbolic Execution Source Tools

by 路人甲    at: 2015-01-26 16:08   

  1. BitBlaze: Binary Analysis for Computer Security
  2. S2E: Selective Symbolic Execution
  3. KLEE LLVM Execution Engine