| 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 |