This folder contains various docs for PANDA. Here's a rough index.
- Android.md Android support details.
- LINE_Censorship.md Instructions to reproduce the LINE censorship work from our paper.
- Starcraft.md Instructions to reproduce video game activation results from our paper.
- UAF.md Instructions to reproduce vulnerability diagnosis results from our paper.
- dynslice.md How to use dynamic slicing to extract instructions which affect a computed result.
- hd_taint.txt Documentation on how hard drive taint worked in
taint. Still to be ported to
- manual.md Definitive manual. You want to read this.
- panda_ssltut.md Instructions for reproducing SSL key extraction.
- stuw.md Description of System Trace Understanding, Whole (STUW) work (mainly