SMT

符號執行

Angr