{"ref":"dev-concrete-value","ref_type":"branch","master_branch":"master","description":"Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a Taint Engine, AST representations of the x86 and the x86-64 instructions set semantics, SMT simplification passes, an SMT Solver Interface and, the last but not least, Python bindings.","pusher_type":"user"}
{"actor":{"display_login":"JonathanSalwan"}}