enzet / program-model

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

Geek Repo

Github PK Tool