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.