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