Hacker News new | ask | show | jobs
by lqqq 1977 days ago
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.