I just discovered SymCC and wanted to play with it this weekend. Any tips from hackers using symbolic execution + fuzzing technique to hunt security bugs? > on

I just discovered SymCC and wanted to play with it this weekend. Any tips from hackers using symbolic execution + fuzzing technique to hunt security bugs? > on some benchmarks, it even achieves better performance than the source-based SymCC This is cool.