Back to Results
First PageMeta Content
Symbolic 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, PA
Add to Reading List

Document Date: 2012-03-12 11:18:03

Open Document

File Size: 359,94 KB

Share 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