起司有時會寫的筆記

Symbolic Execution

閱讀時間約 1 分鐘

符號化執行

  • System Level
    • S2e
  • User Level
    • Angr
    • Triton
  • Code Based
    • Klee

關係圖譜