PPT
DACODA [Crandall et al.; CCS 2005]. DA vis mal COD e A nalyzer Discover invariants in the exploit vector ( ε ) Symbolic execution on the system trace during attacks that Minos catches Used for an empirical analysis of polymorphism and metamorphism Quantify and understand the limits.