realdbcooper/program-model

Formal model of program execution, symbolic execution, and taint tracking

TeX