GitHub - Pipeliner/s2e-apps: Utils and test apps for Selective Symbolic Execution.

Name		Name	Last commit message	Last commit date
Latest commit History 22 Commits
Avimd		Avimd
demos		demos
include		include
s2eget		s2eget
.gitignore		.gitignore
conf.lua		conf.lua
crun		crun
run		run

About

Utils and test apps for Selective Symbolic Execution.

symbolic-execution s2e

Report repository

Releases

No releases published

Packages

No packages published

Languages