GitHub - uwsampa/inputcovsched: This code formed the basis of "Input-Covering Schedules for Multithreaded Programs (OOPSLA 2013)" and "Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts (OOPSLA 2014)".

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
apps		apps
cloud9		cloud9
llvm-poolalloc		llvm-poolalloc
test		test
uclibc		uclibc
README		README
klee-c9-uclibc.tar.gz		klee-c9-uclibc.tar.gz
llvm.lib.Linker.LinkModules.cpp.patch		llvm.lib.Linker.LinkModules.cpp.patch
llvm.lib.Transforms.Scalar.JumpThreading.cpp.patch		llvm.lib.Transforms.Scalar.JumpThreading.cpp.patch
stp.AddVcDeleteExprAndDecl.patch		stp.AddVcDeleteExprAndDecl.patch
stp.ClearTablesFix.patch		stp.ClearTablesFix.patch
stp.full.patch		stp.full.patch

Repository files navigation

This code is a modified version of Klee/Cloud9 that was built against
an old version of LLVM (SVN revision 152147). It may no longer compile
or run and is provided as-is for historical purposes.

About

This code formed the basis of "Input-Covering Schedules for Multithreaded Programs (OOPSLA 2013)" and "Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts (OOPSLA 2014)".

Readme