GitHub - Generative-Program-Analysis/coreutils-linked: pre-compiled/linked coreutils programs used as benchmarks for symbolic execution · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
gensym_posix		gensym_posix
gensym_uclibc		gensym_uclibc
klee_posix		klee_posix
klee_posix_noswitch		klee_posix_noswitch
separate		separate

About

pre-compiled/linked coreutils programs used as benchmarks for symbolic execution

Custom properties

Report repository

Releases

No releases published

Packages

Contributors

Languages

LLVM 100.0%