search

enzet / symbolic-execution

History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
Creative Commons Attribution Share Alike 4.0 International
487 stars 56 forks source link

Add tools for firmware analysis #23

Open enzet opened 7 years ago

enzet commented 7 years ago

Thanks to @fatemender.