|
@microsvuln | |||||
|
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
github.com/enzet/symbolic…
#timeline #symbolic_execution #sat #smt #solvers #smt_solver #fuzzing #taint_tracking #taint
|
||||||
|
||||||
|
Ryan
@ReversingWithMe
|
30. lis |
|
DBI maybe shoulnd't be in the SymExe chart. They tie to the concrete/dynamic analysis side, but seems a bit too much in one chart.
|
||
|
||