History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
Creative Commons Attribution Share Alike 4.0 International
486
stars
56
forks
source link
Change DECAF input language from “Java” to “binary” #14
Closed
enzet closed 7 years ago
Suggested by @ntddk.