![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)
| Document Date: 2014-05-29 15:38:01 Open Document File Size: 283,30 KBShare Result on Facebook
/ Facility David Brumley Carnegie Mellon University / / IndustryTerm internet-facing network input source / fundamental tool / security applications / forward symbolic execution algorithm / dynamic taint analysis systems / taint infrastructure / / Organization David Brumley Carnegie Mellon University Pittsburgh / / Person Edward J. Schwartz / David Brumley Carnegie / / Position representative / branch guard / XECUTION Forward / / ProgrammingLanguage Java / / Technology Java / forward symbolic execution algorithm / dom / IPv4 / Simulation / same protocol / / URL http /
SocialTag |