enzet/symbolic-execution

Add SAW

enzet opened this issue · 0 comments

enzet commented

By @joeranweiler:

A suggestion: SAW, by @galois: saw.galois.com (disclosure: I'm a former employee)