https://github.com/enzet/program-model
Formal model of program execution, symbolic execution, and taint tracking
https://github.com/enzet/program-model
concolic-execution dynamic-symbolic-execution graph-drawing latex paper symbolic-execution taint-analysis
Last synced: 6 months ago
JSON representation
Formal model of program execution, symbolic execution, and taint tracking
- Host: GitHub
- URL: https://github.com/enzet/program-model
- Owner: enzet
- Created: 2018-04-12T22:27:33.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2020-11-02T06:23:52.000Z (almost 5 years ago)
- Last Synced: 2023-02-27T12:27:48.757Z (over 2 years ago)
- Topics: concolic-execution, dynamic-symbolic-execution, graph-drawing, latex, paper, symbolic-execution, taint-analysis
- Language: TeX
- Homepage:
- Size: 1.02 MB
- Stars: 5
- Watchers: 2
- Forks: 2
- Open Issues: 1