enzet/symbolic-execution

Add BuzzFuzz

enzet opened this issue · 0 comments

enzet commented

Main paper: Taint-based Directed Whitebox Fuzzing.