Triton

Dynamic binary analysis framework in C++
由Tracer提供狀態給LibTriton.so給components
Tracer提供opcode
把control flow 轉成AST

SSA Form

每個變數只指派一次
忽略不必要指令