![Symbolic execution / Symbol / Algorithm / Computing / KeY / Dynamical system / Applied mathematics / Formal methods / Computer programming / Taint checking Symbolic execution / Symbol / Algorithm / Computing / KeY / Dynamical system / Applied mathematics / Formal methods / Computer programming / Taint checking](https://www.pdfsearch.io/img/d31caa893362e2b01622e9ba770d41d6.jpg) Date: 2014-05-29 15:38:01Symbolic execution Symbol Algorithm Computing KeY Dynamical system Applied mathematics Formal methods Computer programming Taint checking | | All You Ever Wanted to Know About Dynamic Taint Analysis and Forward Symbolic Execution (but might have been afraid to ask) Edward J. Schwartz, Thanassis Avgerinos, David Brumley Carnegie Mellon University Pittsburgh, PAAdd to Reading ListSource URL: users.ece.cmu.eduDownload Document from Source Website File Size: 283,30 KBShare Document on Facebook
|