Date: 2013-09-09 05:44:56

Dataflow

Symbolic execution

Algorithm

Information flow

Dependence analysis

Pointer

Information

Taint checking

Computing

Software engineering

Parallel computing

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

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 247,64 KB