First Page | Document Content | |
---|---|---|
![]() Date: 2010-05-19 11:16:51Carnegie Mellon University Concolic testing Taint checking Mellon Symbolic execution Software engineering | Add to Reading List |
![]() | All You Ever Wanted to Know About Dynamic Taint Analysis & Forward Symbolic ExecutionDocID: 1reeX - View Document |
![]() | PDF DocumentDocID: 1j9Y9 - View Document |
![]() | Perl versiondocumentation - perl587delta NAME perl587delta - what is new for perl v5.8.7 DESCRIPTIONDocID: 13B5P - View Document |
![]() | DTA++: Dynamic Taint Analysis with Targeted Control-Flow Propagation Min Gyung Kang∗† Stephen McCamant† Pongsin Poosankam∗† Dawn Song† † UC Berkeley ∗ Carnegie Mellon University {mgkang,ppoosank}@cmu.eduDocID: 11X1m - View Document |
![]() | DTA++: Dynamic Taint Analysis with Targeted Control-Flow Propagation Min Gyung Kang∗† Stephen McCamant† Pongsin Poosankam∗† Dawn Song† † UC Berkeley ∗ Carnegie Mellon University {mgkang,ppoosank}@cmu.eduDocID: 11Ev7 - View Document |