I'm curious, HN. Apart from Fujitsu, do any of you use Symbolic Execution in an Industrial setting or in your day-to-day job ? I'm starting to see fuzzing 'largely' adopted, and an uptick of interest in proof (see recent partnership between Nvidia and AdaCore on Spark2014 for firmware), but not much on Symbolic Execution ?
Apart from Trail of Bits, University Research teams, and automatic patching competitions ?
Apart from Trail of Bits, University Research teams, and automatic patching competitions ?
Anyone using cbmc, Klee, angr, s2e ?