Sean Heelan

Updated with author info

Unfortunately, at Immunity we weren't big on academic publications =/ Immunity Debugger, with the symbolic execution engine included, is publicly available and my slides which introduced it at Ruxcon 2010...

They are both static, but they are different from each other. I'll start with Immunity Debugger, as it is more straightforward. It performs path-wise static symbolic execution, in the sense...

With some of these tools a precise classification becomes difficult I think. There are at least a few engines that have hybrid algorithms between traditional symbolic execution and input-guided symbolic...