![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/9a37afc00427179b93ef87316d20ce70.jpg)
| Document Date: 2012-03-12 11:18:03 Open Document File Size: 359,94 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 |