enzet/program-model

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

语言：TeX · GitHub 星标：7 · Fork：2

话题：concolic-execution · dynamic-symbolic-execution · graph-drawing · latex · paper · symbolic-execution · taint-analysis

在 GitHub 上查看原仓库