├── .clang-format ├── .github └── workflows │ └── occam-docker.yml ├── .gitignore ├── .gitmodules ├── .pylintrc ├── LICENSE ├── Makefile ├── OCCAM-arch.jpg ├── README.md ├── docker ├── BuildOccamWithDocker.md └── occam.Dockerfile ├── examples ├── Makefile ├── argv │ ├── Makefile │ ├── hello.c │ └── hello.manifest ├── configurations │ ├── thttpd │ │ ├── Makefile │ │ ├── cfg.c │ │ └── config.cfg │ └── tor │ │ └── utils.c ├── darwin │ ├── nweb │ │ ├── Makefile │ │ ├── README │ │ ├── build.sh │ │ ├── nweb.c │ │ └── root │ │ │ └── index.html │ └── thttpd │ │ ├── Makefile │ │ ├── config.guess.diff │ │ └── config.sub.diff ├── freebsd │ ├── lighttpd │ │ ├── Makefile │ │ └── build.sh │ └── test-watch2 │ │ ├── Makefile │ │ ├── README │ │ ├── build.sh │ │ ├── hooks.c │ │ ├── main.c │ │ └── main.hooks ├── galois │ ├── fixed.ll │ ├── harness.c │ ├── hello_world │ │ └── hello_world.ll │ ├── memcmp │ │ ├── Makefile │ │ ├── build.sh │ │ ├── harness.c │ │ └── memcmpO3fixed.ll │ ├── memcmp_4004ec.ll │ └── nweb.ll ├── globals │ ├── Makefile │ ├── lib.c │ ├── main.c │ └── main.manifest ├── libcallmain │ ├── Makefile │ ├── build.sh │ ├── library.c │ ├── library.h │ └── main.c ├── linux │ ├── airtun_ng │ │ ├── Makefile │ │ ├── airtun_ng.json │ │ └── build.sh │ ├── binutils │ │ ├── Makefile │ │ ├── build_objdump.sh │ │ ├── build_readelf.sh │ │ ├── objdump.json │ │ └── readelf.json │ ├── bzip2 │ │ ├── Makefile │ │ ├── build.sh │ │ └── patch.txt │ ├── coreutils │ │ └── Makefile │ ├── cryptominisat │ │ ├── Makefile │ │ └── README.md │ ├── gmp │ │ └── Makefile │ ├── gold │ │ └── Makefile │ ├── httping │ │ ├── Makefile │ │ ├── build.sh │ │ ├── httping.json │ │ └── httping_slashed │ ├── knockd │ │ ├── Makefile │ │ ├── build.sh │ │ └── knockd.json │ ├── libc++ │ │ ├── Makefile │ │ └── README │ ├── lighttpd │ │ ├── Makefile │ │ ├── build.sh │ │ └── configuration_tests │ │ │ ├── README │ │ │ ├── config_01 │ │ │ ├── description │ │ │ ├── lighttpd.conf │ │ │ └── uncalled_functions │ │ │ ├── config_02 │ │ │ ├── description │ │ │ ├── lighttpd.conf │ │ │ └── uncalled_functions │ │ │ ├── config_03 │ │ │ ├── description │ │ │ ├── lighttpd.conf │ │ │ └── uncalled_functions │ │ │ ├── config_04 │ │ │ ├── description │ │ │ ├── lighttpd.conf │ │ │ └── uncalled_functions │ │ │ ├── config_05 │ │ │ ├── description │ │ │ ├── lighttpd.conf │ │ │ └── uncalled_functions │ │ │ ├── config_06 │ │ │ ├── description │ │ │ ├── lighttpd.conf │ │ │ └── uncalled_functions │ │ │ ├── config_07 │ │ │ ├── description │ │ │ ├── lighttpd.conf │ │ │ └── uncalled_functions │ │ │ ├── config_08 │ │ │ ├── description │ │ │ ├── lighttpd.conf │ │ │ └── uncalled_functions │ │ │ ├── config_09 │ │ │ ├── description │ │ │ ├── lighttpd.conf │ │ │ └── uncalled_functions │ │ │ ├── config_10 │ │ │ ├── description │ │ │ ├── lighttpd.conf │ │ │ └── uncalled_functions │ │ │ └── run.command │ ├── llvm │ │ └── Makefile │ ├── ls │ │ ├── Makefile │ │ ├── ls.bc │ │ └── ls.manifest │ ├── lto │ │ └── README │ ├── musl_nweb │ │ ├── Makefile │ │ ├── README │ │ ├── build.sh │ │ ├── nweb.c │ │ └── root │ │ │ └── index.html │ ├── musl_time │ │ ├── Makefile │ │ ├── build.sh │ │ ├── main.c │ │ ├── untouchables.funs.txt │ │ └── untouchables.vars.txt │ ├── musllvm │ │ └── Makefile │ ├── net-tools │ │ ├── Makefile │ │ ├── build.sh │ │ ├── config.h │ │ ├── hostname.patch │ │ ├── inet_sr.patch │ │ └── netstat.json │ ├── netperf │ │ ├── Makefile │ │ ├── build.sh │ │ └── netperf.json │ ├── nweb │ │ ├── Makefile │ │ ├── README │ │ ├── build.sh │ │ ├── nweb.c │ │ └── root │ │ │ └── index.html │ ├── openssl │ │ └── Makefile │ ├── paul2 │ │ ├── Makefile │ │ ├── build.sh │ │ ├── extern-test.c │ │ ├── json │ │ ├── keep.list │ │ └── main.c │ ├── thttpd │ │ └── Makefile │ ├── tree │ │ ├── Makefile │ │ ├── Makefile.darwin │ │ ├── README.txt │ │ ├── build.sh │ │ └── tree_tweaked.c │ ├── yices │ │ ├── Makefile │ │ ├── README │ │ ├── build.sh │ │ ├── libpoly.so.bc.gz │ │ ├── sin-cos-346-b-chunk-0607.smt2 │ │ ├── version.sh │ │ ├── yices_main.bc.gz │ │ ├── yices_smt2.bc.gz │ │ ├── yices_smt2_release.bc.gz │ │ └── yices_smt2_release_mcsat.bc.gz │ └── yices_gmp │ │ ├── Makefile │ │ ├── build.sh │ │ ├── libgmp.so.bc.gz │ │ └── yices_smt2.bc.gz └── modules │ ├── IANS_NOTES.txt │ ├── Makefile │ ├── build.sh │ ├── library.c │ ├── library.h │ ├── main.c │ ├── module.c │ └── module.h ├── include ├── AggressiveSpecPolicy.h ├── BoundedSpecPolicy.h ├── ConfigPrime.h ├── InterfaceTypes.h ├── Interfaces.h ├── OnlyOnceSpecPolicy.h ├── RecursiveGuardSpecPolicy.h ├── Serializer.h ├── SpecializationPolicy.h ├── SpecializationTable.h ├── Specializer.h ├── analysis │ ├── CallGraphTraits.h │ ├── ClassHierarchyAnalysis.hh │ ├── CostBenefitCallGraph.h │ └── MemorySSA.h ├── transforms │ ├── Crab.h │ ├── DevirtFunctions.hh │ ├── LowerGvInitializers.h │ └── utils │ │ ├── BasicBlockUtils.hh │ │ └── CallPromotionUtils.hh └── utils │ ├── Inliner.h │ ├── MemoryMLFeatures.h │ └── Profiler.h ├── python ├── 4clt ├── 4jorge ├── callinfo ├── code │ ├── __init__.py │ ├── callgraph.py │ ├── stringbuffer.py │ └── util.py ├── down ├── llvminfo ├── llvminfo2 ├── llvminfo3 ├── process_manifest.py └── up ├── razor ├── __init__.py ├── config.py ├── driver.py ├── echo.py ├── interface.py ├── passes.py ├── pool.py ├── provenance.py ├── rop_guided_dce.py ├── slash.py ├── stringbuffer.py ├── utils.py └── version.py ├── setup.py ├── src ├── AggressiveSpecPolicy.cpp ├── BoundedSpecPolicy.cpp ├── CommandLineArguments.cpp ├── ConfigPrime.cpp ├── GatherInterface.cpp ├── Inliner.cpp ├── InterRewriter.cpp ├── InterSpecializer.cpp ├── InterfaceTypes.cpp ├── Interfaces.cpp ├── InternalizeComponent.cpp ├── IntraSpecializer.cpp ├── Makefile ├── Makefile.config ├── OnlyOnceSpecPolicy.cpp ├── Previrt.proto ├── RecursiveGuardSpecPolicy.cpp ├── SpecializationTable.cpp ├── Specializer.cpp ├── analysis │ ├── ClassHierarchyAnalysis.cpp │ ├── CostBenefitCallGraph.cpp │ └── MemorySSA.cpp ├── ext │ ├── Makefile.clam │ ├── Makefile.llvm-seahorn │ └── Makefile.sea-dsa ├── interpreter │ ├── Execution.cpp │ ├── ExternalFunctions.cpp │ ├── Interpreter.cpp │ ├── Interpreter.h │ └── README.md ├── tools │ └── crabopt.cpp ├── transforms │ ├── Crab.cpp │ ├── DevirtFunctions.cpp │ ├── DevirtFunctionsPass.cpp │ ├── DummyMainFunction.cpp │ ├── IPDeadStoreElimination.cpp │ ├── RemoveDummyMainFunction.cpp │ ├── RemoveFunctions.cpp │ ├── Sccp.cpp │ ├── SpecializeCallFunctionPtrArg.cpp │ ├── VerifierCalls.cpp │ └── utils │ │ ├── BasicBlockUtils.cpp │ │ └── CallPromotionUtils.cpp └── utils │ ├── GetExternalFunctions.cpp │ ├── Inliner.cpp │ ├── MemoryMLFeatures.cpp │ └── Profiler.cpp ├── test ├── Makefile ├── config-prime-bitcode │ ├── intra-1.ll │ ├── intra-2.ll │ ├── intra-3.ll │ ├── intra-4.ll │ ├── intra-5.ll │ └── lit.local.cfg ├── config-prime-c │ ├── Makefile │ ├── ffi-callback │ │ ├── Makefile │ │ ├── build.sh │ │ └── main.c │ ├── inter-1 │ │ ├── Makefile │ │ ├── build.sh │ │ └── main.c │ ├── inter-2 │ │ ├── Makefile │ │ ├── build.sh │ │ └── main.c │ ├── inter-3 │ │ ├── Makefile │ │ ├── build.sh │ │ └── main.c │ ├── inter-4 │ │ ├── Makefile │ │ ├── build.sh │ │ └── main.c │ ├── intra-1 │ │ ├── Makefile │ │ ├── build.sh │ │ └── main.c │ ├── intra-2 │ │ ├── Makefile │ │ ├── build.sh │ │ └── main.c │ ├── intra-3 │ │ ├── Makefile │ │ ├── build.sh │ │ └── main.c │ ├── intra-4 │ │ ├── Makefile │ │ ├── build.sh │ │ └── main.c │ └── intra-5 │ │ ├── Makefile │ │ ├── build.sh │ │ └── main.c ├── crabopt │ ├── Makefile │ ├── lit.local.cfg │ ├── run.sh │ ├── test.1.c │ ├── test.2.c │ ├── test.3.c │ └── test.4.c ├── function-removal │ ├── Makefile │ ├── README.txt │ ├── build.sh │ └── main.c ├── ipdse │ ├── Makefile │ ├── lit.local.cfg │ ├── run.sh │ ├── test.1.c │ ├── test.2.c │ ├── test.3.c │ └── test.4.c ├── liboccamize │ ├── fptr │ │ ├── Makefile │ │ ├── README.txt │ │ ├── build.sh │ │ └── testlib.c │ ├── main-and-libraries │ │ ├── Makefile │ │ ├── README.txt │ │ ├── build.sh │ │ ├── main.c │ │ ├── testlib1.c │ │ ├── testlib1.h │ │ ├── testlib2.c │ │ └── testlib2.h │ ├── main-and-library │ │ ├── Makefile │ │ ├── README.txt │ │ ├── build.sh │ │ ├── main.c │ │ ├── testlib.c │ │ └── testlib.h │ ├── multiple-main-and-libraries │ │ ├── Makefile │ │ ├── README.txt │ │ ├── build.sh │ │ ├── main.c │ │ ├── main1.c │ │ ├── main2.c │ │ ├── testlib1.c │ │ ├── testlib1.h │ │ ├── testlib2.c │ │ └── testlib2.h │ ├── multiple │ │ ├── Makefile │ │ ├── README.txt │ │ ├── build.sh │ │ └── testlib.c │ ├── multiple_prototypes │ │ ├── Makefile │ │ ├── README.txt │ │ ├── build.sh │ │ └── testlib.cpp │ ├── single-with-chain │ │ ├── Makefile │ │ ├── README.txt │ │ ├── build.sh │ │ └── testlib.c │ └── single │ │ ├── Makefile │ │ ├── README.txt │ │ ├── build.sh │ │ ├── single.manifest │ │ └── testlib.c ├── lit.cfg ├── simple-bitcode │ ├── bounded-inter.ll │ ├── bounded-intra.ll │ ├── crabopt_1.ll │ ├── crabopt_2.ll │ ├── fib.ll │ ├── fiblib.ll │ ├── func_ptr_1.ll │ ├── func_ptr_10.ll │ ├── func_ptr_11.ll │ ├── func_ptr_12.ll │ ├── func_ptr_14.ll │ ├── func_ptr_2.ll │ ├── func_ptr_3.ll │ ├── func_ptr_4.ll │ ├── func_ptr_8.ll │ ├── lit.local.cfg │ ├── lto_00_lib.ll │ ├── lto_00_main.ll │ ├── multiple.ll │ ├── onlyonce-inter.ll │ ├── simple.ll │ └── tree.ll ├── simple-c │ ├── Makefile │ ├── bounded-inter │ │ ├── Makefile │ │ ├── build.sh │ │ ├── library.c │ │ ├── library.h │ │ └── main.c │ ├── bounded-intra │ │ ├── Makefile │ │ ├── build.sh │ │ └── main.c │ ├── crabopt │ │ ├── 1 │ │ │ ├── Makefile │ │ │ ├── build.sh │ │ │ └── main.c │ │ └── 2 │ │ │ ├── Makefile │ │ │ ├── build.sh │ │ │ └── main.c │ ├── fib │ │ ├── Makefile │ │ ├── build.sh │ │ └── main.c │ ├── fiblib │ │ ├── Makefile │ │ ├── build.sh │ │ ├── library.c │ │ ├── library.h │ │ └── main.c │ ├── funcs │ │ ├── 1 │ │ │ ├── Makefile │ │ │ ├── build.sh │ │ │ ├── call.c │ │ │ └── main.c │ │ ├── 2 │ │ │ ├── Makefile │ │ │ ├── build.sh │ │ │ ├── library.c │ │ │ ├── library.h │ │ │ ├── main.c │ │ │ └── main.cannotspec.c │ │ ├── 3 │ │ │ ├── Makefile │ │ │ ├── build.sh │ │ │ ├── library.c │ │ │ ├── library.h │ │ │ └── main.c │ │ ├── 4 │ │ │ ├── Makefile │ │ │ ├── build.sh │ │ │ ├── library.c │ │ │ ├── library.h │ │ │ └── main.c │ │ ├── 5 │ │ │ ├── Makefile │ │ │ ├── build.sh │ │ │ ├── library.c │ │ │ ├── library.h │ │ │ └── main.c │ │ ├── 6 │ │ │ ├── Makefile │ │ │ ├── README │ │ │ ├── build.sh │ │ │ ├── library.c │ │ │ ├── library.h │ │ │ ├── main.c │ │ │ ├── mystring.c │ │ │ └── mystring.h │ │ ├── 7 │ │ │ ├── Makefile │ │ │ ├── build.sh │ │ │ ├── library.c │ │ │ ├── library.h │ │ │ └── main.c │ │ ├── 8 │ │ │ ├── Makefile │ │ │ ├── build.sh │ │ │ ├── library.c │ │ │ ├── library.h │ │ │ └── main.c │ │ ├── 9 │ │ │ ├── Makefile │ │ │ ├── build.sh │ │ │ └── main.cpp │ │ ├── 10 │ │ │ ├── Makefile │ │ │ ├── build.sh │ │ │ ├── library.c │ │ │ ├── library.h │ │ │ └── main.c │ │ ├── 11 │ │ │ ├── Makefile │ │ │ ├── build.sh │ │ │ ├── library.c │ │ │ ├── library.h │ │ │ └── main.c │ │ ├── 12 │ │ │ ├── Makefile │ │ │ ├── build.sh │ │ │ └── main.c │ │ ├── 13 │ │ │ ├── Makefile │ │ │ ├── build.sh │ │ │ └── main.c │ │ ├── 14 │ │ │ ├── Makefile │ │ │ ├── build.sh │ │ │ ├── library.c │ │ │ ├── library.h │ │ │ └── main.c │ │ └── 15 │ │ │ ├── Makefile │ │ │ ├── build.sh │ │ │ ├── library.c │ │ │ ├── library.h │ │ │ └── main.c │ ├── ipdse │ │ ├── Makefile │ │ ├── build.sh │ │ └── main.c │ ├── multiple │ │ ├── IANS_NOTES.txt │ │ ├── Makefile │ │ ├── build.sh │ │ ├── library.c │ │ ├── library.h │ │ └── main.c │ ├── onlyonce-inter │ │ ├── Makefile │ │ ├── build.sh │ │ ├── library.c │ │ ├── library.h │ │ └── main.c │ ├── onlyonce-intra │ │ ├── Makefile │ │ ├── README │ │ ├── build.sh │ │ └── main.c │ ├── pe │ │ ├── Makefile │ │ ├── build.sh │ │ └── main.c │ ├── simple │ │ ├── IANS_NOTES.txt │ │ ├── Makefile │ │ ├── build.sh │ │ ├── library.c │ │ ├── library.h │ │ └── main.c │ ├── toy-wc │ │ ├── Makefile │ │ ├── build.sh │ │ ├── test.txt │ │ └── wc.c │ └── tree │ │ ├── IANS_NOTES.txt │ │ ├── Makefile │ │ ├── build.sh │ │ ├── library.c │ │ ├── library.h │ │ ├── main.c │ │ ├── module.h │ │ └── subdir │ │ └── module.c ├── weak-linkage-1 │ ├── Makefile │ ├── README.md │ ├── build_occam.sh │ ├── main.c │ ├── test.c │ └── test.h └── weak-linkage-2 │ ├── Makefile │ ├── README.md │ ├── build_occam.sh │ ├── main.c │ ├── test.c │ └── test.h ├── utils └── FileCheck_trusty │ └── FileCheck └── vagrants ├── 14.04 ├── apache │ ├── Vagrantfile │ ├── bash_profile │ ├── bootstrap.sh │ ├── login │ └── www │ │ └── conf │ │ └── httpd.conf ├── basic │ ├── Vagrantfile │ ├── bash_profile │ ├── bootstrap.sh │ └── login └── ros │ ├── Vagrantfile │ ├── bash_profile │ ├── bootstrap.sh │ ├── login │ └── segway-build-notes.txt ├── 16.04 └── kernel-specialization │ ├── README.md │ ├── Vagrantfile │ ├── bash_profile │ ├── bootstrap.sh │ ├── generate_kernel_specialized_for_thttpd.sh │ └── login └── 18.04 └── basic ├── Vagrantfile ├── bash_profile └── bootstrap.sh /.clang-format: -------------------------------------------------------------------------------- 1 | --- 2 | BasedOnStyle: LLVM 3 | AllowShortFunctionsOnASingleLine: All 4 | IndentWidth: '2' 5 | 6 | ... 7 | -------------------------------------------------------------------------------- /.github/workflows/occam-docker.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/.github/workflows/occam-docker.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/.gitmodules -------------------------------------------------------------------------------- /.pylintrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/.pylintrc -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/Makefile -------------------------------------------------------------------------------- /OCCAM-arch.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/OCCAM-arch.jpg -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/README.md -------------------------------------------------------------------------------- /docker/BuildOccamWithDocker.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/docker/BuildOccamWithDocker.md -------------------------------------------------------------------------------- /docker/occam.Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/docker/occam.Dockerfile -------------------------------------------------------------------------------- /examples/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/Makefile -------------------------------------------------------------------------------- /examples/argv/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/argv/Makefile -------------------------------------------------------------------------------- /examples/argv/hello.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/argv/hello.c -------------------------------------------------------------------------------- /examples/argv/hello.manifest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/argv/hello.manifest -------------------------------------------------------------------------------- /examples/configurations/thttpd/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/configurations/thttpd/Makefile -------------------------------------------------------------------------------- /examples/configurations/thttpd/cfg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/configurations/thttpd/cfg.c -------------------------------------------------------------------------------- /examples/configurations/thttpd/config.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/configurations/thttpd/config.cfg -------------------------------------------------------------------------------- /examples/configurations/tor/utils.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/configurations/tor/utils.c -------------------------------------------------------------------------------- /examples/darwin/nweb/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/darwin/nweb/Makefile -------------------------------------------------------------------------------- /examples/darwin/nweb/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/darwin/nweb/README -------------------------------------------------------------------------------- /examples/darwin/nweb/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/darwin/nweb/build.sh -------------------------------------------------------------------------------- /examples/darwin/nweb/nweb.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/darwin/nweb/nweb.c -------------------------------------------------------------------------------- /examples/darwin/nweb/root/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/darwin/nweb/root/index.html -------------------------------------------------------------------------------- /examples/darwin/thttpd/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/darwin/thttpd/Makefile -------------------------------------------------------------------------------- /examples/darwin/thttpd/config.guess.diff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/darwin/thttpd/config.guess.diff -------------------------------------------------------------------------------- /examples/darwin/thttpd/config.sub.diff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/darwin/thttpd/config.sub.diff -------------------------------------------------------------------------------- /examples/freebsd/lighttpd/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/freebsd/lighttpd/Makefile -------------------------------------------------------------------------------- /examples/freebsd/lighttpd/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/freebsd/lighttpd/build.sh -------------------------------------------------------------------------------- /examples/freebsd/test-watch2/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/freebsd/test-watch2/Makefile -------------------------------------------------------------------------------- /examples/freebsd/test-watch2/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/freebsd/test-watch2/README -------------------------------------------------------------------------------- /examples/freebsd/test-watch2/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/freebsd/test-watch2/build.sh -------------------------------------------------------------------------------- /examples/freebsd/test-watch2/hooks.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/freebsd/test-watch2/hooks.c -------------------------------------------------------------------------------- /examples/freebsd/test-watch2/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/freebsd/test-watch2/main.c -------------------------------------------------------------------------------- /examples/freebsd/test-watch2/main.hooks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/freebsd/test-watch2/main.hooks -------------------------------------------------------------------------------- /examples/galois/fixed.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/galois/fixed.ll -------------------------------------------------------------------------------- /examples/galois/harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/galois/harness.c -------------------------------------------------------------------------------- /examples/galois/hello_world/hello_world.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/galois/hello_world/hello_world.ll -------------------------------------------------------------------------------- /examples/galois/memcmp/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/galois/memcmp/Makefile -------------------------------------------------------------------------------- /examples/galois/memcmp/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/galois/memcmp/build.sh -------------------------------------------------------------------------------- /examples/galois/memcmp/harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/galois/memcmp/harness.c -------------------------------------------------------------------------------- /examples/galois/memcmp/memcmpO3fixed.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/galois/memcmp/memcmpO3fixed.ll -------------------------------------------------------------------------------- /examples/galois/memcmp_4004ec.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/galois/memcmp_4004ec.ll -------------------------------------------------------------------------------- /examples/galois/nweb.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/galois/nweb.ll -------------------------------------------------------------------------------- /examples/globals/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/globals/Makefile -------------------------------------------------------------------------------- /examples/globals/lib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/globals/lib.c -------------------------------------------------------------------------------- /examples/globals/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/globals/main.c -------------------------------------------------------------------------------- /examples/globals/main.manifest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/globals/main.manifest -------------------------------------------------------------------------------- /examples/libcallmain/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/libcallmain/Makefile -------------------------------------------------------------------------------- /examples/libcallmain/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/libcallmain/build.sh -------------------------------------------------------------------------------- /examples/libcallmain/library.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/libcallmain/library.c -------------------------------------------------------------------------------- /examples/libcallmain/library.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/libcallmain/library.h -------------------------------------------------------------------------------- /examples/libcallmain/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/libcallmain/main.c -------------------------------------------------------------------------------- /examples/linux/airtun_ng/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/airtun_ng/Makefile -------------------------------------------------------------------------------- /examples/linux/airtun_ng/airtun_ng.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/airtun_ng/airtun_ng.json -------------------------------------------------------------------------------- /examples/linux/airtun_ng/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/airtun_ng/build.sh -------------------------------------------------------------------------------- /examples/linux/binutils/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/binutils/Makefile -------------------------------------------------------------------------------- /examples/linux/binutils/build_objdump.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/binutils/build_objdump.sh -------------------------------------------------------------------------------- /examples/linux/binutils/build_readelf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/binutils/build_readelf.sh -------------------------------------------------------------------------------- /examples/linux/binutils/objdump.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/binutils/objdump.json -------------------------------------------------------------------------------- /examples/linux/binutils/readelf.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/binutils/readelf.json -------------------------------------------------------------------------------- /examples/linux/bzip2/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/bzip2/Makefile -------------------------------------------------------------------------------- /examples/linux/bzip2/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/bzip2/build.sh -------------------------------------------------------------------------------- /examples/linux/bzip2/patch.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/bzip2/patch.txt -------------------------------------------------------------------------------- /examples/linux/coreutils/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/coreutils/Makefile -------------------------------------------------------------------------------- /examples/linux/cryptominisat/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/cryptominisat/Makefile -------------------------------------------------------------------------------- /examples/linux/cryptominisat/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/cryptominisat/README.md -------------------------------------------------------------------------------- /examples/linux/gmp/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/gmp/Makefile -------------------------------------------------------------------------------- /examples/linux/gold/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/gold/Makefile -------------------------------------------------------------------------------- /examples/linux/httping/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/httping/Makefile -------------------------------------------------------------------------------- /examples/linux/httping/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/httping/build.sh -------------------------------------------------------------------------------- /examples/linux/httping/httping.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/httping/httping.json -------------------------------------------------------------------------------- /examples/linux/httping/httping_slashed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/httping/httping_slashed -------------------------------------------------------------------------------- /examples/linux/knockd/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/knockd/Makefile -------------------------------------------------------------------------------- /examples/linux/knockd/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/knockd/build.sh -------------------------------------------------------------------------------- /examples/linux/knockd/knockd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/knockd/knockd.json -------------------------------------------------------------------------------- /examples/linux/libc++/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/libc++/Makefile -------------------------------------------------------------------------------- /examples/linux/libc++/README: -------------------------------------------------------------------------------- 1 | http://libcxx.llvm.org/docs/ 2 | 3 | -------------------------------------------------------------------------------- /examples/linux/lighttpd/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/lighttpd/Makefile -------------------------------------------------------------------------------- /examples/linux/lighttpd/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/lighttpd/build.sh -------------------------------------------------------------------------------- /examples/linux/lighttpd/configuration_tests/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/lighttpd/configuration_tests/README -------------------------------------------------------------------------------- /examples/linux/lighttpd/configuration_tests/config_01/description: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/lighttpd/configuration_tests/config_01/description -------------------------------------------------------------------------------- /examples/linux/lighttpd/configuration_tests/config_01/lighttpd.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/lighttpd/configuration_tests/config_01/lighttpd.conf -------------------------------------------------------------------------------- /examples/linux/lighttpd/configuration_tests/config_01/uncalled_functions: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/lighttpd/configuration_tests/config_01/uncalled_functions -------------------------------------------------------------------------------- /examples/linux/lighttpd/configuration_tests/config_02/description: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/lighttpd/configuration_tests/config_02/description -------------------------------------------------------------------------------- /examples/linux/lighttpd/configuration_tests/config_02/lighttpd.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/lighttpd/configuration_tests/config_02/lighttpd.conf -------------------------------------------------------------------------------- /examples/linux/lighttpd/configuration_tests/config_02/uncalled_functions: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/lighttpd/configuration_tests/config_02/uncalled_functions -------------------------------------------------------------------------------- /examples/linux/lighttpd/configuration_tests/config_03/description: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/lighttpd/configuration_tests/config_03/description -------------------------------------------------------------------------------- /examples/linux/lighttpd/configuration_tests/config_03/lighttpd.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/lighttpd/configuration_tests/config_03/lighttpd.conf -------------------------------------------------------------------------------- /examples/linux/lighttpd/configuration_tests/config_03/uncalled_functions: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/lighttpd/configuration_tests/config_03/uncalled_functions -------------------------------------------------------------------------------- /examples/linux/lighttpd/configuration_tests/config_04/description: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/lighttpd/configuration_tests/config_04/description -------------------------------------------------------------------------------- /examples/linux/lighttpd/configuration_tests/config_04/lighttpd.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/lighttpd/configuration_tests/config_04/lighttpd.conf -------------------------------------------------------------------------------- /examples/linux/lighttpd/configuration_tests/config_04/uncalled_functions: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/lighttpd/configuration_tests/config_04/uncalled_functions -------------------------------------------------------------------------------- /examples/linux/lighttpd/configuration_tests/config_05/description: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/lighttpd/configuration_tests/config_05/description -------------------------------------------------------------------------------- /examples/linux/lighttpd/configuration_tests/config_05/lighttpd.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/lighttpd/configuration_tests/config_05/lighttpd.conf -------------------------------------------------------------------------------- /examples/linux/lighttpd/configuration_tests/config_05/uncalled_functions: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/lighttpd/configuration_tests/config_05/uncalled_functions -------------------------------------------------------------------------------- /examples/linux/lighttpd/configuration_tests/config_06/description: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/lighttpd/configuration_tests/config_06/description -------------------------------------------------------------------------------- /examples/linux/lighttpd/configuration_tests/config_06/lighttpd.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/lighttpd/configuration_tests/config_06/lighttpd.conf -------------------------------------------------------------------------------- /examples/linux/lighttpd/configuration_tests/config_06/uncalled_functions: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/lighttpd/configuration_tests/config_06/uncalled_functions -------------------------------------------------------------------------------- /examples/linux/lighttpd/configuration_tests/config_07/description: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/lighttpd/configuration_tests/config_07/description -------------------------------------------------------------------------------- /examples/linux/lighttpd/configuration_tests/config_07/lighttpd.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/lighttpd/configuration_tests/config_07/lighttpd.conf -------------------------------------------------------------------------------- /examples/linux/lighttpd/configuration_tests/config_07/uncalled_functions: -------------------------------------------------------------------------------- 1 | getaddrinfo 2 | light_isxdigit 3 | -------------------------------------------------------------------------------- /examples/linux/lighttpd/configuration_tests/config_08/description: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/lighttpd/configuration_tests/config_08/description -------------------------------------------------------------------------------- /examples/linux/lighttpd/configuration_tests/config_08/lighttpd.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/lighttpd/configuration_tests/config_08/lighttpd.conf -------------------------------------------------------------------------------- /examples/linux/lighttpd/configuration_tests/config_08/uncalled_functions: -------------------------------------------------------------------------------- 1 | chroot 2 | -------------------------------------------------------------------------------- /examples/linux/lighttpd/configuration_tests/config_09/description: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/lighttpd/configuration_tests/config_09/description -------------------------------------------------------------------------------- /examples/linux/lighttpd/configuration_tests/config_09/lighttpd.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/lighttpd/configuration_tests/config_09/lighttpd.conf -------------------------------------------------------------------------------- /examples/linux/lighttpd/configuration_tests/config_09/uncalled_functions: -------------------------------------------------------------------------------- 1 | setuid 2 | -------------------------------------------------------------------------------- /examples/linux/lighttpd/configuration_tests/config_10/description: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/lighttpd/configuration_tests/config_10/description -------------------------------------------------------------------------------- /examples/linux/lighttpd/configuration_tests/config_10/lighttpd.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/lighttpd/configuration_tests/config_10/lighttpd.conf -------------------------------------------------------------------------------- /examples/linux/lighttpd/configuration_tests/config_10/uncalled_functions: -------------------------------------------------------------------------------- 1 | setgid 2 | -------------------------------------------------------------------------------- /examples/linux/lighttpd/configuration_tests/run.command: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/lighttpd/configuration_tests/run.command -------------------------------------------------------------------------------- /examples/linux/llvm/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/llvm/Makefile -------------------------------------------------------------------------------- /examples/linux/ls/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/ls/Makefile -------------------------------------------------------------------------------- /examples/linux/ls/ls.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/ls/ls.bc -------------------------------------------------------------------------------- /examples/linux/ls/ls.manifest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/ls/ls.manifest -------------------------------------------------------------------------------- /examples/linux/lto/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/lto/README -------------------------------------------------------------------------------- /examples/linux/musl_nweb/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/musl_nweb/Makefile -------------------------------------------------------------------------------- /examples/linux/musl_nweb/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/musl_nweb/README -------------------------------------------------------------------------------- /examples/linux/musl_nweb/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/musl_nweb/build.sh -------------------------------------------------------------------------------- /examples/linux/musl_nweb/nweb.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/musl_nweb/nweb.c -------------------------------------------------------------------------------- /examples/linux/musl_nweb/root/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/musl_nweb/root/index.html -------------------------------------------------------------------------------- /examples/linux/musl_time/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/musl_time/Makefile -------------------------------------------------------------------------------- /examples/linux/musl_time/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/musl_time/build.sh -------------------------------------------------------------------------------- /examples/linux/musl_time/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/musl_time/main.c -------------------------------------------------------------------------------- /examples/linux/musl_time/untouchables.funs.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/musl_time/untouchables.funs.txt -------------------------------------------------------------------------------- /examples/linux/musl_time/untouchables.vars.txt: -------------------------------------------------------------------------------- 1 | __libc 2 | -------------------------------------------------------------------------------- /examples/linux/musllvm/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/musllvm/Makefile -------------------------------------------------------------------------------- /examples/linux/net-tools/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/net-tools/Makefile -------------------------------------------------------------------------------- /examples/linux/net-tools/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/net-tools/build.sh -------------------------------------------------------------------------------- /examples/linux/net-tools/config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/net-tools/config.h -------------------------------------------------------------------------------- /examples/linux/net-tools/hostname.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/net-tools/hostname.patch -------------------------------------------------------------------------------- /examples/linux/net-tools/inet_sr.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/net-tools/inet_sr.patch -------------------------------------------------------------------------------- /examples/linux/net-tools/netstat.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/net-tools/netstat.json -------------------------------------------------------------------------------- /examples/linux/netperf/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/netperf/Makefile -------------------------------------------------------------------------------- /examples/linux/netperf/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/netperf/build.sh -------------------------------------------------------------------------------- /examples/linux/netperf/netperf.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/netperf/netperf.json -------------------------------------------------------------------------------- /examples/linux/nweb/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/nweb/Makefile -------------------------------------------------------------------------------- /examples/linux/nweb/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/nweb/README -------------------------------------------------------------------------------- /examples/linux/nweb/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/nweb/build.sh -------------------------------------------------------------------------------- /examples/linux/nweb/nweb.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/nweb/nweb.c -------------------------------------------------------------------------------- /examples/linux/nweb/root/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/nweb/root/index.html -------------------------------------------------------------------------------- /examples/linux/openssl/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/openssl/Makefile -------------------------------------------------------------------------------- /examples/linux/paul2/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/paul2/Makefile -------------------------------------------------------------------------------- /examples/linux/paul2/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/paul2/build.sh -------------------------------------------------------------------------------- /examples/linux/paul2/extern-test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/paul2/extern-test.c -------------------------------------------------------------------------------- /examples/linux/paul2/json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/paul2/json -------------------------------------------------------------------------------- /examples/linux/paul2/keep.list: -------------------------------------------------------------------------------- 1 | var 2 | -------------------------------------------------------------------------------- /examples/linux/paul2/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/paul2/main.c -------------------------------------------------------------------------------- /examples/linux/thttpd/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/thttpd/Makefile -------------------------------------------------------------------------------- /examples/linux/tree/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/tree/Makefile -------------------------------------------------------------------------------- /examples/linux/tree/Makefile.darwin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/tree/Makefile.darwin -------------------------------------------------------------------------------- /examples/linux/tree/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/tree/README.txt -------------------------------------------------------------------------------- /examples/linux/tree/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/tree/build.sh -------------------------------------------------------------------------------- /examples/linux/tree/tree_tweaked.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/tree/tree_tweaked.c -------------------------------------------------------------------------------- /examples/linux/yices/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/yices/Makefile -------------------------------------------------------------------------------- /examples/linux/yices/README: -------------------------------------------------------------------------------- 1 | The bc was generated on shaman, 14.04, using llvm-3.5. 2 | -------------------------------------------------------------------------------- /examples/linux/yices/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/yices/build.sh -------------------------------------------------------------------------------- /examples/linux/yices/libpoly.so.bc.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/yices/libpoly.so.bc.gz -------------------------------------------------------------------------------- /examples/linux/yices/sin-cos-346-b-chunk-0607.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/yices/sin-cos-346-b-chunk-0607.smt2 -------------------------------------------------------------------------------- /examples/linux/yices/version.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/yices/version.sh -------------------------------------------------------------------------------- /examples/linux/yices/yices_main.bc.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/yices/yices_main.bc.gz -------------------------------------------------------------------------------- /examples/linux/yices/yices_smt2.bc.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/yices/yices_smt2.bc.gz -------------------------------------------------------------------------------- /examples/linux/yices/yices_smt2_release.bc.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/yices/yices_smt2_release.bc.gz -------------------------------------------------------------------------------- /examples/linux/yices/yices_smt2_release_mcsat.bc.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/yices/yices_smt2_release_mcsat.bc.gz -------------------------------------------------------------------------------- /examples/linux/yices_gmp/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/yices_gmp/Makefile -------------------------------------------------------------------------------- /examples/linux/yices_gmp/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/yices_gmp/build.sh -------------------------------------------------------------------------------- /examples/linux/yices_gmp/libgmp.so.bc.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/yices_gmp/libgmp.so.bc.gz -------------------------------------------------------------------------------- /examples/linux/yices_gmp/yices_smt2.bc.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/linux/yices_gmp/yices_smt2.bc.gz -------------------------------------------------------------------------------- /examples/modules/IANS_NOTES.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/modules/IANS_NOTES.txt -------------------------------------------------------------------------------- /examples/modules/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/modules/Makefile -------------------------------------------------------------------------------- /examples/modules/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/modules/build.sh -------------------------------------------------------------------------------- /examples/modules/library.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/modules/library.c -------------------------------------------------------------------------------- /examples/modules/library.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/modules/library.h -------------------------------------------------------------------------------- /examples/modules/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/modules/main.c -------------------------------------------------------------------------------- /examples/modules/module.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/modules/module.c -------------------------------------------------------------------------------- /examples/modules/module.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/examples/modules/module.h -------------------------------------------------------------------------------- /include/AggressiveSpecPolicy.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/include/AggressiveSpecPolicy.h -------------------------------------------------------------------------------- /include/BoundedSpecPolicy.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/include/BoundedSpecPolicy.h -------------------------------------------------------------------------------- /include/ConfigPrime.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/include/ConfigPrime.h -------------------------------------------------------------------------------- /include/InterfaceTypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/include/InterfaceTypes.h -------------------------------------------------------------------------------- /include/Interfaces.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/include/Interfaces.h -------------------------------------------------------------------------------- /include/OnlyOnceSpecPolicy.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/include/OnlyOnceSpecPolicy.h -------------------------------------------------------------------------------- /include/RecursiveGuardSpecPolicy.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/include/RecursiveGuardSpecPolicy.h -------------------------------------------------------------------------------- /include/Serializer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/include/Serializer.h -------------------------------------------------------------------------------- /include/SpecializationPolicy.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/include/SpecializationPolicy.h -------------------------------------------------------------------------------- /include/SpecializationTable.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/include/SpecializationTable.h -------------------------------------------------------------------------------- /include/Specializer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/include/Specializer.h -------------------------------------------------------------------------------- /include/analysis/CallGraphTraits.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/include/analysis/CallGraphTraits.h -------------------------------------------------------------------------------- /include/analysis/ClassHierarchyAnalysis.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/include/analysis/ClassHierarchyAnalysis.hh -------------------------------------------------------------------------------- /include/analysis/CostBenefitCallGraph.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/include/analysis/CostBenefitCallGraph.h -------------------------------------------------------------------------------- /include/analysis/MemorySSA.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/include/analysis/MemorySSA.h -------------------------------------------------------------------------------- /include/transforms/Crab.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/include/transforms/Crab.h -------------------------------------------------------------------------------- /include/transforms/DevirtFunctions.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/include/transforms/DevirtFunctions.hh -------------------------------------------------------------------------------- /include/transforms/LowerGvInitializers.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/include/transforms/LowerGvInitializers.h -------------------------------------------------------------------------------- /include/transforms/utils/BasicBlockUtils.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/include/transforms/utils/BasicBlockUtils.hh -------------------------------------------------------------------------------- /include/transforms/utils/CallPromotionUtils.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/include/transforms/utils/CallPromotionUtils.hh -------------------------------------------------------------------------------- /include/utils/Inliner.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/include/utils/Inliner.h -------------------------------------------------------------------------------- /include/utils/MemoryMLFeatures.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/include/utils/MemoryMLFeatures.h -------------------------------------------------------------------------------- /include/utils/Profiler.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/include/utils/Profiler.h -------------------------------------------------------------------------------- /python/4clt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/python/4clt -------------------------------------------------------------------------------- /python/4jorge: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/python/4jorge -------------------------------------------------------------------------------- /python/callinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/python/callinfo -------------------------------------------------------------------------------- /python/code/__init__.py: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /python/code/callgraph.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/python/code/callgraph.py -------------------------------------------------------------------------------- /python/code/stringbuffer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/python/code/stringbuffer.py -------------------------------------------------------------------------------- /python/code/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/python/code/util.py -------------------------------------------------------------------------------- /python/down: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/python/down -------------------------------------------------------------------------------- /python/llvminfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/python/llvminfo -------------------------------------------------------------------------------- /python/llvminfo2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/python/llvminfo2 -------------------------------------------------------------------------------- /python/llvminfo3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/python/llvminfo3 -------------------------------------------------------------------------------- /python/process_manifest.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/python/process_manifest.py -------------------------------------------------------------------------------- /python/up: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/python/up -------------------------------------------------------------------------------- /razor/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /razor/config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/razor/config.py -------------------------------------------------------------------------------- /razor/driver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/razor/driver.py -------------------------------------------------------------------------------- /razor/echo.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/razor/echo.py -------------------------------------------------------------------------------- /razor/interface.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/razor/interface.py -------------------------------------------------------------------------------- /razor/passes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/razor/passes.py -------------------------------------------------------------------------------- /razor/pool.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/razor/pool.py -------------------------------------------------------------------------------- /razor/provenance.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/razor/provenance.py -------------------------------------------------------------------------------- /razor/rop_guided_dce.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/razor/rop_guided_dce.py -------------------------------------------------------------------------------- /razor/slash.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/razor/slash.py -------------------------------------------------------------------------------- /razor/stringbuffer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/razor/stringbuffer.py -------------------------------------------------------------------------------- /razor/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/razor/utils.py -------------------------------------------------------------------------------- /razor/version.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/razor/version.py -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/setup.py -------------------------------------------------------------------------------- /src/AggressiveSpecPolicy.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/AggressiveSpecPolicy.cpp -------------------------------------------------------------------------------- /src/BoundedSpecPolicy.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/BoundedSpecPolicy.cpp -------------------------------------------------------------------------------- /src/CommandLineArguments.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/CommandLineArguments.cpp -------------------------------------------------------------------------------- /src/ConfigPrime.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/ConfigPrime.cpp -------------------------------------------------------------------------------- /src/GatherInterface.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/GatherInterface.cpp -------------------------------------------------------------------------------- /src/Inliner.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/Inliner.cpp -------------------------------------------------------------------------------- /src/InterRewriter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/InterRewriter.cpp -------------------------------------------------------------------------------- /src/InterSpecializer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/InterSpecializer.cpp -------------------------------------------------------------------------------- /src/InterfaceTypes.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/InterfaceTypes.cpp -------------------------------------------------------------------------------- /src/Interfaces.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/Interfaces.cpp -------------------------------------------------------------------------------- /src/InternalizeComponent.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/InternalizeComponent.cpp -------------------------------------------------------------------------------- /src/IntraSpecializer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/IntraSpecializer.cpp -------------------------------------------------------------------------------- /src/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/Makefile -------------------------------------------------------------------------------- /src/Makefile.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/Makefile.config -------------------------------------------------------------------------------- /src/OnlyOnceSpecPolicy.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/OnlyOnceSpecPolicy.cpp -------------------------------------------------------------------------------- /src/Previrt.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/Previrt.proto -------------------------------------------------------------------------------- /src/RecursiveGuardSpecPolicy.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/RecursiveGuardSpecPolicy.cpp -------------------------------------------------------------------------------- /src/SpecializationTable.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/SpecializationTable.cpp -------------------------------------------------------------------------------- /src/Specializer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/Specializer.cpp -------------------------------------------------------------------------------- /src/analysis/ClassHierarchyAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/analysis/ClassHierarchyAnalysis.cpp -------------------------------------------------------------------------------- /src/analysis/CostBenefitCallGraph.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/analysis/CostBenefitCallGraph.cpp -------------------------------------------------------------------------------- /src/analysis/MemorySSA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/analysis/MemorySSA.cpp -------------------------------------------------------------------------------- /src/ext/Makefile.clam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/ext/Makefile.clam -------------------------------------------------------------------------------- /src/ext/Makefile.llvm-seahorn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/ext/Makefile.llvm-seahorn -------------------------------------------------------------------------------- /src/ext/Makefile.sea-dsa: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/ext/Makefile.sea-dsa -------------------------------------------------------------------------------- /src/interpreter/Execution.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/interpreter/Execution.cpp -------------------------------------------------------------------------------- /src/interpreter/ExternalFunctions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/interpreter/ExternalFunctions.cpp -------------------------------------------------------------------------------- /src/interpreter/Interpreter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/interpreter/Interpreter.cpp -------------------------------------------------------------------------------- /src/interpreter/Interpreter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/interpreter/Interpreter.h -------------------------------------------------------------------------------- /src/interpreter/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/interpreter/README.md -------------------------------------------------------------------------------- /src/tools/crabopt.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/tools/crabopt.cpp -------------------------------------------------------------------------------- /src/transforms/Crab.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/transforms/Crab.cpp -------------------------------------------------------------------------------- /src/transforms/DevirtFunctions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/transforms/DevirtFunctions.cpp -------------------------------------------------------------------------------- /src/transforms/DevirtFunctionsPass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/transforms/DevirtFunctionsPass.cpp -------------------------------------------------------------------------------- /src/transforms/DummyMainFunction.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/transforms/DummyMainFunction.cpp -------------------------------------------------------------------------------- /src/transforms/IPDeadStoreElimination.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/transforms/IPDeadStoreElimination.cpp -------------------------------------------------------------------------------- /src/transforms/RemoveDummyMainFunction.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/transforms/RemoveDummyMainFunction.cpp -------------------------------------------------------------------------------- /src/transforms/RemoveFunctions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/transforms/RemoveFunctions.cpp -------------------------------------------------------------------------------- /src/transforms/Sccp.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/transforms/Sccp.cpp -------------------------------------------------------------------------------- /src/transforms/SpecializeCallFunctionPtrArg.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/transforms/SpecializeCallFunctionPtrArg.cpp -------------------------------------------------------------------------------- /src/transforms/VerifierCalls.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/transforms/VerifierCalls.cpp -------------------------------------------------------------------------------- /src/transforms/utils/BasicBlockUtils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/transforms/utils/BasicBlockUtils.cpp -------------------------------------------------------------------------------- /src/transforms/utils/CallPromotionUtils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/transforms/utils/CallPromotionUtils.cpp -------------------------------------------------------------------------------- /src/utils/GetExternalFunctions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/utils/GetExternalFunctions.cpp -------------------------------------------------------------------------------- /src/utils/Inliner.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/utils/Inliner.cpp -------------------------------------------------------------------------------- /src/utils/MemoryMLFeatures.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/utils/MemoryMLFeatures.cpp -------------------------------------------------------------------------------- /src/utils/Profiler.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/src/utils/Profiler.cpp -------------------------------------------------------------------------------- /test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/Makefile -------------------------------------------------------------------------------- /test/config-prime-bitcode/intra-1.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/config-prime-bitcode/intra-1.ll -------------------------------------------------------------------------------- /test/config-prime-bitcode/intra-2.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/config-prime-bitcode/intra-2.ll -------------------------------------------------------------------------------- /test/config-prime-bitcode/intra-3.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/config-prime-bitcode/intra-3.ll -------------------------------------------------------------------------------- /test/config-prime-bitcode/intra-4.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/config-prime-bitcode/intra-4.ll -------------------------------------------------------------------------------- /test/config-prime-bitcode/intra-5.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/config-prime-bitcode/intra-5.ll -------------------------------------------------------------------------------- /test/config-prime-bitcode/lit.local.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/config-prime-bitcode/lit.local.cfg -------------------------------------------------------------------------------- /test/config-prime-c/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/config-prime-c/Makefile -------------------------------------------------------------------------------- /test/config-prime-c/ffi-callback/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/config-prime-c/ffi-callback/Makefile -------------------------------------------------------------------------------- /test/config-prime-c/ffi-callback/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/config-prime-c/ffi-callback/build.sh -------------------------------------------------------------------------------- /test/config-prime-c/ffi-callback/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/config-prime-c/ffi-callback/main.c -------------------------------------------------------------------------------- /test/config-prime-c/inter-1/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/config-prime-c/inter-1/Makefile -------------------------------------------------------------------------------- /test/config-prime-c/inter-1/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/config-prime-c/inter-1/build.sh -------------------------------------------------------------------------------- /test/config-prime-c/inter-1/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/config-prime-c/inter-1/main.c -------------------------------------------------------------------------------- /test/config-prime-c/inter-2/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/config-prime-c/inter-2/Makefile -------------------------------------------------------------------------------- /test/config-prime-c/inter-2/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/config-prime-c/inter-2/build.sh -------------------------------------------------------------------------------- /test/config-prime-c/inter-2/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/config-prime-c/inter-2/main.c -------------------------------------------------------------------------------- /test/config-prime-c/inter-3/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/config-prime-c/inter-3/Makefile -------------------------------------------------------------------------------- /test/config-prime-c/inter-3/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/config-prime-c/inter-3/build.sh -------------------------------------------------------------------------------- /test/config-prime-c/inter-3/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/config-prime-c/inter-3/main.c -------------------------------------------------------------------------------- /test/config-prime-c/inter-4/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/config-prime-c/inter-4/Makefile -------------------------------------------------------------------------------- /test/config-prime-c/inter-4/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/config-prime-c/inter-4/build.sh -------------------------------------------------------------------------------- /test/config-prime-c/inter-4/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/config-prime-c/inter-4/main.c -------------------------------------------------------------------------------- /test/config-prime-c/intra-1/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/config-prime-c/intra-1/Makefile -------------------------------------------------------------------------------- /test/config-prime-c/intra-1/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/config-prime-c/intra-1/build.sh -------------------------------------------------------------------------------- /test/config-prime-c/intra-1/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/config-prime-c/intra-1/main.c -------------------------------------------------------------------------------- /test/config-prime-c/intra-2/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/config-prime-c/intra-2/Makefile -------------------------------------------------------------------------------- /test/config-prime-c/intra-2/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/config-prime-c/intra-2/build.sh -------------------------------------------------------------------------------- /test/config-prime-c/intra-2/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/config-prime-c/intra-2/main.c -------------------------------------------------------------------------------- /test/config-prime-c/intra-3/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/config-prime-c/intra-3/Makefile -------------------------------------------------------------------------------- /test/config-prime-c/intra-3/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/config-prime-c/intra-3/build.sh -------------------------------------------------------------------------------- /test/config-prime-c/intra-3/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/config-prime-c/intra-3/main.c -------------------------------------------------------------------------------- /test/config-prime-c/intra-4/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/config-prime-c/intra-4/Makefile -------------------------------------------------------------------------------- /test/config-prime-c/intra-4/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/config-prime-c/intra-4/build.sh -------------------------------------------------------------------------------- /test/config-prime-c/intra-4/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/config-prime-c/intra-4/main.c -------------------------------------------------------------------------------- /test/config-prime-c/intra-5/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/config-prime-c/intra-5/Makefile -------------------------------------------------------------------------------- /test/config-prime-c/intra-5/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/config-prime-c/intra-5/build.sh -------------------------------------------------------------------------------- /test/config-prime-c/intra-5/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/config-prime-c/intra-5/main.c -------------------------------------------------------------------------------- /test/crabopt/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/crabopt/Makefile -------------------------------------------------------------------------------- /test/crabopt/lit.local.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/crabopt/lit.local.cfg -------------------------------------------------------------------------------- /test/crabopt/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/crabopt/run.sh -------------------------------------------------------------------------------- /test/crabopt/test.1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/crabopt/test.1.c -------------------------------------------------------------------------------- /test/crabopt/test.2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/crabopt/test.2.c -------------------------------------------------------------------------------- /test/crabopt/test.3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/crabopt/test.3.c -------------------------------------------------------------------------------- /test/crabopt/test.4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/crabopt/test.4.c -------------------------------------------------------------------------------- /test/function-removal/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/function-removal/Makefile -------------------------------------------------------------------------------- /test/function-removal/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/function-removal/README.txt -------------------------------------------------------------------------------- /test/function-removal/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/function-removal/build.sh -------------------------------------------------------------------------------- /test/function-removal/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/function-removal/main.c -------------------------------------------------------------------------------- /test/ipdse/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/ipdse/Makefile -------------------------------------------------------------------------------- /test/ipdse/lit.local.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/ipdse/lit.local.cfg -------------------------------------------------------------------------------- /test/ipdse/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/ipdse/run.sh -------------------------------------------------------------------------------- /test/ipdse/test.1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/ipdse/test.1.c -------------------------------------------------------------------------------- /test/ipdse/test.2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/ipdse/test.2.c -------------------------------------------------------------------------------- /test/ipdse/test.3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/ipdse/test.3.c -------------------------------------------------------------------------------- /test/ipdse/test.4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/ipdse/test.4.c -------------------------------------------------------------------------------- /test/liboccamize/fptr/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/fptr/Makefile -------------------------------------------------------------------------------- /test/liboccamize/fptr/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/fptr/README.txt -------------------------------------------------------------------------------- /test/liboccamize/fptr/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/fptr/build.sh -------------------------------------------------------------------------------- /test/liboccamize/fptr/testlib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/fptr/testlib.c -------------------------------------------------------------------------------- /test/liboccamize/main-and-libraries/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/main-and-libraries/Makefile -------------------------------------------------------------------------------- /test/liboccamize/main-and-libraries/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/main-and-libraries/README.txt -------------------------------------------------------------------------------- /test/liboccamize/main-and-libraries/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/main-and-libraries/build.sh -------------------------------------------------------------------------------- /test/liboccamize/main-and-libraries/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/main-and-libraries/main.c -------------------------------------------------------------------------------- /test/liboccamize/main-and-libraries/testlib1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/main-and-libraries/testlib1.c -------------------------------------------------------------------------------- /test/liboccamize/main-and-libraries/testlib1.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/main-and-libraries/testlib1.h -------------------------------------------------------------------------------- /test/liboccamize/main-and-libraries/testlib2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/main-and-libraries/testlib2.c -------------------------------------------------------------------------------- /test/liboccamize/main-and-libraries/testlib2.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/main-and-libraries/testlib2.h -------------------------------------------------------------------------------- /test/liboccamize/main-and-library/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/main-and-library/Makefile -------------------------------------------------------------------------------- /test/liboccamize/main-and-library/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/main-and-library/README.txt -------------------------------------------------------------------------------- /test/liboccamize/main-and-library/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/main-and-library/build.sh -------------------------------------------------------------------------------- /test/liboccamize/main-and-library/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/main-and-library/main.c -------------------------------------------------------------------------------- /test/liboccamize/main-and-library/testlib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/main-and-library/testlib.c -------------------------------------------------------------------------------- /test/liboccamize/main-and-library/testlib.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/main-and-library/testlib.h -------------------------------------------------------------------------------- /test/liboccamize/multiple-main-and-libraries/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/multiple-main-and-libraries/Makefile -------------------------------------------------------------------------------- /test/liboccamize/multiple-main-and-libraries/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/multiple-main-and-libraries/README.txt -------------------------------------------------------------------------------- /test/liboccamize/multiple-main-and-libraries/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/multiple-main-and-libraries/build.sh -------------------------------------------------------------------------------- /test/liboccamize/multiple-main-and-libraries/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/multiple-main-and-libraries/main.c -------------------------------------------------------------------------------- /test/liboccamize/multiple-main-and-libraries/main1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/multiple-main-and-libraries/main1.c -------------------------------------------------------------------------------- /test/liboccamize/multiple-main-and-libraries/main2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/multiple-main-and-libraries/main2.c -------------------------------------------------------------------------------- /test/liboccamize/multiple-main-and-libraries/testlib1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/multiple-main-and-libraries/testlib1.c -------------------------------------------------------------------------------- /test/liboccamize/multiple-main-and-libraries/testlib1.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/multiple-main-and-libraries/testlib1.h -------------------------------------------------------------------------------- /test/liboccamize/multiple-main-and-libraries/testlib2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/multiple-main-and-libraries/testlib2.c -------------------------------------------------------------------------------- /test/liboccamize/multiple-main-and-libraries/testlib2.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/multiple-main-and-libraries/testlib2.h -------------------------------------------------------------------------------- /test/liboccamize/multiple/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/multiple/Makefile -------------------------------------------------------------------------------- /test/liboccamize/multiple/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/multiple/README.txt -------------------------------------------------------------------------------- /test/liboccamize/multiple/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/multiple/build.sh -------------------------------------------------------------------------------- /test/liboccamize/multiple/testlib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/multiple/testlib.c -------------------------------------------------------------------------------- /test/liboccamize/multiple_prototypes/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/multiple_prototypes/Makefile -------------------------------------------------------------------------------- /test/liboccamize/multiple_prototypes/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/multiple_prototypes/README.txt -------------------------------------------------------------------------------- /test/liboccamize/multiple_prototypes/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/multiple_prototypes/build.sh -------------------------------------------------------------------------------- /test/liboccamize/multiple_prototypes/testlib.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/multiple_prototypes/testlib.cpp -------------------------------------------------------------------------------- /test/liboccamize/single-with-chain/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/single-with-chain/Makefile -------------------------------------------------------------------------------- /test/liboccamize/single-with-chain/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/single-with-chain/README.txt -------------------------------------------------------------------------------- /test/liboccamize/single-with-chain/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/single-with-chain/build.sh -------------------------------------------------------------------------------- /test/liboccamize/single-with-chain/testlib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/single-with-chain/testlib.c -------------------------------------------------------------------------------- /test/liboccamize/single/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/single/Makefile -------------------------------------------------------------------------------- /test/liboccamize/single/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/single/README.txt -------------------------------------------------------------------------------- /test/liboccamize/single/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/single/build.sh -------------------------------------------------------------------------------- /test/liboccamize/single/single.manifest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/single/single.manifest -------------------------------------------------------------------------------- /test/liboccamize/single/testlib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/liboccamize/single/testlib.c -------------------------------------------------------------------------------- /test/lit.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/lit.cfg -------------------------------------------------------------------------------- /test/simple-bitcode/bounded-inter.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-bitcode/bounded-inter.ll -------------------------------------------------------------------------------- /test/simple-bitcode/bounded-intra.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-bitcode/bounded-intra.ll -------------------------------------------------------------------------------- /test/simple-bitcode/crabopt_1.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-bitcode/crabopt_1.ll -------------------------------------------------------------------------------- /test/simple-bitcode/crabopt_2.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-bitcode/crabopt_2.ll -------------------------------------------------------------------------------- /test/simple-bitcode/fib.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-bitcode/fib.ll -------------------------------------------------------------------------------- /test/simple-bitcode/fiblib.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-bitcode/fiblib.ll -------------------------------------------------------------------------------- /test/simple-bitcode/func_ptr_1.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-bitcode/func_ptr_1.ll -------------------------------------------------------------------------------- /test/simple-bitcode/func_ptr_10.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-bitcode/func_ptr_10.ll -------------------------------------------------------------------------------- /test/simple-bitcode/func_ptr_11.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-bitcode/func_ptr_11.ll -------------------------------------------------------------------------------- /test/simple-bitcode/func_ptr_12.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-bitcode/func_ptr_12.ll -------------------------------------------------------------------------------- /test/simple-bitcode/func_ptr_14.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-bitcode/func_ptr_14.ll -------------------------------------------------------------------------------- /test/simple-bitcode/func_ptr_2.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-bitcode/func_ptr_2.ll -------------------------------------------------------------------------------- /test/simple-bitcode/func_ptr_3.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-bitcode/func_ptr_3.ll -------------------------------------------------------------------------------- /test/simple-bitcode/func_ptr_4.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-bitcode/func_ptr_4.ll -------------------------------------------------------------------------------- /test/simple-bitcode/func_ptr_8.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-bitcode/func_ptr_8.ll -------------------------------------------------------------------------------- /test/simple-bitcode/lit.local.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-bitcode/lit.local.cfg -------------------------------------------------------------------------------- /test/simple-bitcode/lto_00_lib.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-bitcode/lto_00_lib.ll -------------------------------------------------------------------------------- /test/simple-bitcode/lto_00_main.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-bitcode/lto_00_main.ll -------------------------------------------------------------------------------- /test/simple-bitcode/multiple.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-bitcode/multiple.ll -------------------------------------------------------------------------------- /test/simple-bitcode/onlyonce-inter.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-bitcode/onlyonce-inter.ll -------------------------------------------------------------------------------- /test/simple-bitcode/simple.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-bitcode/simple.ll -------------------------------------------------------------------------------- /test/simple-bitcode/tree.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-bitcode/tree.ll -------------------------------------------------------------------------------- /test/simple-c/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/Makefile -------------------------------------------------------------------------------- /test/simple-c/bounded-inter/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/bounded-inter/Makefile -------------------------------------------------------------------------------- /test/simple-c/bounded-inter/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/bounded-inter/build.sh -------------------------------------------------------------------------------- /test/simple-c/bounded-inter/library.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/bounded-inter/library.c -------------------------------------------------------------------------------- /test/simple-c/bounded-inter/library.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/bounded-inter/library.h -------------------------------------------------------------------------------- /test/simple-c/bounded-inter/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/bounded-inter/main.c -------------------------------------------------------------------------------- /test/simple-c/bounded-intra/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/bounded-intra/Makefile -------------------------------------------------------------------------------- /test/simple-c/bounded-intra/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/bounded-intra/build.sh -------------------------------------------------------------------------------- /test/simple-c/bounded-intra/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/bounded-intra/main.c -------------------------------------------------------------------------------- /test/simple-c/crabopt/1/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/crabopt/1/Makefile -------------------------------------------------------------------------------- /test/simple-c/crabopt/1/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/crabopt/1/build.sh -------------------------------------------------------------------------------- /test/simple-c/crabopt/1/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/crabopt/1/main.c -------------------------------------------------------------------------------- /test/simple-c/crabopt/2/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/crabopt/2/Makefile -------------------------------------------------------------------------------- /test/simple-c/crabopt/2/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/crabopt/2/build.sh -------------------------------------------------------------------------------- /test/simple-c/crabopt/2/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/crabopt/2/main.c -------------------------------------------------------------------------------- /test/simple-c/fib/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/fib/Makefile -------------------------------------------------------------------------------- /test/simple-c/fib/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/fib/build.sh -------------------------------------------------------------------------------- /test/simple-c/fib/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/fib/main.c -------------------------------------------------------------------------------- /test/simple-c/fiblib/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/fiblib/Makefile -------------------------------------------------------------------------------- /test/simple-c/fiblib/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/fiblib/build.sh -------------------------------------------------------------------------------- /test/simple-c/fiblib/library.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/fiblib/library.c -------------------------------------------------------------------------------- /test/simple-c/fiblib/library.h: -------------------------------------------------------------------------------- 1 | 2 | extern int fibo_lib(int); 3 | 4 | -------------------------------------------------------------------------------- /test/simple-c/fiblib/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/fiblib/main.c -------------------------------------------------------------------------------- /test/simple-c/funcs/1/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/1/Makefile -------------------------------------------------------------------------------- /test/simple-c/funcs/1/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/1/build.sh -------------------------------------------------------------------------------- /test/simple-c/funcs/1/call.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/1/call.c -------------------------------------------------------------------------------- /test/simple-c/funcs/1/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/1/main.c -------------------------------------------------------------------------------- /test/simple-c/funcs/10/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/10/Makefile -------------------------------------------------------------------------------- /test/simple-c/funcs/10/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/10/build.sh -------------------------------------------------------------------------------- /test/simple-c/funcs/10/library.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/10/library.c -------------------------------------------------------------------------------- /test/simple-c/funcs/10/library.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/10/library.h -------------------------------------------------------------------------------- /test/simple-c/funcs/10/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/10/main.c -------------------------------------------------------------------------------- /test/simple-c/funcs/11/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/11/Makefile -------------------------------------------------------------------------------- /test/simple-c/funcs/11/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/11/build.sh -------------------------------------------------------------------------------- /test/simple-c/funcs/11/library.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/11/library.c -------------------------------------------------------------------------------- /test/simple-c/funcs/11/library.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/11/library.h -------------------------------------------------------------------------------- /test/simple-c/funcs/11/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/11/main.c -------------------------------------------------------------------------------- /test/simple-c/funcs/12/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/12/Makefile -------------------------------------------------------------------------------- /test/simple-c/funcs/12/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/12/build.sh -------------------------------------------------------------------------------- /test/simple-c/funcs/12/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/12/main.c -------------------------------------------------------------------------------- /test/simple-c/funcs/13/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/13/Makefile -------------------------------------------------------------------------------- /test/simple-c/funcs/13/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/13/build.sh -------------------------------------------------------------------------------- /test/simple-c/funcs/13/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/13/main.c -------------------------------------------------------------------------------- /test/simple-c/funcs/14/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/14/Makefile -------------------------------------------------------------------------------- /test/simple-c/funcs/14/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/14/build.sh -------------------------------------------------------------------------------- /test/simple-c/funcs/14/library.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/14/library.c -------------------------------------------------------------------------------- /test/simple-c/funcs/14/library.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/14/library.h -------------------------------------------------------------------------------- /test/simple-c/funcs/14/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/14/main.c -------------------------------------------------------------------------------- /test/simple-c/funcs/15/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/15/Makefile -------------------------------------------------------------------------------- /test/simple-c/funcs/15/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/15/build.sh -------------------------------------------------------------------------------- /test/simple-c/funcs/15/library.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/15/library.c -------------------------------------------------------------------------------- /test/simple-c/funcs/15/library.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/15/library.h -------------------------------------------------------------------------------- /test/simple-c/funcs/15/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/15/main.c -------------------------------------------------------------------------------- /test/simple-c/funcs/2/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/2/Makefile -------------------------------------------------------------------------------- /test/simple-c/funcs/2/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/2/build.sh -------------------------------------------------------------------------------- /test/simple-c/funcs/2/library.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/2/library.c -------------------------------------------------------------------------------- /test/simple-c/funcs/2/library.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/2/library.h -------------------------------------------------------------------------------- /test/simple-c/funcs/2/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/2/main.c -------------------------------------------------------------------------------- /test/simple-c/funcs/2/main.cannotspec.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/2/main.cannotspec.c -------------------------------------------------------------------------------- /test/simple-c/funcs/3/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/3/Makefile -------------------------------------------------------------------------------- /test/simple-c/funcs/3/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/3/build.sh -------------------------------------------------------------------------------- /test/simple-c/funcs/3/library.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/3/library.c -------------------------------------------------------------------------------- /test/simple-c/funcs/3/library.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/3/library.h -------------------------------------------------------------------------------- /test/simple-c/funcs/3/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/3/main.c -------------------------------------------------------------------------------- /test/simple-c/funcs/4/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/4/Makefile -------------------------------------------------------------------------------- /test/simple-c/funcs/4/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/4/build.sh -------------------------------------------------------------------------------- /test/simple-c/funcs/4/library.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/4/library.c -------------------------------------------------------------------------------- /test/simple-c/funcs/4/library.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/4/library.h -------------------------------------------------------------------------------- /test/simple-c/funcs/4/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/4/main.c -------------------------------------------------------------------------------- /test/simple-c/funcs/5/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/5/Makefile -------------------------------------------------------------------------------- /test/simple-c/funcs/5/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/5/build.sh -------------------------------------------------------------------------------- /test/simple-c/funcs/5/library.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/5/library.c -------------------------------------------------------------------------------- /test/simple-c/funcs/5/library.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/5/library.h -------------------------------------------------------------------------------- /test/simple-c/funcs/5/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/5/main.c -------------------------------------------------------------------------------- /test/simple-c/funcs/6/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/6/Makefile -------------------------------------------------------------------------------- /test/simple-c/funcs/6/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/6/README -------------------------------------------------------------------------------- /test/simple-c/funcs/6/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/6/build.sh -------------------------------------------------------------------------------- /test/simple-c/funcs/6/library.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/6/library.c -------------------------------------------------------------------------------- /test/simple-c/funcs/6/library.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/6/library.h -------------------------------------------------------------------------------- /test/simple-c/funcs/6/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/6/main.c -------------------------------------------------------------------------------- /test/simple-c/funcs/6/mystring.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/6/mystring.c -------------------------------------------------------------------------------- /test/simple-c/funcs/6/mystring.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/6/mystring.h -------------------------------------------------------------------------------- /test/simple-c/funcs/7/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/7/Makefile -------------------------------------------------------------------------------- /test/simple-c/funcs/7/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/7/build.sh -------------------------------------------------------------------------------- /test/simple-c/funcs/7/library.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/7/library.c -------------------------------------------------------------------------------- /test/simple-c/funcs/7/library.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/7/library.h -------------------------------------------------------------------------------- /test/simple-c/funcs/7/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/7/main.c -------------------------------------------------------------------------------- /test/simple-c/funcs/8/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/8/Makefile -------------------------------------------------------------------------------- /test/simple-c/funcs/8/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/8/build.sh -------------------------------------------------------------------------------- /test/simple-c/funcs/8/library.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/8/library.c -------------------------------------------------------------------------------- /test/simple-c/funcs/8/library.h: -------------------------------------------------------------------------------- 1 | extern int (*get_callback(void))(int) ; 2 | 3 | -------------------------------------------------------------------------------- /test/simple-c/funcs/8/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/8/main.c -------------------------------------------------------------------------------- /test/simple-c/funcs/9/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/9/Makefile -------------------------------------------------------------------------------- /test/simple-c/funcs/9/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/9/build.sh -------------------------------------------------------------------------------- /test/simple-c/funcs/9/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/funcs/9/main.cpp -------------------------------------------------------------------------------- /test/simple-c/ipdse/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/ipdse/Makefile -------------------------------------------------------------------------------- /test/simple-c/ipdse/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/ipdse/build.sh -------------------------------------------------------------------------------- /test/simple-c/ipdse/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/ipdse/main.c -------------------------------------------------------------------------------- /test/simple-c/multiple/IANS_NOTES.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/multiple/IANS_NOTES.txt -------------------------------------------------------------------------------- /test/simple-c/multiple/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/multiple/Makefile -------------------------------------------------------------------------------- /test/simple-c/multiple/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/multiple/build.sh -------------------------------------------------------------------------------- /test/simple-c/multiple/library.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/multiple/library.c -------------------------------------------------------------------------------- /test/simple-c/multiple/library.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/multiple/library.h -------------------------------------------------------------------------------- /test/simple-c/multiple/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/multiple/main.c -------------------------------------------------------------------------------- /test/simple-c/onlyonce-inter/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/onlyonce-inter/Makefile -------------------------------------------------------------------------------- /test/simple-c/onlyonce-inter/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/onlyonce-inter/build.sh -------------------------------------------------------------------------------- /test/simple-c/onlyonce-inter/library.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/onlyonce-inter/library.c -------------------------------------------------------------------------------- /test/simple-c/onlyonce-inter/library.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/onlyonce-inter/library.h -------------------------------------------------------------------------------- /test/simple-c/onlyonce-inter/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/onlyonce-inter/main.c -------------------------------------------------------------------------------- /test/simple-c/onlyonce-intra/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/onlyonce-intra/Makefile -------------------------------------------------------------------------------- /test/simple-c/onlyonce-intra/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/onlyonce-intra/README -------------------------------------------------------------------------------- /test/simple-c/onlyonce-intra/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/onlyonce-intra/build.sh -------------------------------------------------------------------------------- /test/simple-c/onlyonce-intra/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/onlyonce-intra/main.c -------------------------------------------------------------------------------- /test/simple-c/pe/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/pe/Makefile -------------------------------------------------------------------------------- /test/simple-c/pe/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/pe/build.sh -------------------------------------------------------------------------------- /test/simple-c/pe/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/pe/main.c -------------------------------------------------------------------------------- /test/simple-c/simple/IANS_NOTES.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/simple/IANS_NOTES.txt -------------------------------------------------------------------------------- /test/simple-c/simple/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/simple/Makefile -------------------------------------------------------------------------------- /test/simple-c/simple/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/simple/build.sh -------------------------------------------------------------------------------- /test/simple-c/simple/library.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/simple/library.c -------------------------------------------------------------------------------- /test/simple-c/simple/library.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/simple/library.h -------------------------------------------------------------------------------- /test/simple-c/simple/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/simple/main.c -------------------------------------------------------------------------------- /test/simple-c/toy-wc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/toy-wc/Makefile -------------------------------------------------------------------------------- /test/simple-c/toy-wc/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/toy-wc/build.sh -------------------------------------------------------------------------------- /test/simple-c/toy-wc/test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/toy-wc/test.txt -------------------------------------------------------------------------------- /test/simple-c/toy-wc/wc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/toy-wc/wc.c -------------------------------------------------------------------------------- /test/simple-c/tree/IANS_NOTES.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/tree/IANS_NOTES.txt -------------------------------------------------------------------------------- /test/simple-c/tree/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/tree/Makefile -------------------------------------------------------------------------------- /test/simple-c/tree/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/tree/build.sh -------------------------------------------------------------------------------- /test/simple-c/tree/library.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/tree/library.c -------------------------------------------------------------------------------- /test/simple-c/tree/library.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/tree/library.h -------------------------------------------------------------------------------- /test/simple-c/tree/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/tree/main.c -------------------------------------------------------------------------------- /test/simple-c/tree/module.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/tree/module.h -------------------------------------------------------------------------------- /test/simple-c/tree/subdir/module.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/simple-c/tree/subdir/module.c -------------------------------------------------------------------------------- /test/weak-linkage-1/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/weak-linkage-1/Makefile -------------------------------------------------------------------------------- /test/weak-linkage-1/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/weak-linkage-1/README.md -------------------------------------------------------------------------------- /test/weak-linkage-1/build_occam.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/weak-linkage-1/build_occam.sh -------------------------------------------------------------------------------- /test/weak-linkage-1/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/weak-linkage-1/main.c -------------------------------------------------------------------------------- /test/weak-linkage-1/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/weak-linkage-1/test.c -------------------------------------------------------------------------------- /test/weak-linkage-1/test.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/weak-linkage-1/test.h -------------------------------------------------------------------------------- /test/weak-linkage-2/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/weak-linkage-2/Makefile -------------------------------------------------------------------------------- /test/weak-linkage-2/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/weak-linkage-2/README.md -------------------------------------------------------------------------------- /test/weak-linkage-2/build_occam.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/weak-linkage-2/build_occam.sh -------------------------------------------------------------------------------- /test/weak-linkage-2/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/weak-linkage-2/main.c -------------------------------------------------------------------------------- /test/weak-linkage-2/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/weak-linkage-2/test.c -------------------------------------------------------------------------------- /test/weak-linkage-2/test.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/test/weak-linkage-2/test.h -------------------------------------------------------------------------------- /utils/FileCheck_trusty/FileCheck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/utils/FileCheck_trusty/FileCheck -------------------------------------------------------------------------------- /vagrants/14.04/apache/Vagrantfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/vagrants/14.04/apache/Vagrantfile -------------------------------------------------------------------------------- /vagrants/14.04/apache/bash_profile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/vagrants/14.04/apache/bash_profile -------------------------------------------------------------------------------- /vagrants/14.04/apache/bootstrap.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/vagrants/14.04/apache/bootstrap.sh -------------------------------------------------------------------------------- /vagrants/14.04/apache/login: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/vagrants/14.04/apache/login -------------------------------------------------------------------------------- /vagrants/14.04/apache/www/conf/httpd.conf: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /vagrants/14.04/basic/Vagrantfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/vagrants/14.04/basic/Vagrantfile -------------------------------------------------------------------------------- /vagrants/14.04/basic/bash_profile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/vagrants/14.04/basic/bash_profile -------------------------------------------------------------------------------- /vagrants/14.04/basic/bootstrap.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/vagrants/14.04/basic/bootstrap.sh -------------------------------------------------------------------------------- /vagrants/14.04/basic/login: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/vagrants/14.04/basic/login -------------------------------------------------------------------------------- /vagrants/14.04/ros/Vagrantfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/vagrants/14.04/ros/Vagrantfile -------------------------------------------------------------------------------- /vagrants/14.04/ros/bash_profile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/vagrants/14.04/ros/bash_profile -------------------------------------------------------------------------------- /vagrants/14.04/ros/bootstrap.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/vagrants/14.04/ros/bootstrap.sh -------------------------------------------------------------------------------- /vagrants/14.04/ros/login: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/vagrants/14.04/ros/login -------------------------------------------------------------------------------- /vagrants/14.04/ros/segway-build-notes.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/vagrants/14.04/ros/segway-build-notes.txt -------------------------------------------------------------------------------- /vagrants/16.04/kernel-specialization/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/vagrants/16.04/kernel-specialization/README.md -------------------------------------------------------------------------------- /vagrants/16.04/kernel-specialization/Vagrantfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/vagrants/16.04/kernel-specialization/Vagrantfile -------------------------------------------------------------------------------- /vagrants/16.04/kernel-specialization/bash_profile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/vagrants/16.04/kernel-specialization/bash_profile -------------------------------------------------------------------------------- /vagrants/16.04/kernel-specialization/bootstrap.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/vagrants/16.04/kernel-specialization/bootstrap.sh -------------------------------------------------------------------------------- /vagrants/16.04/kernel-specialization/generate_kernel_specialized_for_thttpd.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/vagrants/16.04/kernel-specialization/generate_kernel_specialized_for_thttpd.sh -------------------------------------------------------------------------------- /vagrants/16.04/kernel-specialization/login: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/vagrants/16.04/kernel-specialization/login -------------------------------------------------------------------------------- /vagrants/18.04/basic/Vagrantfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/vagrants/18.04/basic/Vagrantfile -------------------------------------------------------------------------------- /vagrants/18.04/basic/bash_profile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/vagrants/18.04/basic/bash_profile -------------------------------------------------------------------------------- /vagrants/18.04/basic/bootstrap.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SRI-CSL/OCCAM/HEAD/vagrants/18.04/basic/bootstrap.sh --------------------------------------------------------------------------------