├── .clang-format ├── .dockerignore ├── .gitattributes ├── .gitignore ├── .travis.yml ├── .travis ├── install-llvm-and-runtime-compiler.sh ├── install-tcmalloc.sh ├── klee.sh ├── metaSMT.sh ├── solvers.sh ├── stp.sh └── testing-utils.sh ├── CMakeLists.txt ├── Dockerfile ├── LICENSE.TXT ├── Makefile ├── Makefile.common ├── Makefile.config.in ├── Makefile.rules ├── MetaSMT.mk ├── NEWS ├── README-CMake.md ├── README.md ├── TODO.txt ├── _config.yml ├── artifacts_available.jpg ├── artifacts_evaluated_functional.jpg ├── artifacts_evaluated_reusable.jpg ├── autoconf ├── AutoRegen.sh ├── config.guess ├── config.sub ├── configure.ac └── install-sh ├── castan.pdf ├── cmake ├── GetGitRevisionDescription.cmake ├── GetGitRevisionDescription.cmake.in ├── add_global_flag.cmake ├── c_flags_override.cmake ├── compiler_warnings.cmake ├── cxx_flags_override.cmake ├── find_bitcode_compiler.cmake ├── find_llvm.cmake ├── find_metasmt.cmake ├── klee_add_component.cmake ├── klee_component_add_cxx_flag.cmake ├── modules │ └── FindZ3.cmake └── string_to_list.cmake ├── configure ├── docs ├── CMakeLists.txt ├── SMT-COMP │ ├── BitVector_ArraysEx.smt │ ├── BitVectors.smt │ ├── QF_AUFBV.smt │ └── QF_BV.smt ├── doxygen.cfg.in ├── intro └── overview ├── env.sh ├── example.kquery ├── examples ├── .gitignore ├── XeonE52667v2.dat.bz2 ├── cache-effects │ ├── .gitignore │ ├── Makefile │ ├── check-contention-sets.c │ ├── common.h │ ├── local.c │ ├── nonlocal.c │ ├── probe-slices.c │ ├── process-contention-sets.cpp │ └── variable-array.c ├── data-structures │ ├── .gitignore │ ├── Makefile │ ├── fsm-loop.c │ ├── fsm-main.c │ ├── fsm.h │ ├── hash-main.c │ ├── hash-ring.c │ ├── hash-table.c │ ├── hash.h │ ├── lpm-da.c │ ├── lpm-main.c │ ├── lpm-trie.c │ ├── lpm.h │ ├── ring-array.c │ ├── ring-list.c │ ├── ring-main.c │ └── ring.h ├── dpdk-check-cache │ ├── Makefile │ └── dpdk-check-cache.c ├── dpdk-lb-basichash │ ├── .gitignore │ ├── Makefile │ ├── XeonE52667v2.dat │ ├── dpdk-lb-basichash.c │ ├── include │ ├── make-rainbow-table.c │ └── testbed │ │ ├── .gitignore │ │ ├── Vagrantfile │ │ ├── castan │ │ ├── client.sh │ │ ├── dpdk_router.sh │ │ ├── inserver.sh │ │ ├── redeploy-nf.sh │ │ ├── run-experiment.sh │ │ ├── run-nf.sh │ │ ├── src │ │ └── test-nf.sh ├── dpdk-lb-hashring │ ├── .gitignore │ ├── Makefile │ ├── dpdk-lb-hashring.c │ ├── include │ ├── make-rainbow-table.c │ └── testbed │ │ ├── .gitignore │ │ ├── Vagrantfile │ │ ├── castan │ │ ├── client.sh │ │ ├── dpdk_router.sh │ │ ├── inserver.sh │ │ ├── redeploy-nf.sh │ │ ├── run-experiment.sh │ │ ├── run-nf.sh │ │ ├── src │ │ └── test-nf.sh ├── dpdk-lb-stlmap │ ├── Makefile │ ├── XeonE52667v2.dat │ ├── dpdk-lb-stlmap.c │ ├── include │ └── testbed │ │ ├── .gitignore │ │ ├── Vagrantfile │ │ ├── castan │ │ ├── client.sh │ │ ├── dpdk_router.sh │ │ ├── inserver.sh │ │ ├── redeploy-nf.sh │ │ ├── run-experiment.sh │ │ ├── run-nf.sh │ │ ├── src │ │ └── test-nf.sh ├── dpdk-lb-tree │ ├── Makefile │ ├── XeonE52667v2.dat │ ├── dpdk-lb-tree.c │ ├── include │ └── testbed │ │ ├── .gitignore │ │ ├── Vagrantfile │ │ ├── castan │ │ ├── client.sh │ │ ├── dpdk_router.sh │ │ ├── inserver.sh │ │ ├── redeploy-nf.sh │ │ ├── run-experiment.sh │ │ ├── run-nf.sh │ │ ├── src │ │ └── test-nf.sh ├── dpdk-lpm-btrie │ ├── Makefile │ ├── XeonE52667v2.dat │ ├── dpdk-lpm-btrie.c │ └── testbed │ │ ├── .gitignore │ │ ├── Vagrantfile │ │ ├── client.sh │ │ ├── dpdk_router.sh │ │ ├── inserver.sh │ │ ├── redeploy-nf.sh │ │ ├── routing-table.pfx2as │ │ ├── run-experiment.sh │ │ ├── run-nf.sh │ │ ├── src │ │ └── test-nf.sh ├── dpdk-lpm-da │ ├── Makefile │ ├── XeonE52667v2.dat │ ├── dpdk-lpm-da.c │ └── testbed │ │ ├── .gitignore │ │ ├── Vagrantfile │ │ ├── client.sh │ │ ├── dpdk_router.sh │ │ ├── inserver.sh │ │ ├── redeploy-nf.sh │ │ ├── routing-table.pfx2as │ │ ├── run-experiment.sh │ │ ├── run-nf.sh │ │ ├── src │ │ └── test-nf.sh ├── dpdk-lpm-dpdklpm │ ├── Makefile │ ├── XeonE52667v2.dat │ ├── dpdk-lpm-dpdklpm.c │ └── testbed │ │ ├── .gitignore │ │ ├── Vagrantfile │ │ ├── client.sh │ │ ├── dpdk_router.sh │ │ ├── inserver.sh │ │ ├── redeploy-nf.sh │ │ ├── routing-table.pfx2as │ │ ├── run-experiment.sh │ │ ├── run-nf.sh │ │ ├── src │ │ └── test-nf.sh ├── dpdk-nat-basichash │ ├── .gitignore │ ├── Makefile │ ├── XeonE52667v2.dat │ ├── dpdk-nat-basichash.c │ ├── include │ ├── make-rainbow-table.c │ └── testbed │ │ ├── .gitignore │ │ ├── Vagrantfile │ │ ├── castan │ │ ├── client.sh │ │ ├── dpdk_router.sh │ │ ├── inserver.sh │ │ ├── redeploy-nf.sh │ │ ├── run-experiment.sh │ │ ├── run-nf.sh │ │ ├── src │ │ └── test-nf.sh ├── dpdk-nat-cc │ ├── Makefile │ ├── XeonE52667v2.dat │ ├── coherence.h │ ├── double-chain-impl.c │ ├── double-chain-impl.h │ ├── double-chain.c │ ├── double-chain.h │ ├── double-map.c │ ├── double-map.h │ ├── expirator.c │ ├── expirator.h │ ├── flow-log.c │ ├── flow.c │ ├── flow.h │ ├── flowmanager.c │ ├── flowmanager.h │ ├── flowtable.c │ ├── flowtable.h │ ├── ignore.h │ ├── include_ignored_by_verifast.h │ ├── loop.h │ ├── map.c │ ├── map.h │ ├── nat_config.c │ ├── nat_config.h │ ├── nat_forward_vignat.c │ ├── nf_forward.h │ ├── nf_log.h │ ├── nf_main.c │ ├── nf_time.c │ ├── nf_time.h │ ├── nf_util.c │ ├── nf_util.h │ └── static-component-params.h ├── dpdk-nat-dpdkhash │ ├── .gitignore │ ├── Makefile │ ├── XeonE52667v2.dat │ ├── dpdk-nat-dpdkhash.c │ ├── include │ ├── make-rainbow-table.c │ └── testbed │ │ ├── .gitignore │ │ ├── Vagrantfile │ │ ├── castan │ │ ├── client.sh │ │ ├── dpdk_router.sh │ │ ├── inserver.sh │ │ ├── redeploy-nf.sh │ │ ├── run-experiment.sh │ │ ├── run-nf.sh │ │ ├── src │ │ └── test-nf.sh ├── dpdk-nat-hashring │ ├── .gitignore │ ├── Makefile │ ├── dpdk-nat-hashring.c │ ├── include │ ├── make-rainbow-table.c │ └── testbed │ │ ├── .gitignore │ │ ├── Vagrantfile │ │ ├── castan │ │ ├── client.sh │ │ ├── dpdk_router.sh │ │ ├── inserver.sh │ │ ├── redeploy-nf.sh │ │ ├── run-experiment.sh │ │ ├── run-nf.sh │ │ ├── src │ │ └── test-nf.sh ├── dpdk-nat-ruby │ ├── Makefile │ ├── XeonE52667v2.dat │ ├── defines.h │ ├── dpdk-nat-ruby.c │ ├── include │ ├── st.c │ ├── st.h │ └── testbed │ │ ├── .gitignore │ │ ├── Vagrantfile │ │ ├── castan │ │ ├── client.sh │ │ ├── dpdk_router.sh │ │ ├── inserver.sh │ │ ├── redeploy-nf.sh │ │ ├── run-experiment.sh │ │ ├── run-nf.sh │ │ ├── src │ │ └── test-nf.sh ├── dpdk-nat-stlmap │ ├── Makefile │ ├── XeonE52667v2.dat │ ├── dpdk-nat-stlmap.c │ └── testbed │ │ ├── .gitignore │ │ ├── Vagrantfile │ │ ├── client.sh │ │ ├── dpdk_router.sh │ │ ├── inserver.sh │ │ ├── redeploy-nf.sh │ │ ├── run-experiment.sh │ │ ├── run-nf.sh │ │ ├── src │ │ └── test-nf.sh ├── dpdk-nat-stlumap │ ├── Makefile │ ├── XeonE52667v2.dat │ ├── dpdk-nat-stlumap.c │ ├── make-rainbow-table.c │ └── testbed │ │ ├── .gitignore │ │ ├── Vagrantfile │ │ ├── castan │ │ ├── client.sh │ │ ├── dpdk_router.sh │ │ ├── inserver.sh │ │ ├── redeploy-nf.sh │ │ ├── run-experiment.sh │ │ ├── run-nf.sh │ │ ├── src │ │ └── test-nf.sh ├── dpdk-nat-tree │ ├── Makefile │ ├── XeonE52667v2.dat │ ├── dpdk-nat-tree.c │ └── testbed │ │ ├── .gitignore │ │ ├── Vagrantfile │ │ ├── client.sh │ │ ├── dpdk_router.sh │ │ ├── inserver.sh │ │ ├── redeploy-nf.sh │ │ ├── run-experiment.sh │ │ ├── run-nf.sh │ │ ├── src │ │ └── test-nf.sh ├── dpdk-nfs │ ├── XeonE52667v2.dat │ ├── maclearning │ │ ├── bridge │ │ │ ├── Makefile │ │ │ ├── bridge_config.c │ │ │ ├── bridge_config.h │ │ │ └── bridge_forward.c │ │ ├── lib │ │ │ ├── abstract-state.h │ │ │ ├── assumptions_stubs.c │ │ │ ├── coherence.c │ │ │ ├── coherence.h │ │ │ ├── containers │ │ │ │ ├── array-bat-impl.h │ │ │ │ ├── array-bat-verifast.c │ │ │ │ ├── array-bat.h │ │ │ │ ├── array-lcc-impl.h │ │ │ │ ├── array-lcc-verifast.c │ │ │ │ ├── array-lcc.h │ │ │ │ ├── array-rq-impl.h │ │ │ │ ├── array-rq-verifast.c │ │ │ │ ├── array-rq.h │ │ │ │ ├── array-u16-impl.h │ │ │ │ ├── array-u16-verifast.c │ │ │ │ ├── array-u16.h │ │ │ │ ├── batcher.c │ │ │ │ ├── batcher.h │ │ │ │ ├── double-chain-impl.c │ │ │ │ ├── double-chain-impl.h │ │ │ │ ├── double-chain.c │ │ │ │ ├── double-chain.h │ │ │ │ ├── double-map.c │ │ │ │ ├── double-map.h │ │ │ │ ├── map.c │ │ │ │ └── map.h │ │ │ ├── expirator.c │ │ │ ├── expirator.h │ │ │ ├── flow-log.c │ │ │ ├── flow.c │ │ │ ├── flow.h │ │ │ ├── ignore.h │ │ │ ├── include_ignored_by_verifast.h │ │ │ ├── nat_config.c │ │ │ ├── nat_config.h │ │ │ ├── nf_forward.h │ │ │ ├── nf_log.h │ │ │ ├── nf_time.c │ │ │ ├── nf_time.h │ │ │ ├── nf_util.c │ │ │ ├── nf_util.h │ │ │ └── static-component-params.h │ │ └── nf_main.c │ └── solnat-cpp │ │ ├── lib │ │ ├── abstract-state.h │ │ ├── assumptions_stubs.c │ │ ├── coherence.c │ │ ├── coherence.h │ │ ├── containers │ │ │ ├── array-bat-impl.h │ │ │ ├── array-bat-verifast.c │ │ │ ├── array-bat.h │ │ │ ├── array-lcc-impl.h │ │ │ ├── array-lcc-verifast.c │ │ │ ├── array-lcc.h │ │ │ ├── array-rq-impl.h │ │ │ ├── array-rq-verifast.c │ │ │ ├── array-rq.h │ │ │ ├── array-u16-impl.h │ │ │ ├── array-u16-verifast.c │ │ │ ├── array-u16.h │ │ │ ├── batcher.c │ │ │ ├── batcher.h │ │ │ ├── double-chain-impl.c │ │ │ ├── double-chain-impl.h │ │ │ ├── double-chain.c │ │ │ ├── double-chain.h │ │ │ ├── double-map.c │ │ │ ├── double-map.h │ │ │ ├── map.c │ │ │ └── map.h │ │ ├── expirator.c │ │ ├── expirator.h │ │ ├── flow-log.c │ │ ├── flow.c │ │ ├── flow.h │ │ ├── ignore.h │ │ ├── include_ignored_by_verifast.h │ │ ├── nat_config.c │ │ ├── nat_config.h │ │ ├── nf_forward.h │ │ ├── nf_log.h │ │ ├── nf_time.c │ │ ├── nf_time.h │ │ ├── nf_util.c │ │ ├── nf_util.h │ │ └── static-component-params.h │ │ ├── nf_main.c │ │ └── unverified-nat │ │ ├── Makefile │ │ ├── nat_flow.h │ │ ├── nat_forward_nat.c │ │ ├── nat_map.h │ │ └── nat_map_cppstl.c ├── dpdk-nop │ ├── Makefile │ ├── XeonE52667v2.dat │ └── dpdk-nop.c ├── dpdk-probe-cache │ ├── Makefile │ └── dpdk-probe-cache.c ├── fake-nf │ ├── .gitignore │ ├── Makefile │ ├── common.h │ ├── ip-asn-lookup-da.c │ ├── ip-asn-lookup-trie.c │ ├── make-rainbow-table.c │ ├── nat-hash-table.c │ ├── simple-loop-count.c │ └── simple-memory-access.c ├── get_sign │ └── get_sign.c ├── islower │ └── islower.c ├── regexp │ ├── Regexp.c │ └── notes.txt └── sort │ └── sort.c ├── include ├── castan │ ├── Internal │ │ ├── CacheModel.h │ │ ├── ContentionSetCacheModel.h │ │ ├── GenericCacheModel.h │ │ └── RainbowTable.h │ ├── castan-dpdk.h │ ├── castan.h │ ├── emmintrin.h │ ├── rte_atomic.h │ └── scenario.h ├── expr │ ├── Lexer.h │ └── Parser.h └── klee │ ├── CommandLine.h │ ├── Common.h │ ├── Config │ ├── CompileTimeInfo.h.cmin │ ├── Version.h │ ├── config.h.cmin │ └── config.h.in │ ├── Constraints.h │ ├── ExecutionState.h │ ├── Expr.h │ ├── ExprBuilder.h │ ├── IncompleteSolver.h │ ├── Internal │ ├── ADT │ │ ├── DiscretePDF.h │ │ ├── DiscretePDF.inc │ │ ├── ImmutableMap.h │ │ ├── ImmutableSet.h │ │ ├── ImmutableTree.h │ │ ├── KTest.h │ │ ├── MapOfSets.h │ │ ├── RNG.h │ │ └── TreeStream.h │ ├── Module │ │ ├── Cell.h │ │ ├── InstructionInfoTable.h │ │ ├── KInstIterator.h │ │ ├── KInstruction.h │ │ └── KModule.h │ ├── README.txt │ ├── Support │ │ ├── CompressionStream.h │ │ ├── Debug.h │ │ ├── ErrorHandling.h │ │ ├── FloatEvaluation.h │ │ ├── IntEvaluation.h │ │ ├── ModuleUtil.h │ │ ├── PrintVersion.h │ │ ├── QueryLog.h │ │ └── Timer.h │ └── System │ │ ├── MemoryUsage.h │ │ └── Time.h │ ├── Interpreter.h │ ├── Solver.h │ ├── SolverImpl.h │ ├── SolverStats.h │ ├── Statistic.h │ ├── Statistics.h │ ├── TimerStatIncrementer.h │ ├── klee.h │ └── util │ ├── ArrayCache.h │ ├── ArrayExprHash.h │ ├── Assignment.h │ ├── BitArray.h │ ├── Bits.h │ ├── ExprEvaluator.h │ ├── ExprHashMap.h │ ├── ExprPPrinter.h │ ├── ExprRangeEvaluator.h │ ├── ExprSMTLIBPrinter.h │ ├── ExprUtil.h │ ├── ExprVisitor.h │ ├── GetElementPtrTypeIterator.h │ ├── PrintContext.h │ └── Ref.h ├── install.sh ├── lib ├── Basic │ ├── CMakeLists.txt │ ├── CmdLineOptions.cpp │ ├── ConstructSolverChain.cpp │ ├── KTest.cpp │ ├── Makefile │ ├── README.txt │ └── Statistics.cpp ├── CASTAN │ ├── CastanSearcher.cpp │ ├── ContentionSetCacheModel.cpp │ ├── GenericCacheModel.cpp │ ├── Makefile │ └── RainbowTable.cpp ├── CMakeLists.txt ├── Core │ ├── AddressSpace.cpp │ ├── AddressSpace.h │ ├── CMakeLists.txt │ ├── CallPathManager.cpp │ ├── CallPathManager.h │ ├── Context.cpp │ ├── Context.h │ ├── CoreStats.cpp │ ├── CoreStats.h │ ├── ExecutionState.cpp │ ├── Executor.cpp │ ├── Executor.h │ ├── ExecutorTimerInfo.h │ ├── ExecutorTimers.cpp │ ├── ExecutorUtil.cpp │ ├── ExternalDispatcher.cpp │ ├── ExternalDispatcher.h │ ├── ImpliedValue.cpp │ ├── ImpliedValue.h │ ├── Makefile │ ├── Memory.cpp │ ├── Memory.h │ ├── MemoryManager.cpp │ ├── MemoryManager.h │ ├── ObjectHolder.h │ ├── PTree.cpp │ ├── PTree.h │ ├── Searcher.cpp │ ├── Searcher.h │ ├── SeedInfo.cpp │ ├── SeedInfo.h │ ├── SpecialFunctionHandler.cpp │ ├── SpecialFunctionHandler.h │ ├── StatsTracker.cpp │ ├── StatsTracker.h │ ├── TimingSolver.cpp │ ├── TimingSolver.h │ ├── UserSearcher.cpp │ └── UserSearcher.h ├── Expr │ ├── ArrayCache.cpp │ ├── Assigment.cpp │ ├── CMakeLists.txt │ ├── Constraints.cpp │ ├── Expr.cpp │ ├── ExprBuilder.cpp │ ├── ExprEvaluator.cpp │ ├── ExprPPrinter.cpp │ ├── ExprSMTLIBPrinter.cpp │ ├── ExprUtil.cpp │ ├── ExprVisitor.cpp │ ├── Lexer.cpp │ ├── Makefile │ ├── Parser.cpp │ └── Updates.cpp ├── Makefile ├── Module │ ├── CMakeLists.txt │ ├── Checks.cpp │ ├── InstructionInfoTable.cpp │ ├── IntrinsicCleaner.cpp │ ├── KInstruction.cpp │ ├── KModule.cpp │ ├── LowerSwitch.cpp │ ├── Makefile │ ├── ModuleUtil.cpp │ ├── Optimize.cpp │ ├── Passes.h │ ├── PhiCleaner.cpp │ └── RaiseAsm.cpp ├── README.txt ├── SMT │ ├── LICENSE.CVC3 │ ├── Makefile │ ├── SMTParser.cpp │ ├── SMTParser.h │ ├── main.cpp │ ├── smtlib.lex │ └── smtlib.y ├── Solver │ ├── CMakeLists.txt │ ├── CachingSolver.cpp │ ├── CexCachingSolver.cpp │ ├── ConstantDivision.cpp │ ├── ConstantDivision.h │ ├── CoreSolver.cpp │ ├── DummySolver.cpp │ ├── FastCexSolver.cpp │ ├── IncompleteSolver.cpp │ ├── IndependentSolver.cpp │ ├── Makefile │ ├── MetaSMTBuilder.h │ ├── MetaSMTSolver.cpp │ ├── PCLoggingSolver.cpp │ ├── QueryLoggingSolver.cpp │ ├── QueryLoggingSolver.h │ ├── SMTLIBLoggingSolver.cpp │ ├── STPBuilder.cpp │ ├── STPBuilder.h │ ├── STPSolver.cpp │ ├── Solver.cpp │ ├── SolverImpl.cpp │ ├── SolverStats.cpp │ ├── ValidatingSolver.cpp │ ├── Z3Builder.cpp │ ├── Z3Builder.h │ └── Z3Solver.cpp └── Support │ ├── CMakeLists.txt │ ├── CompressionStream.cpp │ ├── ErrorHandling.cpp │ ├── Makefile │ ├── MemoryUsage.cpp │ ├── PrintVersion.cpp │ ├── README.txt │ ├── RNG.cpp │ ├── Time.cpp │ ├── Timer.cpp │ └── TreeStream.cpp ├── pcaps ├── 1packet.pcap ├── dpdk-lb-basichash-castan.pcap ├── dpdk-lb-basichash-unirand-castan.pcap ├── dpdk-lb-hashring-castan.pcap ├── dpdk-lb-hashring-unirand-castan.pcap ├── dpdk-lb-stlmap-castan.pcap ├── dpdk-lb-stlmap-unirand-castan.pcap ├── dpdk-lb-tree-castan.pcap ├── dpdk-lb-tree-manual.pcap ├── dpdk-lb-tree-unirand-castan.pcap ├── dpdk-lpm-btrie-castan.pcap ├── dpdk-lpm-btrie-manual.pcap ├── dpdk-lpm-btrie-unirand-castan.pcap ├── dpdk-lpm-da-castan.pcap ├── dpdk-lpm-da-unirand-castan.pcap ├── dpdk-lpm-dpdklpm-castan.pcap ├── dpdk-lpm-dpdklpm-unirand-castan.pcap ├── dpdk-nat-basichash-castan.pcap ├── dpdk-nat-basichash-unirand-castan.pcap ├── dpdk-nat-hashring-castan.pcap ├── dpdk-nat-hashring-unirand-castan.pcap ├── dpdk-nat-stlmap-castan.pcap ├── dpdk-nat-stlmap-unirand-castan.pcap ├── dpdk-nat-tree-castan.pcap ├── dpdk-nat-tree-manual.pcap ├── dpdk-nat-tree-unirand-castan.pcap ├── lb-1packet.pcap ├── lb-unirand.pcap ├── lb-zipf.pcap ├── unirand.pcap └── zipf.pcap ├── runtime ├── CMakeLists.txt ├── Intrinsic │ ├── Makefile │ ├── Makefile.cmake.bitcode │ ├── klee_div_zero_check.c │ ├── klee_int.c │ ├── klee_overshift_check.c │ ├── klee_range.c │ ├── memcpy.c │ ├── memmove.c │ ├── mempcpy.c │ └── memset.c ├── Makefile ├── Makefile.cmake.bitcode ├── Makefile.cmake.bitcode.config.in ├── Makefile.cmake.bitcode.rules ├── POSIX │ ├── Makefile │ ├── Makefile.cmake.bitcode │ ├── fd.c │ ├── fd.h │ ├── fd_32.c │ ├── fd_64.c │ ├── fd_init.c │ ├── illegal.c │ ├── klee_init_env.c │ ├── misc.c │ ├── selinux.c │ └── stubs.c ├── Runtest │ ├── CMakeLists.txt │ ├── Makefile │ └── intrinsics.c ├── klee-libc │ ├── Makefile │ ├── Makefile.cmake.bitcode │ ├── __cxa_atexit.c │ ├── abort.c │ ├── atexit.c │ ├── atoi.c │ ├── calloc.c │ ├── htonl.c │ ├── klee-choose.c │ ├── memchr.c │ ├── memcmp.c │ ├── memcpy.c │ ├── memmove.c │ ├── mempcpy.c │ ├── memset.c │ ├── putchar.c │ ├── stpcpy.c │ ├── strcat.c │ ├── strchr.c │ ├── strcmp.c │ ├── strcoll.c │ ├── strcpy.c │ ├── strlen.c │ ├── strncmp.c │ ├── strncpy.c │ ├── strrchr.c │ ├── strtol.c │ ├── strtoul.c │ ├── tolower.c │ └── toupper.c └── klee-uclibc │ └── Makefile ├── scripts ├── IStatsMerge.py ├── IStatsSum.py ├── coverageServer.py ├── genTempFiles.sh ├── klee-chroot-env ├── klee-clang ├── klee-control ├── klee-gcc ├── make-nf-bars.sh ├── make-plots.sh ├── objdump ├── pcap_tools │ ├── .gitignore │ ├── analyze_zipfian.R │ ├── clear_payloads.py │ ├── create_all_flows_pcap.py │ ├── create_dummy_packet.py │ ├── create_flows_pcap.py │ ├── create_ip_options_pcap.py │ ├── create_single_packet_pcap.py │ ├── create_single_ptp_packet_pcap.py │ ├── create_uniform_distribution_all_ips_pcap.py │ ├── create_uniform_distribution_pcap.py │ ├── create_zipfian_distribution_pcap.py │ ├── extract_flows.py │ ├── fb-to-pcap.py │ ├── flow.py │ └── pcap_stats.sh ├── perf │ ├── README │ ├── bench-all-latency-local.sh │ ├── bench-all.sh │ ├── bench-latency-local.sh │ ├── bench.sh │ ├── clean.sh │ ├── clean │ │ ├── middlebox.sh │ │ └── tester.sh │ ├── config.sh │ ├── init-machines.sh │ ├── init-machines │ │ ├── middlebox.sh │ │ └── tester.sh │ ├── learn-castan-costs.sh │ ├── moongen │ │ ├── l3-latency-light.lua │ │ ├── l3-load-find-1p.lua │ │ ├── pcap-find-1p.lua │ │ └── pcap-latency-light.lua │ ├── pcaplist │ │ ├── dpdk-lb-basichash.txt │ │ ├── dpdk-lb-hashring.txt │ │ ├── dpdk-lb-stlmap.txt │ │ ├── dpdk-lb-tree.txt │ │ ├── dpdk-lpm-btrie.txt │ │ ├── dpdk-lpm-da.txt │ │ ├── dpdk-lpm-dpdklpm.txt │ │ ├── dpdk-nat-basichash.txt │ │ ├── dpdk-nat-cc.txt │ │ ├── dpdk-nat-dpdkhash.txt │ │ ├── dpdk-nat-hashring.txt │ │ ├── dpdk-nat-ruby.txt │ │ ├── dpdk-nat-stlmap.txt │ │ ├── dpdk-nat-stlumap.txt │ │ ├── dpdk-nat-tree.txt │ │ └── dpdk-nop.txt │ ├── ptp.patch │ ├── routing-table.pfx2as │ ├── run-dpdk.sh │ ├── run.sh │ ├── setup-machines.sh │ ├── setup-machines │ │ ├── install-dpdk.sh │ │ ├── install-moongen.sh │ │ ├── middlebox.sh │ │ └── tester.sh │ ├── start-middlebox.sh │ ├── stop-middlebox.sh │ ├── test.pcap │ └── util │ │ └── dpdk-functions.sh ├── plot-bars.sh ├── plot-ccdf.sh ├── plot-cdf.sh └── plot-csv.sh ├── test ├── CMakeLists.txt ├── CXX │ ├── ArrayNew.cpp │ ├── New.cpp │ ├── SimpleVirtual.cpp │ ├── StaticConstructor.cpp │ ├── StaticDestructor.cpp │ └── Trivial.cpp ├── Concrete │ ├── BitwiseOps.ll │ ├── BoolReadWrite.ll │ ├── CMakeLists.txt │ ├── Casts.ll │ ├── CmpEq.ll │ ├── ConcreteTest.py │ ├── ConstantExpr.ll │ ├── FloatingPointOps.ll │ ├── GlobalInitializers.ll │ ├── GlobalUndef.ll │ ├── GlobalVariable.ll │ ├── ICmp.ll │ ├── Makefile │ ├── Makefile.cmake.test.in │ ├── OneCall.ll │ ├── OverlappingPhiNodes.ll │ ├── README.txt │ ├── Select.ll │ ├── Shifts.ll │ ├── SimpleStoreAndLoad.ll │ ├── UnconditionalBranch.ll │ ├── UnconditionalBranchWithSimplePhi.ll │ ├── UnorderedPhiNodes.ll │ ├── _testingUtils.c │ ├── ackermann.c │ └── arith_test.ll ├── Coverage │ ├── ReadArgs.c │ └── ReplayOutDir.c ├── Dogfood │ └── ImmutableSet.cpp ├── Expr │ ├── Evaluate.pc │ ├── Evaluate2.pc │ ├── Lexer │ │ └── Numbers.pc │ ├── Parser │ │ ├── Concat64.pc │ │ ├── ConstantFolding.pc │ │ ├── Exprs.pc │ │ ├── MultiByteReads.pc │ │ ├── Simplify.pc │ │ └── TypeChecking.pc │ ├── print-smt-let.pc │ ├── print-smt-let.smt2.good │ ├── print-smt-named.pc │ ├── print-smt-named.smt2.good │ ├── print-smt-none.pc │ └── print-smt-none.smt2.good ├── Feature │ ├── Alias.c │ ├── AliasFunction.c │ ├── AliasFunctionExit.c │ ├── BFSSearcher.c │ ├── BitcastAlias.ll │ ├── BitcastAliasMD2U.ll │ ├── ByteSwap.c │ ├── CallToUndefinedExternal.cpp │ ├── CheckForImpliedValue.c.failing │ ├── CheckMemoryAccess.c │ ├── CompressedExprLogging.c │ ├── ConstantStruct.ll │ ├── CopyOnWrite.c │ ├── DanglingConcreteReadExpr.c │ ├── DefineFixedObject.c │ ├── DeterministicSwitch.c │ ├── DoubleFree.c │ ├── DumpStatesOnHalt.c │ ├── EntryPoint.c │ ├── Envp.c │ ├── ExitOnErrorType.c │ ├── ExprLogging.c │ ├── ExternalWeakLinkage.c │ ├── Float.c │ ├── FloatingPt.c │ ├── FunctionPointer.c │ ├── GetElementPtr.ll │ ├── GetValue.c │ ├── ImpliedValue.c.failing │ ├── InAndOutOfBounds.c │ ├── IndirectCallToBuiltin.c │ ├── IndirectCallToExternal.c │ ├── InsertExtractValue.ll │ ├── IntrinsicTrap.ll │ ├── InvalidBitfieldAccess.c.failing │ ├── IsSymbolic.c │ ├── KleeReportError.c │ ├── LargeReturnTypes.cpp │ ├── LinkLLVMLib.c │ ├── LoggingInstructions.c │ ├── LongDouble.cpp │ ├── LongDoubleSupport.c │ ├── LowerSwitch.c │ ├── MakeConcreteSymbolic.c │ ├── MakeSymbolicName.c │ ├── MemoryLimit.c │ ├── MultiMkSym.c │ ├── MultipleFreeResolution.c │ ├── MultipleReadResolution.c │ ├── MultipleReallocResolution.c │ ├── MultipleWriteResolution.c │ ├── NamedSeedMatching.c │ ├── NonSizedGlobals.c │ ├── OneFreeError.c │ ├── OneOutOfBounds.c │ ├── Optimize.c │ ├── Overflow.ll │ ├── OverflowMul.ll │ ├── OverlappedError.c │ ├── OvershiftCheck.c │ ├── PreferCex.c │ ├── RaiseAsm.c │ ├── Realloc.c │ ├── ReplayPath.c │ ├── RewriteEqualities.c │ ├── Searchers.c │ ├── SetForking.c │ ├── SilentKleeAssume.c │ ├── SolverTimeout.c │ ├── SourceMapping.c │ ├── StatesCoveringNew.c │ ├── VarArgLongDouble.c │ ├── Vararg.c │ ├── WithLibc.c │ ├── WriteCov.c │ ├── _utils._ll │ ├── arithmetic-right-overshift-sym-conc.c │ ├── consecutive_divide_by_zero.c │ ├── const_array_opt1.c │ ├── left-overshift-sym-conc.c │ ├── logical-right-overshift-sym-conc.c │ ├── srem.c │ ├── ubsan_signed_overflow.c │ ├── ubsan_unsigned_overflow.c │ └── utils.h ├── Intrinsics │ ├── objectsize.ll │ └── objectsize.llvm29.ll ├── Makefile ├── Makefile.tests ├── Programs │ └── pcregrep.c ├── README ├── Runtime │ ├── POSIX │ │ ├── DirConsistency.c │ │ ├── DirSeek.c │ │ ├── FDNumbers.c │ │ ├── FD_Fail.c │ │ ├── FD_Fail2.c │ │ ├── Fcntl.c │ │ ├── FilePerm.c │ │ ├── FreeArgv.c │ │ ├── Futimesat.c │ │ ├── Getenv.c │ │ ├── Ioctl.c │ │ ├── Isatty.c │ │ ├── Openat.c │ │ ├── PrgName.c │ │ ├── Read1.c │ │ ├── SELinux │ │ │ ├── SELinux.c │ │ │ └── lit.local.cfg │ │ ├── SeedAndFail.c │ │ ├── Stdin.c │ │ ├── Write1.c │ │ ├── Write2.c │ │ └── lit.local.cfg │ └── Uclibc │ │ ├── 2007-10-08-optimization-calls-wrong-libc-functions.c │ │ ├── 2008-03-04-libc-atexit-uses-dso-handle.c │ │ ├── Environ.c │ │ └── lit.local.cfg ├── Solver │ ├── 2016-04-12-array-parsing-bug.kquery │ ├── AShr_to_smtlib.kquery │ ├── AShr_to_smtlib.kquery.good.smt2 │ ├── FastCexSolver.pc │ ├── LargeIntegers.pc │ ├── lit.local.cfg │ ├── overshift-aright-by-constant.kquery │ ├── overshift-aright-by-symbolic.kquery │ ├── overshift-left-by-constant.kquery │ ├── overshift-left-by-symbolic.kquery │ ├── overshift-lright-by-constant.kquery │ └── overshift-lright-by-symbolic.kquery ├── TestRunner.sh ├── lit.cfg ├── lit.site.cfg.in └── regression │ ├── 2007-07-25-invalid-stp-array-binding-to-objectstate.c │ ├── 2007-07-30-unflushed-byte.c │ ├── 2007-08-01-bool-zext-in-call.ll │ ├── 2007-08-01-cache-unclear-on-overwrite-flushed.c │ ├── 2007-08-06-64bit-shift.c │ ├── 2007-08-06-access-after-free.c │ ├── 2007-08-08-free-zero.c │ ├── 2007-08-16-invalid-constant-value.c │ ├── 2007-08-16-valid-write-to-freed-object.c │ ├── 2007-10-11-free-of-alloca.c │ ├── 2007-10-11-illegal-access-after-free-and-branch.c │ ├── 2007-10-12-failed-make-symbolic-after-copy.c │ ├── 2008-03-04-free-of-global.c │ ├── 2008-03-11-free-of-malloc-zero.c │ ├── 2008-04-10-bad-alloca-free.c │ ├── 2008-05-23-gep-with-global-const.c │ ├── 2012-05-13-asm-causes-aborts.c │ ├── 2014-07-04-unflushed-error-report.c │ ├── 2014-12-08-ashr.c │ ├── 2015-06-22-struct-write.c │ ├── 2015-08-30-empty-constraints.c │ ├── 2015-08-30-sdiv-1.c │ ├── 2016-03-22-independence-solver-missing-objects-for-assignment.kquery │ ├── 2016-04-14-sdiv-2.c │ ├── 2016-06-28-div-zero-bug.c │ ├── 2016-08-06-klee-get-obj-size.c │ ├── 2016-08-11-entry-point-internalize-pass.c │ ├── 2016-08-12-empty-file.c │ └── lit.local.cfg ├── tools ├── CMakeLists.txt ├── Makefile ├── castan │ ├── CMakeLists.txt │ ├── Debug.cpp │ ├── Makefile │ └── castan.cpp ├── gen-random-bout │ ├── CMakeLists.txt │ ├── Makefile │ └── gen-random-bout.cpp ├── kleaver │ ├── CMakeLists.txt │ ├── Makefile │ └── main.cpp ├── klee-replay │ ├── CMakeLists.txt │ ├── Makefile │ ├── fd_init.c │ ├── file-creator.c │ ├── klee-replay.c │ ├── klee-replay.h │ └── klee_init_env.c ├── klee-stats │ ├── CMakeLists.txt │ ├── Makefile │ └── klee-stats ├── klee │ ├── CMakeLists.txt │ ├── Debug.cpp │ ├── Makefile │ └── main.cpp ├── ktest-tool │ ├── CMakeLists.txt │ ├── Makefile │ └── ktest-tool └── ktest2pcap │ ├── CMakeLists.txt │ ├── Makefile │ └── ktest2pcap.cpp ├── unittests ├── Assignment │ ├── AssignmentTest.cpp │ ├── CMakeLists.txt │ └── Makefile ├── CMakeLists.txt ├── Expr │ ├── CMakeLists.txt │ ├── ExprTest.cpp │ └── Makefile ├── Makefile ├── Ref │ ├── CMakeLists.txt │ ├── Makefile │ └── RefTest.cpp ├── Solver │ ├── CMakeLists.txt │ ├── Makefile │ └── SolverTest.cpp ├── TestMain.cpp ├── lit-unit-tests-common.cfg └── lit-unit-tests-common.site.cfg.in └── utils ├── data └── Queries │ ├── pcresymperf-3.pc │ └── pcresymperf-4.pc ├── emacs └── klee-pc-mode.el ├── hacks └── TreeGraphs │ ├── Animate.py │ ├── DumpTreeStream.py │ ├── Graphics │ ├── Canvas │ │ └── __init__.py │ ├── Geometry │ │ ├── Intersect2D.py │ │ ├── __init__.py │ │ ├── mat2.py │ │ ├── mat3.py │ │ ├── mat4.py │ │ ├── quat.py │ │ ├── vec2.py │ │ ├── vec3.py │ │ └── vec4.py │ └── __init__.py │ ├── README.txt │ ├── TreeGraph.py │ └── inputs │ ├── symPaths.ts │ └── symPaths6.ts ├── sanitizers └── lsan.txt └── valgrind ├── README.txt ├── valgrind-llvm.supp └── valgrind-stp.supp /.clang-format: -------------------------------------------------------------------------------- 1 | --- 2 | BasedOnStyle: LLVM 3 | Standard: Cpp03 4 | ... 5 | -------------------------------------------------------------------------------- /.dockerignore: -------------------------------------------------------------------------------- 1 | .git 2 | autom4te.cache 3 | **/.*.swp 4 | Dockerfile 5 | -------------------------------------------------------------------------------- /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/.gitattributes -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/.travis.yml -------------------------------------------------------------------------------- /.travis/install-llvm-and-runtime-compiler.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/.travis/install-llvm-and-runtime-compiler.sh -------------------------------------------------------------------------------- /.travis/install-tcmalloc.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/.travis/install-tcmalloc.sh -------------------------------------------------------------------------------- /.travis/klee.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/.travis/klee.sh -------------------------------------------------------------------------------- /.travis/metaSMT.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/.travis/metaSMT.sh -------------------------------------------------------------------------------- /.travis/solvers.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/.travis/solvers.sh -------------------------------------------------------------------------------- /.travis/stp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/.travis/stp.sh -------------------------------------------------------------------------------- /.travis/testing-utils.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/.travis/testing-utils.sh -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/Dockerfile -------------------------------------------------------------------------------- /LICENSE.TXT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/LICENSE.TXT -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/Makefile -------------------------------------------------------------------------------- /Makefile.common: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/Makefile.common -------------------------------------------------------------------------------- /Makefile.config.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/Makefile.config.in -------------------------------------------------------------------------------- /Makefile.rules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/Makefile.rules -------------------------------------------------------------------------------- /MetaSMT.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/MetaSMT.mk -------------------------------------------------------------------------------- /NEWS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/NEWS -------------------------------------------------------------------------------- /README-CMake.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/README-CMake.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/README.md -------------------------------------------------------------------------------- /TODO.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/TODO.txt -------------------------------------------------------------------------------- /_config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/_config.yml -------------------------------------------------------------------------------- /artifacts_available.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/artifacts_available.jpg -------------------------------------------------------------------------------- /artifacts_evaluated_functional.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/artifacts_evaluated_functional.jpg -------------------------------------------------------------------------------- /artifacts_evaluated_reusable.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/artifacts_evaluated_reusable.jpg -------------------------------------------------------------------------------- /autoconf/AutoRegen.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/autoconf/AutoRegen.sh -------------------------------------------------------------------------------- /autoconf/config.guess: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/autoconf/config.guess -------------------------------------------------------------------------------- /autoconf/config.sub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/autoconf/config.sub -------------------------------------------------------------------------------- /autoconf/configure.ac: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/autoconf/configure.ac -------------------------------------------------------------------------------- /autoconf/install-sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/autoconf/install-sh -------------------------------------------------------------------------------- /castan.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/castan.pdf -------------------------------------------------------------------------------- /cmake/GetGitRevisionDescription.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/cmake/GetGitRevisionDescription.cmake -------------------------------------------------------------------------------- /cmake/GetGitRevisionDescription.cmake.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/cmake/GetGitRevisionDescription.cmake.in -------------------------------------------------------------------------------- /cmake/add_global_flag.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/cmake/add_global_flag.cmake -------------------------------------------------------------------------------- /cmake/c_flags_override.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/cmake/c_flags_override.cmake -------------------------------------------------------------------------------- /cmake/compiler_warnings.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/cmake/compiler_warnings.cmake -------------------------------------------------------------------------------- /cmake/cxx_flags_override.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/cmake/cxx_flags_override.cmake -------------------------------------------------------------------------------- /cmake/find_bitcode_compiler.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/cmake/find_bitcode_compiler.cmake -------------------------------------------------------------------------------- /cmake/find_llvm.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/cmake/find_llvm.cmake -------------------------------------------------------------------------------- /cmake/find_metasmt.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/cmake/find_metasmt.cmake -------------------------------------------------------------------------------- /cmake/klee_add_component.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/cmake/klee_add_component.cmake -------------------------------------------------------------------------------- /cmake/klee_component_add_cxx_flag.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/cmake/klee_component_add_cxx_flag.cmake -------------------------------------------------------------------------------- /cmake/modules/FindZ3.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/cmake/modules/FindZ3.cmake -------------------------------------------------------------------------------- /cmake/string_to_list.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/cmake/string_to_list.cmake -------------------------------------------------------------------------------- /configure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/configure -------------------------------------------------------------------------------- /docs/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/docs/CMakeLists.txt -------------------------------------------------------------------------------- /docs/SMT-COMP/BitVector_ArraysEx.smt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/docs/SMT-COMP/BitVector_ArraysEx.smt -------------------------------------------------------------------------------- /docs/SMT-COMP/BitVectors.smt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/docs/SMT-COMP/BitVectors.smt -------------------------------------------------------------------------------- /docs/SMT-COMP/QF_AUFBV.smt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/docs/SMT-COMP/QF_AUFBV.smt -------------------------------------------------------------------------------- /docs/SMT-COMP/QF_BV.smt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/docs/SMT-COMP/QF_BV.smt -------------------------------------------------------------------------------- /docs/doxygen.cfg.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/docs/doxygen.cfg.in -------------------------------------------------------------------------------- /docs/intro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/docs/intro -------------------------------------------------------------------------------- /docs/overview: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/docs/overview -------------------------------------------------------------------------------- /env.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/env.sh -------------------------------------------------------------------------------- /example.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/example.kquery -------------------------------------------------------------------------------- /examples/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/.gitignore -------------------------------------------------------------------------------- /examples/XeonE52667v2.dat.bz2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/XeonE52667v2.dat.bz2 -------------------------------------------------------------------------------- /examples/cache-effects/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/cache-effects/.gitignore -------------------------------------------------------------------------------- /examples/cache-effects/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/cache-effects/Makefile -------------------------------------------------------------------------------- /examples/cache-effects/check-contention-sets.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/cache-effects/check-contention-sets.c -------------------------------------------------------------------------------- /examples/cache-effects/common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/cache-effects/common.h -------------------------------------------------------------------------------- /examples/cache-effects/local.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/cache-effects/local.c -------------------------------------------------------------------------------- /examples/cache-effects/nonlocal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/cache-effects/nonlocal.c -------------------------------------------------------------------------------- /examples/cache-effects/probe-slices.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/cache-effects/probe-slices.c -------------------------------------------------------------------------------- /examples/cache-effects/variable-array.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/cache-effects/variable-array.c -------------------------------------------------------------------------------- /examples/data-structures/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/data-structures/.gitignore -------------------------------------------------------------------------------- /examples/data-structures/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/data-structures/Makefile -------------------------------------------------------------------------------- /examples/data-structures/fsm-loop.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/data-structures/fsm-loop.c -------------------------------------------------------------------------------- /examples/data-structures/fsm-main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/data-structures/fsm-main.c -------------------------------------------------------------------------------- /examples/data-structures/fsm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/data-structures/fsm.h -------------------------------------------------------------------------------- /examples/data-structures/hash-main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/data-structures/hash-main.c -------------------------------------------------------------------------------- /examples/data-structures/hash-ring.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/data-structures/hash-ring.c -------------------------------------------------------------------------------- /examples/data-structures/hash-table.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/data-structures/hash-table.c -------------------------------------------------------------------------------- /examples/data-structures/hash.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/data-structures/hash.h -------------------------------------------------------------------------------- /examples/data-structures/lpm-da.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/data-structures/lpm-da.c -------------------------------------------------------------------------------- /examples/data-structures/lpm-main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/data-structures/lpm-main.c -------------------------------------------------------------------------------- /examples/data-structures/lpm-trie.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/data-structures/lpm-trie.c -------------------------------------------------------------------------------- /examples/data-structures/lpm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/data-structures/lpm.h -------------------------------------------------------------------------------- /examples/data-structures/ring-array.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/data-structures/ring-array.c -------------------------------------------------------------------------------- /examples/data-structures/ring-list.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/data-structures/ring-list.c -------------------------------------------------------------------------------- /examples/data-structures/ring-main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/data-structures/ring-main.c -------------------------------------------------------------------------------- /examples/data-structures/ring.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/data-structures/ring.h -------------------------------------------------------------------------------- /examples/dpdk-check-cache/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-check-cache/Makefile -------------------------------------------------------------------------------- /examples/dpdk-check-cache/dpdk-check-cache.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-check-cache/dpdk-check-cache.c -------------------------------------------------------------------------------- /examples/dpdk-lb-basichash/.gitignore: -------------------------------------------------------------------------------- 1 | havoc.rt 2 | make-rainbow-table 3 | -------------------------------------------------------------------------------- /examples/dpdk-lb-basichash/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lb-basichash/Makefile -------------------------------------------------------------------------------- /examples/dpdk-lb-basichash/XeonE52667v2.dat: -------------------------------------------------------------------------------- 1 | ../XeonE52667v2.dat -------------------------------------------------------------------------------- /examples/dpdk-lb-basichash/dpdk-lb-basichash.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lb-basichash/dpdk-lb-basichash.c -------------------------------------------------------------------------------- /examples/dpdk-lb-basichash/include: -------------------------------------------------------------------------------- 1 | ../../../castan/include -------------------------------------------------------------------------------- /examples/dpdk-lb-basichash/testbed/.gitignore: -------------------------------------------------------------------------------- 1 | .vagrant/ 2 | -------------------------------------------------------------------------------- /examples/dpdk-lb-basichash/testbed/Vagrantfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lb-basichash/testbed/Vagrantfile -------------------------------------------------------------------------------- /examples/dpdk-lb-basichash/testbed/castan: -------------------------------------------------------------------------------- 1 | ../../.. -------------------------------------------------------------------------------- /examples/dpdk-lb-basichash/testbed/client.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lb-basichash/testbed/client.sh -------------------------------------------------------------------------------- /examples/dpdk-lb-basichash/testbed/inserver.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lb-basichash/testbed/inserver.sh -------------------------------------------------------------------------------- /examples/dpdk-lb-basichash/testbed/run-nf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lb-basichash/testbed/run-nf.sh -------------------------------------------------------------------------------- /examples/dpdk-lb-basichash/testbed/src: -------------------------------------------------------------------------------- 1 | .. -------------------------------------------------------------------------------- /examples/dpdk-lb-hashring/.gitignore: -------------------------------------------------------------------------------- 1 | havoc.rt 2 | make-rainbow-table 3 | -------------------------------------------------------------------------------- /examples/dpdk-lb-hashring/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lb-hashring/Makefile -------------------------------------------------------------------------------- /examples/dpdk-lb-hashring/include: -------------------------------------------------------------------------------- 1 | ../../../castan/include -------------------------------------------------------------------------------- /examples/dpdk-lb-hashring/testbed/.gitignore: -------------------------------------------------------------------------------- 1 | .vagrant/ 2 | -------------------------------------------------------------------------------- /examples/dpdk-lb-hashring/testbed/castan: -------------------------------------------------------------------------------- 1 | ../../.. -------------------------------------------------------------------------------- /examples/dpdk-lb-hashring/testbed/client.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lb-hashring/testbed/client.sh -------------------------------------------------------------------------------- /examples/dpdk-lb-hashring/testbed/run-nf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lb-hashring/testbed/run-nf.sh -------------------------------------------------------------------------------- /examples/dpdk-lb-hashring/testbed/src: -------------------------------------------------------------------------------- 1 | .. -------------------------------------------------------------------------------- /examples/dpdk-lb-stlmap/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lb-stlmap/Makefile -------------------------------------------------------------------------------- /examples/dpdk-lb-stlmap/XeonE52667v2.dat: -------------------------------------------------------------------------------- 1 | ../XeonE52667v2.dat -------------------------------------------------------------------------------- /examples/dpdk-lb-stlmap/dpdk-lb-stlmap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lb-stlmap/dpdk-lb-stlmap.c -------------------------------------------------------------------------------- /examples/dpdk-lb-stlmap/include: -------------------------------------------------------------------------------- 1 | ../../../castan/include -------------------------------------------------------------------------------- /examples/dpdk-lb-stlmap/testbed/.gitignore: -------------------------------------------------------------------------------- 1 | .vagrant/ 2 | -------------------------------------------------------------------------------- /examples/dpdk-lb-stlmap/testbed/Vagrantfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lb-stlmap/testbed/Vagrantfile -------------------------------------------------------------------------------- /examples/dpdk-lb-stlmap/testbed/castan: -------------------------------------------------------------------------------- 1 | ../../.. -------------------------------------------------------------------------------- /examples/dpdk-lb-stlmap/testbed/client.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lb-stlmap/testbed/client.sh -------------------------------------------------------------------------------- /examples/dpdk-lb-stlmap/testbed/inserver.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lb-stlmap/testbed/inserver.sh -------------------------------------------------------------------------------- /examples/dpdk-lb-stlmap/testbed/run-nf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lb-stlmap/testbed/run-nf.sh -------------------------------------------------------------------------------- /examples/dpdk-lb-stlmap/testbed/src: -------------------------------------------------------------------------------- 1 | .. -------------------------------------------------------------------------------- /examples/dpdk-lb-stlmap/testbed/test-nf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lb-stlmap/testbed/test-nf.sh -------------------------------------------------------------------------------- /examples/dpdk-lb-tree/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lb-tree/Makefile -------------------------------------------------------------------------------- /examples/dpdk-lb-tree/XeonE52667v2.dat: -------------------------------------------------------------------------------- 1 | ../XeonE52667v2.dat -------------------------------------------------------------------------------- /examples/dpdk-lb-tree/dpdk-lb-tree.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lb-tree/dpdk-lb-tree.c -------------------------------------------------------------------------------- /examples/dpdk-lb-tree/include: -------------------------------------------------------------------------------- 1 | ../../../castan/include -------------------------------------------------------------------------------- /examples/dpdk-lb-tree/testbed/.gitignore: -------------------------------------------------------------------------------- 1 | .vagrant/ 2 | -------------------------------------------------------------------------------- /examples/dpdk-lb-tree/testbed/Vagrantfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lb-tree/testbed/Vagrantfile -------------------------------------------------------------------------------- /examples/dpdk-lb-tree/testbed/castan: -------------------------------------------------------------------------------- 1 | ../../.. -------------------------------------------------------------------------------- /examples/dpdk-lb-tree/testbed/client.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lb-tree/testbed/client.sh -------------------------------------------------------------------------------- /examples/dpdk-lb-tree/testbed/inserver.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lb-tree/testbed/inserver.sh -------------------------------------------------------------------------------- /examples/dpdk-lb-tree/testbed/run-nf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lb-tree/testbed/run-nf.sh -------------------------------------------------------------------------------- /examples/dpdk-lb-tree/testbed/src: -------------------------------------------------------------------------------- 1 | .. -------------------------------------------------------------------------------- /examples/dpdk-lb-tree/testbed/test-nf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lb-tree/testbed/test-nf.sh -------------------------------------------------------------------------------- /examples/dpdk-lpm-btrie/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lpm-btrie/Makefile -------------------------------------------------------------------------------- /examples/dpdk-lpm-btrie/XeonE52667v2.dat: -------------------------------------------------------------------------------- 1 | ../XeonE52667v2.dat -------------------------------------------------------------------------------- /examples/dpdk-lpm-btrie/dpdk-lpm-btrie.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lpm-btrie/dpdk-lpm-btrie.c -------------------------------------------------------------------------------- /examples/dpdk-lpm-btrie/testbed/.gitignore: -------------------------------------------------------------------------------- 1 | .vagrant/ 2 | -------------------------------------------------------------------------------- /examples/dpdk-lpm-btrie/testbed/Vagrantfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lpm-btrie/testbed/Vagrantfile -------------------------------------------------------------------------------- /examples/dpdk-lpm-btrie/testbed/client.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lpm-btrie/testbed/client.sh -------------------------------------------------------------------------------- /examples/dpdk-lpm-btrie/testbed/inserver.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lpm-btrie/testbed/inserver.sh -------------------------------------------------------------------------------- /examples/dpdk-lpm-btrie/testbed/run-nf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lpm-btrie/testbed/run-nf.sh -------------------------------------------------------------------------------- /examples/dpdk-lpm-btrie/testbed/src: -------------------------------------------------------------------------------- 1 | .. -------------------------------------------------------------------------------- /examples/dpdk-lpm-btrie/testbed/test-nf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lpm-btrie/testbed/test-nf.sh -------------------------------------------------------------------------------- /examples/dpdk-lpm-da/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lpm-da/Makefile -------------------------------------------------------------------------------- /examples/dpdk-lpm-da/XeonE52667v2.dat: -------------------------------------------------------------------------------- 1 | ../XeonE52667v2.dat -------------------------------------------------------------------------------- /examples/dpdk-lpm-da/dpdk-lpm-da.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lpm-da/dpdk-lpm-da.c -------------------------------------------------------------------------------- /examples/dpdk-lpm-da/testbed/.gitignore: -------------------------------------------------------------------------------- 1 | .vagrant/ 2 | -------------------------------------------------------------------------------- /examples/dpdk-lpm-da/testbed/Vagrantfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lpm-da/testbed/Vagrantfile -------------------------------------------------------------------------------- /examples/dpdk-lpm-da/testbed/client.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lpm-da/testbed/client.sh -------------------------------------------------------------------------------- /examples/dpdk-lpm-da/testbed/dpdk_router.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lpm-da/testbed/dpdk_router.sh -------------------------------------------------------------------------------- /examples/dpdk-lpm-da/testbed/inserver.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lpm-da/testbed/inserver.sh -------------------------------------------------------------------------------- /examples/dpdk-lpm-da/testbed/redeploy-nf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lpm-da/testbed/redeploy-nf.sh -------------------------------------------------------------------------------- /examples/dpdk-lpm-da/testbed/run-nf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lpm-da/testbed/run-nf.sh -------------------------------------------------------------------------------- /examples/dpdk-lpm-da/testbed/src: -------------------------------------------------------------------------------- 1 | .. -------------------------------------------------------------------------------- /examples/dpdk-lpm-da/testbed/test-nf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lpm-da/testbed/test-nf.sh -------------------------------------------------------------------------------- /examples/dpdk-lpm-dpdklpm/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lpm-dpdklpm/Makefile -------------------------------------------------------------------------------- /examples/dpdk-lpm-dpdklpm/XeonE52667v2.dat: -------------------------------------------------------------------------------- 1 | ../XeonE52667v2.dat -------------------------------------------------------------------------------- /examples/dpdk-lpm-dpdklpm/testbed/.gitignore: -------------------------------------------------------------------------------- 1 | .vagrant/ 2 | -------------------------------------------------------------------------------- /examples/dpdk-lpm-dpdklpm/testbed/client.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lpm-dpdklpm/testbed/client.sh -------------------------------------------------------------------------------- /examples/dpdk-lpm-dpdklpm/testbed/run-nf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-lpm-dpdklpm/testbed/run-nf.sh -------------------------------------------------------------------------------- /examples/dpdk-lpm-dpdklpm/testbed/src: -------------------------------------------------------------------------------- 1 | .. -------------------------------------------------------------------------------- /examples/dpdk-nat-basichash/.gitignore: -------------------------------------------------------------------------------- 1 | havoc.rt 2 | make-rainbow-table 3 | -------------------------------------------------------------------------------- /examples/dpdk-nat-basichash/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-basichash/Makefile -------------------------------------------------------------------------------- /examples/dpdk-nat-basichash/XeonE52667v2.dat: -------------------------------------------------------------------------------- 1 | ../XeonE52667v2.dat -------------------------------------------------------------------------------- /examples/dpdk-nat-basichash/include: -------------------------------------------------------------------------------- 1 | ../../../castan/include -------------------------------------------------------------------------------- /examples/dpdk-nat-basichash/testbed/.gitignore: -------------------------------------------------------------------------------- 1 | .vagrant/ 2 | -------------------------------------------------------------------------------- /examples/dpdk-nat-basichash/testbed/castan: -------------------------------------------------------------------------------- 1 | ../../.. -------------------------------------------------------------------------------- /examples/dpdk-nat-basichash/testbed/src: -------------------------------------------------------------------------------- 1 | .. -------------------------------------------------------------------------------- /examples/dpdk-nat-cc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-cc/Makefile -------------------------------------------------------------------------------- /examples/dpdk-nat-cc/XeonE52667v2.dat: -------------------------------------------------------------------------------- 1 | ../XeonE52667v2.dat -------------------------------------------------------------------------------- /examples/dpdk-nat-cc/coherence.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-cc/coherence.h -------------------------------------------------------------------------------- /examples/dpdk-nat-cc/double-chain-impl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-cc/double-chain-impl.c -------------------------------------------------------------------------------- /examples/dpdk-nat-cc/double-chain-impl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-cc/double-chain-impl.h -------------------------------------------------------------------------------- /examples/dpdk-nat-cc/double-chain.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-cc/double-chain.c -------------------------------------------------------------------------------- /examples/dpdk-nat-cc/double-chain.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-cc/double-chain.h -------------------------------------------------------------------------------- /examples/dpdk-nat-cc/double-map.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-cc/double-map.c -------------------------------------------------------------------------------- /examples/dpdk-nat-cc/double-map.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-cc/double-map.h -------------------------------------------------------------------------------- /examples/dpdk-nat-cc/expirator.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-cc/expirator.c -------------------------------------------------------------------------------- /examples/dpdk-nat-cc/expirator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-cc/expirator.h -------------------------------------------------------------------------------- /examples/dpdk-nat-cc/flow-log.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-cc/flow-log.c -------------------------------------------------------------------------------- /examples/dpdk-nat-cc/flow.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-cc/flow.c -------------------------------------------------------------------------------- /examples/dpdk-nat-cc/flow.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-cc/flow.h -------------------------------------------------------------------------------- /examples/dpdk-nat-cc/flowmanager.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-cc/flowmanager.c -------------------------------------------------------------------------------- /examples/dpdk-nat-cc/flowmanager.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-cc/flowmanager.h -------------------------------------------------------------------------------- /examples/dpdk-nat-cc/flowtable.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-cc/flowtable.c -------------------------------------------------------------------------------- /examples/dpdk-nat-cc/flowtable.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-cc/flowtable.h -------------------------------------------------------------------------------- /examples/dpdk-nat-cc/ignore.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-cc/ignore.h -------------------------------------------------------------------------------- /examples/dpdk-nat-cc/include_ignored_by_verifast.h: -------------------------------------------------------------------------------- 1 | #define _NO_VERIFAST_ 2 | -------------------------------------------------------------------------------- /examples/dpdk-nat-cc/loop.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-cc/loop.h -------------------------------------------------------------------------------- /examples/dpdk-nat-cc/map.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-cc/map.c -------------------------------------------------------------------------------- /examples/dpdk-nat-cc/map.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-cc/map.h -------------------------------------------------------------------------------- /examples/dpdk-nat-cc/nat_config.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-cc/nat_config.c -------------------------------------------------------------------------------- /examples/dpdk-nat-cc/nat_config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-cc/nat_config.h -------------------------------------------------------------------------------- /examples/dpdk-nat-cc/nat_forward_vignat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-cc/nat_forward_vignat.c -------------------------------------------------------------------------------- /examples/dpdk-nat-cc/nf_forward.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-cc/nf_forward.h -------------------------------------------------------------------------------- /examples/dpdk-nat-cc/nf_log.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-cc/nf_log.h -------------------------------------------------------------------------------- /examples/dpdk-nat-cc/nf_main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-cc/nf_main.c -------------------------------------------------------------------------------- /examples/dpdk-nat-cc/nf_time.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-cc/nf_time.c -------------------------------------------------------------------------------- /examples/dpdk-nat-cc/nf_time.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-cc/nf_time.h -------------------------------------------------------------------------------- /examples/dpdk-nat-cc/nf_util.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-cc/nf_util.c -------------------------------------------------------------------------------- /examples/dpdk-nat-cc/nf_util.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-cc/nf_util.h -------------------------------------------------------------------------------- /examples/dpdk-nat-dpdkhash/.gitignore: -------------------------------------------------------------------------------- 1 | havoc.rt 2 | make-rainbow-table 3 | -------------------------------------------------------------------------------- /examples/dpdk-nat-dpdkhash/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-dpdkhash/Makefile -------------------------------------------------------------------------------- /examples/dpdk-nat-dpdkhash/XeonE52667v2.dat: -------------------------------------------------------------------------------- 1 | ../XeonE52667v2.dat -------------------------------------------------------------------------------- /examples/dpdk-nat-dpdkhash/include: -------------------------------------------------------------------------------- 1 | ../../../castan/include -------------------------------------------------------------------------------- /examples/dpdk-nat-dpdkhash/testbed/.gitignore: -------------------------------------------------------------------------------- 1 | .vagrant/ 2 | -------------------------------------------------------------------------------- /examples/dpdk-nat-dpdkhash/testbed/castan: -------------------------------------------------------------------------------- 1 | ../../.. -------------------------------------------------------------------------------- /examples/dpdk-nat-dpdkhash/testbed/src: -------------------------------------------------------------------------------- 1 | .. -------------------------------------------------------------------------------- /examples/dpdk-nat-hashring/.gitignore: -------------------------------------------------------------------------------- 1 | havoc.rt 2 | make-rainbow-table 3 | -------------------------------------------------------------------------------- /examples/dpdk-nat-hashring/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-hashring/Makefile -------------------------------------------------------------------------------- /examples/dpdk-nat-hashring/include: -------------------------------------------------------------------------------- 1 | ../../../castan/include -------------------------------------------------------------------------------- /examples/dpdk-nat-hashring/testbed/.gitignore: -------------------------------------------------------------------------------- 1 | .vagrant/ 2 | -------------------------------------------------------------------------------- /examples/dpdk-nat-hashring/testbed/castan: -------------------------------------------------------------------------------- 1 | ../../.. -------------------------------------------------------------------------------- /examples/dpdk-nat-hashring/testbed/src: -------------------------------------------------------------------------------- 1 | .. -------------------------------------------------------------------------------- /examples/dpdk-nat-ruby/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-ruby/Makefile -------------------------------------------------------------------------------- /examples/dpdk-nat-ruby/XeonE52667v2.dat: -------------------------------------------------------------------------------- 1 | ../XeonE52667v2.dat -------------------------------------------------------------------------------- /examples/dpdk-nat-ruby/defines.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-ruby/defines.h -------------------------------------------------------------------------------- /examples/dpdk-nat-ruby/dpdk-nat-ruby.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-ruby/dpdk-nat-ruby.c -------------------------------------------------------------------------------- /examples/dpdk-nat-ruby/include: -------------------------------------------------------------------------------- 1 | ../../../castan/include -------------------------------------------------------------------------------- /examples/dpdk-nat-ruby/st.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-ruby/st.c -------------------------------------------------------------------------------- /examples/dpdk-nat-ruby/st.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-ruby/st.h -------------------------------------------------------------------------------- /examples/dpdk-nat-ruby/testbed/.gitignore: -------------------------------------------------------------------------------- 1 | .vagrant/ 2 | -------------------------------------------------------------------------------- /examples/dpdk-nat-ruby/testbed/Vagrantfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-ruby/testbed/Vagrantfile -------------------------------------------------------------------------------- /examples/dpdk-nat-ruby/testbed/castan: -------------------------------------------------------------------------------- 1 | ../../.. -------------------------------------------------------------------------------- /examples/dpdk-nat-ruby/testbed/client.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-ruby/testbed/client.sh -------------------------------------------------------------------------------- /examples/dpdk-nat-ruby/testbed/inserver.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-ruby/testbed/inserver.sh -------------------------------------------------------------------------------- /examples/dpdk-nat-ruby/testbed/run-nf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-ruby/testbed/run-nf.sh -------------------------------------------------------------------------------- /examples/dpdk-nat-ruby/testbed/src: -------------------------------------------------------------------------------- 1 | .. -------------------------------------------------------------------------------- /examples/dpdk-nat-ruby/testbed/test-nf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-ruby/testbed/test-nf.sh -------------------------------------------------------------------------------- /examples/dpdk-nat-stlmap/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-stlmap/Makefile -------------------------------------------------------------------------------- /examples/dpdk-nat-stlmap/XeonE52667v2.dat: -------------------------------------------------------------------------------- 1 | ../XeonE52667v2.dat -------------------------------------------------------------------------------- /examples/dpdk-nat-stlmap/dpdk-nat-stlmap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-stlmap/dpdk-nat-stlmap.c -------------------------------------------------------------------------------- /examples/dpdk-nat-stlmap/testbed/.gitignore: -------------------------------------------------------------------------------- 1 | .vagrant/ 2 | -------------------------------------------------------------------------------- /examples/dpdk-nat-stlmap/testbed/client.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-stlmap/testbed/client.sh -------------------------------------------------------------------------------- /examples/dpdk-nat-stlmap/testbed/run-nf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-stlmap/testbed/run-nf.sh -------------------------------------------------------------------------------- /examples/dpdk-nat-stlmap/testbed/src: -------------------------------------------------------------------------------- 1 | .. -------------------------------------------------------------------------------- /examples/dpdk-nat-stlmap/testbed/test-nf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-stlmap/testbed/test-nf.sh -------------------------------------------------------------------------------- /examples/dpdk-nat-stlumap/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-stlumap/Makefile -------------------------------------------------------------------------------- /examples/dpdk-nat-stlumap/XeonE52667v2.dat: -------------------------------------------------------------------------------- 1 | ../XeonE52667v2.dat -------------------------------------------------------------------------------- /examples/dpdk-nat-stlumap/testbed/.gitignore: -------------------------------------------------------------------------------- 1 | .vagrant/ 2 | -------------------------------------------------------------------------------- /examples/dpdk-nat-stlumap/testbed/castan: -------------------------------------------------------------------------------- 1 | ../../.. -------------------------------------------------------------------------------- /examples/dpdk-nat-stlumap/testbed/client.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-stlumap/testbed/client.sh -------------------------------------------------------------------------------- /examples/dpdk-nat-stlumap/testbed/run-nf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-stlumap/testbed/run-nf.sh -------------------------------------------------------------------------------- /examples/dpdk-nat-stlumap/testbed/src: -------------------------------------------------------------------------------- 1 | .. -------------------------------------------------------------------------------- /examples/dpdk-nat-tree/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-tree/Makefile -------------------------------------------------------------------------------- /examples/dpdk-nat-tree/XeonE52667v2.dat: -------------------------------------------------------------------------------- 1 | ../XeonE52667v2.dat -------------------------------------------------------------------------------- /examples/dpdk-nat-tree/dpdk-nat-tree.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-tree/dpdk-nat-tree.c -------------------------------------------------------------------------------- /examples/dpdk-nat-tree/testbed/.gitignore: -------------------------------------------------------------------------------- 1 | .vagrant/ 2 | -------------------------------------------------------------------------------- /examples/dpdk-nat-tree/testbed/Vagrantfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-tree/testbed/Vagrantfile -------------------------------------------------------------------------------- /examples/dpdk-nat-tree/testbed/client.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-tree/testbed/client.sh -------------------------------------------------------------------------------- /examples/dpdk-nat-tree/testbed/inserver.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-tree/testbed/inserver.sh -------------------------------------------------------------------------------- /examples/dpdk-nat-tree/testbed/run-nf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-tree/testbed/run-nf.sh -------------------------------------------------------------------------------- /examples/dpdk-nat-tree/testbed/src: -------------------------------------------------------------------------------- 1 | .. -------------------------------------------------------------------------------- /examples/dpdk-nat-tree/testbed/test-nf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nat-tree/testbed/test-nf.sh -------------------------------------------------------------------------------- /examples/dpdk-nfs/XeonE52667v2.dat: -------------------------------------------------------------------------------- 1 | ../XeonE52667v2.dat -------------------------------------------------------------------------------- /examples/dpdk-nfs/maclearning/lib/containers/array-bat-verifast.c: -------------------------------------------------------------------------------- 1 | array-bat-impl.h -------------------------------------------------------------------------------- /examples/dpdk-nfs/maclearning/lib/containers/array-lcc-verifast.c: -------------------------------------------------------------------------------- 1 | array-lcc-impl.h -------------------------------------------------------------------------------- /examples/dpdk-nfs/maclearning/lib/containers/array-rq-verifast.c: -------------------------------------------------------------------------------- 1 | array-rq-impl.h -------------------------------------------------------------------------------- /examples/dpdk-nfs/maclearning/lib/containers/array-u16-verifast.c: -------------------------------------------------------------------------------- 1 | array-u16-impl.h -------------------------------------------------------------------------------- /examples/dpdk-nfs/maclearning/lib/flow.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nfs/maclearning/lib/flow.c -------------------------------------------------------------------------------- /examples/dpdk-nfs/maclearning/lib/flow.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nfs/maclearning/lib/flow.h -------------------------------------------------------------------------------- /examples/dpdk-nfs/maclearning/lib/ignore.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nfs/maclearning/lib/ignore.h -------------------------------------------------------------------------------- /examples/dpdk-nfs/maclearning/lib/include_ignored_by_verifast.h: -------------------------------------------------------------------------------- 1 | #define _NO_VERIFAST_ 2 | -------------------------------------------------------------------------------- /examples/dpdk-nfs/maclearning/lib/nf_log.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nfs/maclearning/lib/nf_log.h -------------------------------------------------------------------------------- /examples/dpdk-nfs/maclearning/lib/nf_time.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nfs/maclearning/lib/nf_time.c -------------------------------------------------------------------------------- /examples/dpdk-nfs/maclearning/lib/nf_time.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nfs/maclearning/lib/nf_time.h -------------------------------------------------------------------------------- /examples/dpdk-nfs/maclearning/lib/nf_util.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nfs/maclearning/lib/nf_util.c -------------------------------------------------------------------------------- /examples/dpdk-nfs/maclearning/lib/nf_util.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nfs/maclearning/lib/nf_util.h -------------------------------------------------------------------------------- /examples/dpdk-nfs/maclearning/nf_main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nfs/maclearning/nf_main.c -------------------------------------------------------------------------------- /examples/dpdk-nfs/solnat-cpp/lib/containers/array-bat-verifast.c: -------------------------------------------------------------------------------- 1 | array-bat-impl.h -------------------------------------------------------------------------------- /examples/dpdk-nfs/solnat-cpp/lib/containers/array-lcc-verifast.c: -------------------------------------------------------------------------------- 1 | array-lcc-impl.h -------------------------------------------------------------------------------- /examples/dpdk-nfs/solnat-cpp/lib/containers/array-rq-verifast.c: -------------------------------------------------------------------------------- 1 | array-rq-impl.h -------------------------------------------------------------------------------- /examples/dpdk-nfs/solnat-cpp/lib/containers/array-u16-verifast.c: -------------------------------------------------------------------------------- 1 | array-u16-impl.h -------------------------------------------------------------------------------- /examples/dpdk-nfs/solnat-cpp/lib/flow-log.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nfs/solnat-cpp/lib/flow-log.c -------------------------------------------------------------------------------- /examples/dpdk-nfs/solnat-cpp/lib/flow.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nfs/solnat-cpp/lib/flow.c -------------------------------------------------------------------------------- /examples/dpdk-nfs/solnat-cpp/lib/flow.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nfs/solnat-cpp/lib/flow.h -------------------------------------------------------------------------------- /examples/dpdk-nfs/solnat-cpp/lib/ignore.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nfs/solnat-cpp/lib/ignore.h -------------------------------------------------------------------------------- /examples/dpdk-nfs/solnat-cpp/lib/include_ignored_by_verifast.h: -------------------------------------------------------------------------------- 1 | #define _NO_VERIFAST_ 2 | -------------------------------------------------------------------------------- /examples/dpdk-nfs/solnat-cpp/lib/nf_log.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nfs/solnat-cpp/lib/nf_log.h -------------------------------------------------------------------------------- /examples/dpdk-nfs/solnat-cpp/lib/nf_time.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nfs/solnat-cpp/lib/nf_time.c -------------------------------------------------------------------------------- /examples/dpdk-nfs/solnat-cpp/lib/nf_time.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nfs/solnat-cpp/lib/nf_time.h -------------------------------------------------------------------------------- /examples/dpdk-nfs/solnat-cpp/lib/nf_util.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nfs/solnat-cpp/lib/nf_util.c -------------------------------------------------------------------------------- /examples/dpdk-nfs/solnat-cpp/lib/nf_util.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nfs/solnat-cpp/lib/nf_util.h -------------------------------------------------------------------------------- /examples/dpdk-nfs/solnat-cpp/nf_main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nfs/solnat-cpp/nf_main.c -------------------------------------------------------------------------------- /examples/dpdk-nop/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nop/Makefile -------------------------------------------------------------------------------- /examples/dpdk-nop/XeonE52667v2.dat: -------------------------------------------------------------------------------- 1 | ../XeonE52667v2.dat -------------------------------------------------------------------------------- /examples/dpdk-nop/dpdk-nop.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-nop/dpdk-nop.c -------------------------------------------------------------------------------- /examples/dpdk-probe-cache/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/dpdk-probe-cache/Makefile -------------------------------------------------------------------------------- /examples/fake-nf/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/fake-nf/.gitignore -------------------------------------------------------------------------------- /examples/fake-nf/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/fake-nf/Makefile -------------------------------------------------------------------------------- /examples/fake-nf/common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/fake-nf/common.h -------------------------------------------------------------------------------- /examples/fake-nf/ip-asn-lookup-da.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/fake-nf/ip-asn-lookup-da.c -------------------------------------------------------------------------------- /examples/fake-nf/ip-asn-lookup-trie.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/fake-nf/ip-asn-lookup-trie.c -------------------------------------------------------------------------------- /examples/fake-nf/make-rainbow-table.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/fake-nf/make-rainbow-table.c -------------------------------------------------------------------------------- /examples/fake-nf/nat-hash-table.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/fake-nf/nat-hash-table.c -------------------------------------------------------------------------------- /examples/fake-nf/simple-loop-count.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/fake-nf/simple-loop-count.c -------------------------------------------------------------------------------- /examples/fake-nf/simple-memory-access.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/fake-nf/simple-memory-access.c -------------------------------------------------------------------------------- /examples/get_sign/get_sign.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/get_sign/get_sign.c -------------------------------------------------------------------------------- /examples/islower/islower.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/islower/islower.c -------------------------------------------------------------------------------- /examples/regexp/Regexp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/regexp/Regexp.c -------------------------------------------------------------------------------- /examples/regexp/notes.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/regexp/notes.txt -------------------------------------------------------------------------------- /examples/sort/sort.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/examples/sort/sort.c -------------------------------------------------------------------------------- /include/castan/Internal/CacheModel.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/castan/Internal/CacheModel.h -------------------------------------------------------------------------------- /include/castan/Internal/GenericCacheModel.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/castan/Internal/GenericCacheModel.h -------------------------------------------------------------------------------- /include/castan/Internal/RainbowTable.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/castan/Internal/RainbowTable.h -------------------------------------------------------------------------------- /include/castan/castan-dpdk.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/castan/castan-dpdk.h -------------------------------------------------------------------------------- /include/castan/castan.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/castan/castan.h -------------------------------------------------------------------------------- /include/castan/emmintrin.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/castan/emmintrin.h -------------------------------------------------------------------------------- /include/castan/rte_atomic.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/castan/rte_atomic.h -------------------------------------------------------------------------------- /include/castan/scenario.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/castan/scenario.h -------------------------------------------------------------------------------- /include/expr/Lexer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/expr/Lexer.h -------------------------------------------------------------------------------- /include/expr/Parser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/expr/Parser.h -------------------------------------------------------------------------------- /include/klee/CommandLine.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/CommandLine.h -------------------------------------------------------------------------------- /include/klee/Common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/Common.h -------------------------------------------------------------------------------- /include/klee/Config/CompileTimeInfo.h.cmin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/Config/CompileTimeInfo.h.cmin -------------------------------------------------------------------------------- /include/klee/Config/Version.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/Config/Version.h -------------------------------------------------------------------------------- /include/klee/Config/config.h.cmin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/Config/config.h.cmin -------------------------------------------------------------------------------- /include/klee/Config/config.h.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/Config/config.h.in -------------------------------------------------------------------------------- /include/klee/Constraints.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/Constraints.h -------------------------------------------------------------------------------- /include/klee/ExecutionState.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/ExecutionState.h -------------------------------------------------------------------------------- /include/klee/Expr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/Expr.h -------------------------------------------------------------------------------- /include/klee/ExprBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/ExprBuilder.h -------------------------------------------------------------------------------- /include/klee/IncompleteSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/IncompleteSolver.h -------------------------------------------------------------------------------- /include/klee/Internal/ADT/DiscretePDF.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/Internal/ADT/DiscretePDF.h -------------------------------------------------------------------------------- /include/klee/Internal/ADT/DiscretePDF.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/Internal/ADT/DiscretePDF.inc -------------------------------------------------------------------------------- /include/klee/Internal/ADT/ImmutableMap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/Internal/ADT/ImmutableMap.h -------------------------------------------------------------------------------- /include/klee/Internal/ADT/ImmutableSet.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/Internal/ADT/ImmutableSet.h -------------------------------------------------------------------------------- /include/klee/Internal/ADT/ImmutableTree.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/Internal/ADT/ImmutableTree.h -------------------------------------------------------------------------------- /include/klee/Internal/ADT/KTest.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/Internal/ADT/KTest.h -------------------------------------------------------------------------------- /include/klee/Internal/ADT/MapOfSets.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/Internal/ADT/MapOfSets.h -------------------------------------------------------------------------------- /include/klee/Internal/ADT/RNG.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/Internal/ADT/RNG.h -------------------------------------------------------------------------------- /include/klee/Internal/ADT/TreeStream.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/Internal/ADT/TreeStream.h -------------------------------------------------------------------------------- /include/klee/Internal/Module/Cell.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/Internal/Module/Cell.h -------------------------------------------------------------------------------- /include/klee/Internal/Module/KInstruction.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/Internal/Module/KInstruction.h -------------------------------------------------------------------------------- /include/klee/Internal/Module/KModule.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/Internal/Module/KModule.h -------------------------------------------------------------------------------- /include/klee/Internal/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/Internal/README.txt -------------------------------------------------------------------------------- /include/klee/Internal/Support/Debug.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/Internal/Support/Debug.h -------------------------------------------------------------------------------- /include/klee/Internal/Support/ModuleUtil.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/Internal/Support/ModuleUtil.h -------------------------------------------------------------------------------- /include/klee/Internal/Support/QueryLog.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/Internal/Support/QueryLog.h -------------------------------------------------------------------------------- /include/klee/Internal/Support/Timer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/Internal/Support/Timer.h -------------------------------------------------------------------------------- /include/klee/Internal/System/MemoryUsage.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/Internal/System/MemoryUsage.h -------------------------------------------------------------------------------- /include/klee/Internal/System/Time.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/Internal/System/Time.h -------------------------------------------------------------------------------- /include/klee/Interpreter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/Interpreter.h -------------------------------------------------------------------------------- /include/klee/Solver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/Solver.h -------------------------------------------------------------------------------- /include/klee/SolverImpl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/SolverImpl.h -------------------------------------------------------------------------------- /include/klee/SolverStats.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/SolverStats.h -------------------------------------------------------------------------------- /include/klee/Statistic.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/Statistic.h -------------------------------------------------------------------------------- /include/klee/Statistics.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/Statistics.h -------------------------------------------------------------------------------- /include/klee/TimerStatIncrementer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/TimerStatIncrementer.h -------------------------------------------------------------------------------- /include/klee/klee.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/klee.h -------------------------------------------------------------------------------- /include/klee/util/ArrayCache.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/util/ArrayCache.h -------------------------------------------------------------------------------- /include/klee/util/ArrayExprHash.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/util/ArrayExprHash.h -------------------------------------------------------------------------------- /include/klee/util/Assignment.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/util/Assignment.h -------------------------------------------------------------------------------- /include/klee/util/BitArray.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/util/BitArray.h -------------------------------------------------------------------------------- /include/klee/util/Bits.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/util/Bits.h -------------------------------------------------------------------------------- /include/klee/util/ExprEvaluator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/util/ExprEvaluator.h -------------------------------------------------------------------------------- /include/klee/util/ExprHashMap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/util/ExprHashMap.h -------------------------------------------------------------------------------- /include/klee/util/ExprPPrinter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/util/ExprPPrinter.h -------------------------------------------------------------------------------- /include/klee/util/ExprRangeEvaluator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/util/ExprRangeEvaluator.h -------------------------------------------------------------------------------- /include/klee/util/ExprSMTLIBPrinter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/util/ExprSMTLIBPrinter.h -------------------------------------------------------------------------------- /include/klee/util/ExprUtil.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/util/ExprUtil.h -------------------------------------------------------------------------------- /include/klee/util/ExprVisitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/util/ExprVisitor.h -------------------------------------------------------------------------------- /include/klee/util/PrintContext.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/util/PrintContext.h -------------------------------------------------------------------------------- /include/klee/util/Ref.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/include/klee/util/Ref.h -------------------------------------------------------------------------------- /install.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/install.sh -------------------------------------------------------------------------------- /lib/Basic/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Basic/CMakeLists.txt -------------------------------------------------------------------------------- /lib/Basic/CmdLineOptions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Basic/CmdLineOptions.cpp -------------------------------------------------------------------------------- /lib/Basic/ConstructSolverChain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Basic/ConstructSolverChain.cpp -------------------------------------------------------------------------------- /lib/Basic/KTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Basic/KTest.cpp -------------------------------------------------------------------------------- /lib/Basic/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Basic/Makefile -------------------------------------------------------------------------------- /lib/Basic/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Basic/README.txt -------------------------------------------------------------------------------- /lib/Basic/Statistics.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Basic/Statistics.cpp -------------------------------------------------------------------------------- /lib/CASTAN/CastanSearcher.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/CASTAN/CastanSearcher.cpp -------------------------------------------------------------------------------- /lib/CASTAN/ContentionSetCacheModel.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/CASTAN/ContentionSetCacheModel.cpp -------------------------------------------------------------------------------- /lib/CASTAN/GenericCacheModel.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/CASTAN/GenericCacheModel.cpp -------------------------------------------------------------------------------- /lib/CASTAN/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/CASTAN/Makefile -------------------------------------------------------------------------------- /lib/CASTAN/RainbowTable.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/CASTAN/RainbowTable.cpp -------------------------------------------------------------------------------- /lib/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/CMakeLists.txt -------------------------------------------------------------------------------- /lib/Core/AddressSpace.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Core/AddressSpace.cpp -------------------------------------------------------------------------------- /lib/Core/AddressSpace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Core/AddressSpace.h -------------------------------------------------------------------------------- /lib/Core/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Core/CMakeLists.txt -------------------------------------------------------------------------------- /lib/Core/CallPathManager.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Core/CallPathManager.cpp -------------------------------------------------------------------------------- /lib/Core/CallPathManager.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Core/CallPathManager.h -------------------------------------------------------------------------------- /lib/Core/Context.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Core/Context.cpp -------------------------------------------------------------------------------- /lib/Core/Context.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Core/Context.h -------------------------------------------------------------------------------- /lib/Core/CoreStats.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Core/CoreStats.cpp -------------------------------------------------------------------------------- /lib/Core/CoreStats.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Core/CoreStats.h -------------------------------------------------------------------------------- /lib/Core/ExecutionState.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Core/ExecutionState.cpp -------------------------------------------------------------------------------- /lib/Core/Executor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Core/Executor.cpp -------------------------------------------------------------------------------- /lib/Core/Executor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Core/Executor.h -------------------------------------------------------------------------------- /lib/Core/ExecutorTimerInfo.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Core/ExecutorTimerInfo.h -------------------------------------------------------------------------------- /lib/Core/ExecutorTimers.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Core/ExecutorTimers.cpp -------------------------------------------------------------------------------- /lib/Core/ExecutorUtil.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Core/ExecutorUtil.cpp -------------------------------------------------------------------------------- /lib/Core/ExternalDispatcher.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Core/ExternalDispatcher.cpp -------------------------------------------------------------------------------- /lib/Core/ExternalDispatcher.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Core/ExternalDispatcher.h -------------------------------------------------------------------------------- /lib/Core/ImpliedValue.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Core/ImpliedValue.cpp -------------------------------------------------------------------------------- /lib/Core/ImpliedValue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Core/ImpliedValue.h -------------------------------------------------------------------------------- /lib/Core/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Core/Makefile -------------------------------------------------------------------------------- /lib/Core/Memory.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Core/Memory.cpp -------------------------------------------------------------------------------- /lib/Core/Memory.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Core/Memory.h -------------------------------------------------------------------------------- /lib/Core/MemoryManager.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Core/MemoryManager.cpp -------------------------------------------------------------------------------- /lib/Core/MemoryManager.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Core/MemoryManager.h -------------------------------------------------------------------------------- /lib/Core/ObjectHolder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Core/ObjectHolder.h -------------------------------------------------------------------------------- /lib/Core/PTree.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Core/PTree.cpp -------------------------------------------------------------------------------- /lib/Core/PTree.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Core/PTree.h -------------------------------------------------------------------------------- /lib/Core/Searcher.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Core/Searcher.cpp -------------------------------------------------------------------------------- /lib/Core/Searcher.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Core/Searcher.h -------------------------------------------------------------------------------- /lib/Core/SeedInfo.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Core/SeedInfo.cpp -------------------------------------------------------------------------------- /lib/Core/SeedInfo.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Core/SeedInfo.h -------------------------------------------------------------------------------- /lib/Core/SpecialFunctionHandler.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Core/SpecialFunctionHandler.cpp -------------------------------------------------------------------------------- /lib/Core/SpecialFunctionHandler.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Core/SpecialFunctionHandler.h -------------------------------------------------------------------------------- /lib/Core/StatsTracker.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Core/StatsTracker.cpp -------------------------------------------------------------------------------- /lib/Core/StatsTracker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Core/StatsTracker.h -------------------------------------------------------------------------------- /lib/Core/TimingSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Core/TimingSolver.cpp -------------------------------------------------------------------------------- /lib/Core/TimingSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Core/TimingSolver.h -------------------------------------------------------------------------------- /lib/Core/UserSearcher.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Core/UserSearcher.cpp -------------------------------------------------------------------------------- /lib/Core/UserSearcher.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Core/UserSearcher.h -------------------------------------------------------------------------------- /lib/Expr/ArrayCache.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Expr/ArrayCache.cpp -------------------------------------------------------------------------------- /lib/Expr/Assigment.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Expr/Assigment.cpp -------------------------------------------------------------------------------- /lib/Expr/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Expr/CMakeLists.txt -------------------------------------------------------------------------------- /lib/Expr/Constraints.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Expr/Constraints.cpp -------------------------------------------------------------------------------- /lib/Expr/Expr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Expr/Expr.cpp -------------------------------------------------------------------------------- /lib/Expr/ExprBuilder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Expr/ExprBuilder.cpp -------------------------------------------------------------------------------- /lib/Expr/ExprEvaluator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Expr/ExprEvaluator.cpp -------------------------------------------------------------------------------- /lib/Expr/ExprPPrinter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Expr/ExprPPrinter.cpp -------------------------------------------------------------------------------- /lib/Expr/ExprSMTLIBPrinter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Expr/ExprSMTLIBPrinter.cpp -------------------------------------------------------------------------------- /lib/Expr/ExprUtil.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Expr/ExprUtil.cpp -------------------------------------------------------------------------------- /lib/Expr/ExprVisitor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Expr/ExprVisitor.cpp -------------------------------------------------------------------------------- /lib/Expr/Lexer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Expr/Lexer.cpp -------------------------------------------------------------------------------- /lib/Expr/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Expr/Makefile -------------------------------------------------------------------------------- /lib/Expr/Parser.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Expr/Parser.cpp -------------------------------------------------------------------------------- /lib/Expr/Updates.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Expr/Updates.cpp -------------------------------------------------------------------------------- /lib/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Makefile -------------------------------------------------------------------------------- /lib/Module/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Module/CMakeLists.txt -------------------------------------------------------------------------------- /lib/Module/Checks.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Module/Checks.cpp -------------------------------------------------------------------------------- /lib/Module/InstructionInfoTable.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Module/InstructionInfoTable.cpp -------------------------------------------------------------------------------- /lib/Module/IntrinsicCleaner.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Module/IntrinsicCleaner.cpp -------------------------------------------------------------------------------- /lib/Module/KInstruction.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Module/KInstruction.cpp -------------------------------------------------------------------------------- /lib/Module/KModule.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Module/KModule.cpp -------------------------------------------------------------------------------- /lib/Module/LowerSwitch.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Module/LowerSwitch.cpp -------------------------------------------------------------------------------- /lib/Module/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Module/Makefile -------------------------------------------------------------------------------- /lib/Module/ModuleUtil.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Module/ModuleUtil.cpp -------------------------------------------------------------------------------- /lib/Module/Optimize.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Module/Optimize.cpp -------------------------------------------------------------------------------- /lib/Module/Passes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Module/Passes.h -------------------------------------------------------------------------------- /lib/Module/PhiCleaner.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Module/PhiCleaner.cpp -------------------------------------------------------------------------------- /lib/Module/RaiseAsm.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Module/RaiseAsm.cpp -------------------------------------------------------------------------------- /lib/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/README.txt -------------------------------------------------------------------------------- /lib/SMT/LICENSE.CVC3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/SMT/LICENSE.CVC3 -------------------------------------------------------------------------------- /lib/SMT/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/SMT/Makefile -------------------------------------------------------------------------------- /lib/SMT/SMTParser.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/SMT/SMTParser.cpp -------------------------------------------------------------------------------- /lib/SMT/SMTParser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/SMT/SMTParser.h -------------------------------------------------------------------------------- /lib/SMT/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/SMT/main.cpp -------------------------------------------------------------------------------- /lib/SMT/smtlib.lex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/SMT/smtlib.lex -------------------------------------------------------------------------------- /lib/SMT/smtlib.y: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/SMT/smtlib.y -------------------------------------------------------------------------------- /lib/Solver/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Solver/CMakeLists.txt -------------------------------------------------------------------------------- /lib/Solver/CachingSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Solver/CachingSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/CexCachingSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Solver/CexCachingSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/ConstantDivision.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Solver/ConstantDivision.cpp -------------------------------------------------------------------------------- /lib/Solver/ConstantDivision.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Solver/ConstantDivision.h -------------------------------------------------------------------------------- /lib/Solver/CoreSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Solver/CoreSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/DummySolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Solver/DummySolver.cpp -------------------------------------------------------------------------------- /lib/Solver/FastCexSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Solver/FastCexSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/IncompleteSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Solver/IncompleteSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/IndependentSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Solver/IndependentSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Solver/Makefile -------------------------------------------------------------------------------- /lib/Solver/MetaSMTBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Solver/MetaSMTBuilder.h -------------------------------------------------------------------------------- /lib/Solver/MetaSMTSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Solver/MetaSMTSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/PCLoggingSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Solver/PCLoggingSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/QueryLoggingSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Solver/QueryLoggingSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/QueryLoggingSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Solver/QueryLoggingSolver.h -------------------------------------------------------------------------------- /lib/Solver/SMTLIBLoggingSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Solver/SMTLIBLoggingSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/STPBuilder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Solver/STPBuilder.cpp -------------------------------------------------------------------------------- /lib/Solver/STPBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Solver/STPBuilder.h -------------------------------------------------------------------------------- /lib/Solver/STPSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Solver/STPSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/Solver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Solver/Solver.cpp -------------------------------------------------------------------------------- /lib/Solver/SolverImpl.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Solver/SolverImpl.cpp -------------------------------------------------------------------------------- /lib/Solver/SolverStats.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Solver/SolverStats.cpp -------------------------------------------------------------------------------- /lib/Solver/ValidatingSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Solver/ValidatingSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/Z3Builder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Solver/Z3Builder.cpp -------------------------------------------------------------------------------- /lib/Solver/Z3Builder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Solver/Z3Builder.h -------------------------------------------------------------------------------- /lib/Solver/Z3Solver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Solver/Z3Solver.cpp -------------------------------------------------------------------------------- /lib/Support/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Support/CMakeLists.txt -------------------------------------------------------------------------------- /lib/Support/CompressionStream.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Support/CompressionStream.cpp -------------------------------------------------------------------------------- /lib/Support/ErrorHandling.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Support/ErrorHandling.cpp -------------------------------------------------------------------------------- /lib/Support/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Support/Makefile -------------------------------------------------------------------------------- /lib/Support/MemoryUsage.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Support/MemoryUsage.cpp -------------------------------------------------------------------------------- /lib/Support/PrintVersion.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Support/PrintVersion.cpp -------------------------------------------------------------------------------- /lib/Support/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Support/README.txt -------------------------------------------------------------------------------- /lib/Support/RNG.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Support/RNG.cpp -------------------------------------------------------------------------------- /lib/Support/Time.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Support/Time.cpp -------------------------------------------------------------------------------- /lib/Support/Timer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Support/Timer.cpp -------------------------------------------------------------------------------- /lib/Support/TreeStream.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/lib/Support/TreeStream.cpp -------------------------------------------------------------------------------- /pcaps/1packet.pcap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/pcaps/1packet.pcap -------------------------------------------------------------------------------- /pcaps/dpdk-lb-basichash-castan.pcap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/pcaps/dpdk-lb-basichash-castan.pcap -------------------------------------------------------------------------------- /pcaps/dpdk-lb-basichash-unirand-castan.pcap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/pcaps/dpdk-lb-basichash-unirand-castan.pcap -------------------------------------------------------------------------------- /pcaps/dpdk-lb-hashring-castan.pcap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/pcaps/dpdk-lb-hashring-castan.pcap -------------------------------------------------------------------------------- /pcaps/dpdk-lb-hashring-unirand-castan.pcap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/pcaps/dpdk-lb-hashring-unirand-castan.pcap -------------------------------------------------------------------------------- /pcaps/dpdk-lb-stlmap-castan.pcap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/pcaps/dpdk-lb-stlmap-castan.pcap -------------------------------------------------------------------------------- /pcaps/dpdk-lb-stlmap-unirand-castan.pcap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/pcaps/dpdk-lb-stlmap-unirand-castan.pcap -------------------------------------------------------------------------------- /pcaps/dpdk-lb-tree-castan.pcap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/pcaps/dpdk-lb-tree-castan.pcap -------------------------------------------------------------------------------- /pcaps/dpdk-lb-tree-manual.pcap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/pcaps/dpdk-lb-tree-manual.pcap -------------------------------------------------------------------------------- /pcaps/dpdk-lb-tree-unirand-castan.pcap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/pcaps/dpdk-lb-tree-unirand-castan.pcap -------------------------------------------------------------------------------- /pcaps/dpdk-lpm-btrie-castan.pcap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/pcaps/dpdk-lpm-btrie-castan.pcap -------------------------------------------------------------------------------- /pcaps/dpdk-lpm-btrie-manual.pcap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/pcaps/dpdk-lpm-btrie-manual.pcap -------------------------------------------------------------------------------- /pcaps/dpdk-lpm-btrie-unirand-castan.pcap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/pcaps/dpdk-lpm-btrie-unirand-castan.pcap -------------------------------------------------------------------------------- /pcaps/dpdk-lpm-da-castan.pcap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/pcaps/dpdk-lpm-da-castan.pcap -------------------------------------------------------------------------------- /pcaps/dpdk-lpm-da-unirand-castan.pcap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/pcaps/dpdk-lpm-da-unirand-castan.pcap -------------------------------------------------------------------------------- /pcaps/dpdk-lpm-dpdklpm-castan.pcap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/pcaps/dpdk-lpm-dpdklpm-castan.pcap -------------------------------------------------------------------------------- /pcaps/dpdk-lpm-dpdklpm-unirand-castan.pcap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/pcaps/dpdk-lpm-dpdklpm-unirand-castan.pcap -------------------------------------------------------------------------------- /pcaps/dpdk-nat-basichash-castan.pcap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/pcaps/dpdk-nat-basichash-castan.pcap -------------------------------------------------------------------------------- /pcaps/dpdk-nat-hashring-castan.pcap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/pcaps/dpdk-nat-hashring-castan.pcap -------------------------------------------------------------------------------- /pcaps/dpdk-nat-hashring-unirand-castan.pcap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/pcaps/dpdk-nat-hashring-unirand-castan.pcap -------------------------------------------------------------------------------- /pcaps/dpdk-nat-stlmap-castan.pcap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/pcaps/dpdk-nat-stlmap-castan.pcap -------------------------------------------------------------------------------- /pcaps/dpdk-nat-stlmap-unirand-castan.pcap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/pcaps/dpdk-nat-stlmap-unirand-castan.pcap -------------------------------------------------------------------------------- /pcaps/dpdk-nat-tree-castan.pcap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/pcaps/dpdk-nat-tree-castan.pcap -------------------------------------------------------------------------------- /pcaps/dpdk-nat-tree-manual.pcap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/pcaps/dpdk-nat-tree-manual.pcap -------------------------------------------------------------------------------- /pcaps/dpdk-nat-tree-unirand-castan.pcap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/pcaps/dpdk-nat-tree-unirand-castan.pcap -------------------------------------------------------------------------------- /pcaps/lb-1packet.pcap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/pcaps/lb-1packet.pcap -------------------------------------------------------------------------------- /pcaps/lb-unirand.pcap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/pcaps/lb-unirand.pcap -------------------------------------------------------------------------------- /pcaps/lb-zipf.pcap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/pcaps/lb-zipf.pcap -------------------------------------------------------------------------------- /pcaps/unirand.pcap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/pcaps/unirand.pcap -------------------------------------------------------------------------------- /pcaps/zipf.pcap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/pcaps/zipf.pcap -------------------------------------------------------------------------------- /runtime/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/CMakeLists.txt -------------------------------------------------------------------------------- /runtime/Intrinsic/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/Intrinsic/Makefile -------------------------------------------------------------------------------- /runtime/Intrinsic/Makefile.cmake.bitcode: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/Intrinsic/Makefile.cmake.bitcode -------------------------------------------------------------------------------- /runtime/Intrinsic/klee_div_zero_check.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/Intrinsic/klee_div_zero_check.c -------------------------------------------------------------------------------- /runtime/Intrinsic/klee_int.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/Intrinsic/klee_int.c -------------------------------------------------------------------------------- /runtime/Intrinsic/klee_overshift_check.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/Intrinsic/klee_overshift_check.c -------------------------------------------------------------------------------- /runtime/Intrinsic/klee_range.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/Intrinsic/klee_range.c -------------------------------------------------------------------------------- /runtime/Intrinsic/memcpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/Intrinsic/memcpy.c -------------------------------------------------------------------------------- /runtime/Intrinsic/memmove.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/Intrinsic/memmove.c -------------------------------------------------------------------------------- /runtime/Intrinsic/mempcpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/Intrinsic/mempcpy.c -------------------------------------------------------------------------------- /runtime/Intrinsic/memset.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/Intrinsic/memset.c -------------------------------------------------------------------------------- /runtime/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/Makefile -------------------------------------------------------------------------------- /runtime/Makefile.cmake.bitcode: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/Makefile.cmake.bitcode -------------------------------------------------------------------------------- /runtime/Makefile.cmake.bitcode.config.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/Makefile.cmake.bitcode.config.in -------------------------------------------------------------------------------- /runtime/Makefile.cmake.bitcode.rules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/Makefile.cmake.bitcode.rules -------------------------------------------------------------------------------- /runtime/POSIX/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/POSIX/Makefile -------------------------------------------------------------------------------- /runtime/POSIX/Makefile.cmake.bitcode: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/POSIX/Makefile.cmake.bitcode -------------------------------------------------------------------------------- /runtime/POSIX/fd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/POSIX/fd.c -------------------------------------------------------------------------------- /runtime/POSIX/fd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/POSIX/fd.h -------------------------------------------------------------------------------- /runtime/POSIX/fd_32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/POSIX/fd_32.c -------------------------------------------------------------------------------- /runtime/POSIX/fd_64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/POSIX/fd_64.c -------------------------------------------------------------------------------- /runtime/POSIX/fd_init.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/POSIX/fd_init.c -------------------------------------------------------------------------------- /runtime/POSIX/illegal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/POSIX/illegal.c -------------------------------------------------------------------------------- /runtime/POSIX/klee_init_env.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/POSIX/klee_init_env.c -------------------------------------------------------------------------------- /runtime/POSIX/misc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/POSIX/misc.c -------------------------------------------------------------------------------- /runtime/POSIX/selinux.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/POSIX/selinux.c -------------------------------------------------------------------------------- /runtime/POSIX/stubs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/POSIX/stubs.c -------------------------------------------------------------------------------- /runtime/Runtest/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/Runtest/CMakeLists.txt -------------------------------------------------------------------------------- /runtime/Runtest/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/Runtest/Makefile -------------------------------------------------------------------------------- /runtime/Runtest/intrinsics.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/Runtest/intrinsics.c -------------------------------------------------------------------------------- /runtime/klee-libc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/klee-libc/Makefile -------------------------------------------------------------------------------- /runtime/klee-libc/Makefile.cmake.bitcode: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/klee-libc/Makefile.cmake.bitcode -------------------------------------------------------------------------------- /runtime/klee-libc/__cxa_atexit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/klee-libc/__cxa_atexit.c -------------------------------------------------------------------------------- /runtime/klee-libc/abort.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/klee-libc/abort.c -------------------------------------------------------------------------------- /runtime/klee-libc/atexit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/klee-libc/atexit.c -------------------------------------------------------------------------------- /runtime/klee-libc/atoi.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/klee-libc/atoi.c -------------------------------------------------------------------------------- /runtime/klee-libc/calloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/klee-libc/calloc.c -------------------------------------------------------------------------------- /runtime/klee-libc/htonl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/klee-libc/htonl.c -------------------------------------------------------------------------------- /runtime/klee-libc/klee-choose.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/klee-libc/klee-choose.c -------------------------------------------------------------------------------- /runtime/klee-libc/memchr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/klee-libc/memchr.c -------------------------------------------------------------------------------- /runtime/klee-libc/memcmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/klee-libc/memcmp.c -------------------------------------------------------------------------------- /runtime/klee-libc/memcpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/klee-libc/memcpy.c -------------------------------------------------------------------------------- /runtime/klee-libc/memmove.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/klee-libc/memmove.c -------------------------------------------------------------------------------- /runtime/klee-libc/mempcpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/klee-libc/mempcpy.c -------------------------------------------------------------------------------- /runtime/klee-libc/memset.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/klee-libc/memset.c -------------------------------------------------------------------------------- /runtime/klee-libc/putchar.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/klee-libc/putchar.c -------------------------------------------------------------------------------- /runtime/klee-libc/stpcpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/klee-libc/stpcpy.c -------------------------------------------------------------------------------- /runtime/klee-libc/strcat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/klee-libc/strcat.c -------------------------------------------------------------------------------- /runtime/klee-libc/strchr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/klee-libc/strchr.c -------------------------------------------------------------------------------- /runtime/klee-libc/strcmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/klee-libc/strcmp.c -------------------------------------------------------------------------------- /runtime/klee-libc/strcoll.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/klee-libc/strcoll.c -------------------------------------------------------------------------------- /runtime/klee-libc/strcpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/klee-libc/strcpy.c -------------------------------------------------------------------------------- /runtime/klee-libc/strlen.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/klee-libc/strlen.c -------------------------------------------------------------------------------- /runtime/klee-libc/strncmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/klee-libc/strncmp.c -------------------------------------------------------------------------------- /runtime/klee-libc/strncpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/klee-libc/strncpy.c -------------------------------------------------------------------------------- /runtime/klee-libc/strrchr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/klee-libc/strrchr.c -------------------------------------------------------------------------------- /runtime/klee-libc/strtol.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/klee-libc/strtol.c -------------------------------------------------------------------------------- /runtime/klee-libc/strtoul.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/klee-libc/strtoul.c -------------------------------------------------------------------------------- /runtime/klee-libc/tolower.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/klee-libc/tolower.c -------------------------------------------------------------------------------- /runtime/klee-libc/toupper.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/klee-libc/toupper.c -------------------------------------------------------------------------------- /runtime/klee-uclibc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/runtime/klee-uclibc/Makefile -------------------------------------------------------------------------------- /scripts/IStatsMerge.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/IStatsMerge.py -------------------------------------------------------------------------------- /scripts/IStatsSum.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/IStatsSum.py -------------------------------------------------------------------------------- /scripts/coverageServer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/coverageServer.py -------------------------------------------------------------------------------- /scripts/genTempFiles.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/genTempFiles.sh -------------------------------------------------------------------------------- /scripts/klee-chroot-env: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/klee-chroot-env -------------------------------------------------------------------------------- /scripts/klee-clang: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/klee-clang -------------------------------------------------------------------------------- /scripts/klee-control: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/klee-control -------------------------------------------------------------------------------- /scripts/klee-gcc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/klee-gcc -------------------------------------------------------------------------------- /scripts/make-nf-bars.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/make-nf-bars.sh -------------------------------------------------------------------------------- /scripts/make-plots.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/make-plots.sh -------------------------------------------------------------------------------- /scripts/objdump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/objdump -------------------------------------------------------------------------------- /scripts/pcap_tools/.gitignore: -------------------------------------------------------------------------------- 1 | *.pyc 2 | -------------------------------------------------------------------------------- /scripts/pcap_tools/analyze_zipfian.R: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/pcap_tools/analyze_zipfian.R -------------------------------------------------------------------------------- /scripts/pcap_tools/clear_payloads.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/pcap_tools/clear_payloads.py -------------------------------------------------------------------------------- /scripts/pcap_tools/create_all_flows_pcap.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/pcap_tools/create_all_flows_pcap.py -------------------------------------------------------------------------------- /scripts/pcap_tools/create_dummy_packet.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/pcap_tools/create_dummy_packet.py -------------------------------------------------------------------------------- /scripts/pcap_tools/create_flows_pcap.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/pcap_tools/create_flows_pcap.py -------------------------------------------------------------------------------- /scripts/pcap_tools/extract_flows.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/pcap_tools/extract_flows.py -------------------------------------------------------------------------------- /scripts/pcap_tools/fb-to-pcap.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/pcap_tools/fb-to-pcap.py -------------------------------------------------------------------------------- /scripts/pcap_tools/flow.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/pcap_tools/flow.py -------------------------------------------------------------------------------- /scripts/pcap_tools/pcap_stats.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/pcap_tools/pcap_stats.sh -------------------------------------------------------------------------------- /scripts/perf/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/README -------------------------------------------------------------------------------- /scripts/perf/bench-all-latency-local.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/bench-all-latency-local.sh -------------------------------------------------------------------------------- /scripts/perf/bench-all.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/bench-all.sh -------------------------------------------------------------------------------- /scripts/perf/bench-latency-local.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/bench-latency-local.sh -------------------------------------------------------------------------------- /scripts/perf/bench.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/bench.sh -------------------------------------------------------------------------------- /scripts/perf/clean.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/clean.sh -------------------------------------------------------------------------------- /scripts/perf/clean/middlebox.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/clean/middlebox.sh -------------------------------------------------------------------------------- /scripts/perf/clean/tester.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/clean/tester.sh -------------------------------------------------------------------------------- /scripts/perf/config.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/config.sh -------------------------------------------------------------------------------- /scripts/perf/init-machines.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/init-machines.sh -------------------------------------------------------------------------------- /scripts/perf/init-machines/middlebox.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/init-machines/middlebox.sh -------------------------------------------------------------------------------- /scripts/perf/init-machines/tester.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/init-machines/tester.sh -------------------------------------------------------------------------------- /scripts/perf/learn-castan-costs.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/learn-castan-costs.sh -------------------------------------------------------------------------------- /scripts/perf/moongen/l3-latency-light.lua: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/moongen/l3-latency-light.lua -------------------------------------------------------------------------------- /scripts/perf/moongen/l3-load-find-1p.lua: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/moongen/l3-load-find-1p.lua -------------------------------------------------------------------------------- /scripts/perf/moongen/pcap-find-1p.lua: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/moongen/pcap-find-1p.lua -------------------------------------------------------------------------------- /scripts/perf/moongen/pcap-latency-light.lua: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/moongen/pcap-latency-light.lua -------------------------------------------------------------------------------- /scripts/perf/pcaplist/dpdk-lb-basichash.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/pcaplist/dpdk-lb-basichash.txt -------------------------------------------------------------------------------- /scripts/perf/pcaplist/dpdk-lb-hashring.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/pcaplist/dpdk-lb-hashring.txt -------------------------------------------------------------------------------- /scripts/perf/pcaplist/dpdk-lb-stlmap.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/pcaplist/dpdk-lb-stlmap.txt -------------------------------------------------------------------------------- /scripts/perf/pcaplist/dpdk-lb-tree.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/pcaplist/dpdk-lb-tree.txt -------------------------------------------------------------------------------- /scripts/perf/pcaplist/dpdk-lpm-btrie.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/pcaplist/dpdk-lpm-btrie.txt -------------------------------------------------------------------------------- /scripts/perf/pcaplist/dpdk-lpm-da.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/pcaplist/dpdk-lpm-da.txt -------------------------------------------------------------------------------- /scripts/perf/pcaplist/dpdk-lpm-dpdklpm.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/pcaplist/dpdk-lpm-dpdklpm.txt -------------------------------------------------------------------------------- /scripts/perf/pcaplist/dpdk-nat-cc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/pcaplist/dpdk-nat-cc.txt -------------------------------------------------------------------------------- /scripts/perf/pcaplist/dpdk-nat-dpdkhash.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/pcaplist/dpdk-nat-dpdkhash.txt -------------------------------------------------------------------------------- /scripts/perf/pcaplist/dpdk-nat-hashring.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/pcaplist/dpdk-nat-hashring.txt -------------------------------------------------------------------------------- /scripts/perf/pcaplist/dpdk-nat-ruby.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/pcaplist/dpdk-nat-ruby.txt -------------------------------------------------------------------------------- /scripts/perf/pcaplist/dpdk-nat-stlmap.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/pcaplist/dpdk-nat-stlmap.txt -------------------------------------------------------------------------------- /scripts/perf/pcaplist/dpdk-nat-stlumap.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/pcaplist/dpdk-nat-stlumap.txt -------------------------------------------------------------------------------- /scripts/perf/pcaplist/dpdk-nat-tree.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/pcaplist/dpdk-nat-tree.txt -------------------------------------------------------------------------------- /scripts/perf/pcaplist/dpdk-nop.txt: -------------------------------------------------------------------------------- 1 | 1packet.pcap 2 | -------------------------------------------------------------------------------- /scripts/perf/ptp.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/ptp.patch -------------------------------------------------------------------------------- /scripts/perf/routing-table.pfx2as: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/routing-table.pfx2as -------------------------------------------------------------------------------- /scripts/perf/run-dpdk.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/run-dpdk.sh -------------------------------------------------------------------------------- /scripts/perf/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/run.sh -------------------------------------------------------------------------------- /scripts/perf/setup-machines.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/setup-machines.sh -------------------------------------------------------------------------------- /scripts/perf/setup-machines/install-dpdk.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/setup-machines/install-dpdk.sh -------------------------------------------------------------------------------- /scripts/perf/setup-machines/middlebox.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/setup-machines/middlebox.sh -------------------------------------------------------------------------------- /scripts/perf/setup-machines/tester.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/setup-machines/tester.sh -------------------------------------------------------------------------------- /scripts/perf/start-middlebox.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/start-middlebox.sh -------------------------------------------------------------------------------- /scripts/perf/stop-middlebox.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/stop-middlebox.sh -------------------------------------------------------------------------------- /scripts/perf/test.pcap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/test.pcap -------------------------------------------------------------------------------- /scripts/perf/util/dpdk-functions.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/perf/util/dpdk-functions.sh -------------------------------------------------------------------------------- /scripts/plot-bars.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/plot-bars.sh -------------------------------------------------------------------------------- /scripts/plot-ccdf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/plot-ccdf.sh -------------------------------------------------------------------------------- /scripts/plot-cdf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/plot-cdf.sh -------------------------------------------------------------------------------- /scripts/plot-csv.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/scripts/plot-csv.sh -------------------------------------------------------------------------------- /test/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/CMakeLists.txt -------------------------------------------------------------------------------- /test/CXX/ArrayNew.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/CXX/ArrayNew.cpp -------------------------------------------------------------------------------- /test/CXX/New.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/CXX/New.cpp -------------------------------------------------------------------------------- /test/CXX/SimpleVirtual.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/CXX/SimpleVirtual.cpp -------------------------------------------------------------------------------- /test/CXX/StaticConstructor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/CXX/StaticConstructor.cpp -------------------------------------------------------------------------------- /test/CXX/StaticDestructor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/CXX/StaticDestructor.cpp -------------------------------------------------------------------------------- /test/CXX/Trivial.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/CXX/Trivial.cpp -------------------------------------------------------------------------------- /test/Concrete/BitwiseOps.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Concrete/BitwiseOps.ll -------------------------------------------------------------------------------- /test/Concrete/BoolReadWrite.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Concrete/BoolReadWrite.ll -------------------------------------------------------------------------------- /test/Concrete/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Concrete/CMakeLists.txt -------------------------------------------------------------------------------- /test/Concrete/Casts.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Concrete/Casts.ll -------------------------------------------------------------------------------- /test/Concrete/CmpEq.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Concrete/CmpEq.ll -------------------------------------------------------------------------------- /test/Concrete/ConcreteTest.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Concrete/ConcreteTest.py -------------------------------------------------------------------------------- /test/Concrete/ConstantExpr.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Concrete/ConstantExpr.ll -------------------------------------------------------------------------------- /test/Concrete/FloatingPointOps.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Concrete/FloatingPointOps.ll -------------------------------------------------------------------------------- /test/Concrete/GlobalInitializers.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Concrete/GlobalInitializers.ll -------------------------------------------------------------------------------- /test/Concrete/GlobalUndef.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Concrete/GlobalUndef.ll -------------------------------------------------------------------------------- /test/Concrete/GlobalVariable.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Concrete/GlobalVariable.ll -------------------------------------------------------------------------------- /test/Concrete/ICmp.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Concrete/ICmp.ll -------------------------------------------------------------------------------- /test/Concrete/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Concrete/Makefile -------------------------------------------------------------------------------- /test/Concrete/Makefile.cmake.test.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Concrete/Makefile.cmake.test.in -------------------------------------------------------------------------------- /test/Concrete/OneCall.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Concrete/OneCall.ll -------------------------------------------------------------------------------- /test/Concrete/OverlappingPhiNodes.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Concrete/OverlappingPhiNodes.ll -------------------------------------------------------------------------------- /test/Concrete/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Concrete/README.txt -------------------------------------------------------------------------------- /test/Concrete/Select.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Concrete/Select.ll -------------------------------------------------------------------------------- /test/Concrete/Shifts.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Concrete/Shifts.ll -------------------------------------------------------------------------------- /test/Concrete/SimpleStoreAndLoad.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Concrete/SimpleStoreAndLoad.ll -------------------------------------------------------------------------------- /test/Concrete/UnconditionalBranch.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Concrete/UnconditionalBranch.ll -------------------------------------------------------------------------------- /test/Concrete/UnorderedPhiNodes.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Concrete/UnorderedPhiNodes.ll -------------------------------------------------------------------------------- /test/Concrete/_testingUtils.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Concrete/_testingUtils.c -------------------------------------------------------------------------------- /test/Concrete/ackermann.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Concrete/ackermann.c -------------------------------------------------------------------------------- /test/Concrete/arith_test.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Concrete/arith_test.ll -------------------------------------------------------------------------------- /test/Coverage/ReadArgs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Coverage/ReadArgs.c -------------------------------------------------------------------------------- /test/Coverage/ReplayOutDir.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Coverage/ReplayOutDir.c -------------------------------------------------------------------------------- /test/Dogfood/ImmutableSet.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Dogfood/ImmutableSet.cpp -------------------------------------------------------------------------------- /test/Expr/Evaluate.pc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Expr/Evaluate.pc -------------------------------------------------------------------------------- /test/Expr/Evaluate2.pc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Expr/Evaluate2.pc -------------------------------------------------------------------------------- /test/Expr/Lexer/Numbers.pc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Expr/Lexer/Numbers.pc -------------------------------------------------------------------------------- /test/Expr/Parser/Concat64.pc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Expr/Parser/Concat64.pc -------------------------------------------------------------------------------- /test/Expr/Parser/ConstantFolding.pc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Expr/Parser/ConstantFolding.pc -------------------------------------------------------------------------------- /test/Expr/Parser/Exprs.pc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Expr/Parser/Exprs.pc -------------------------------------------------------------------------------- /test/Expr/Parser/MultiByteReads.pc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Expr/Parser/MultiByteReads.pc -------------------------------------------------------------------------------- /test/Expr/Parser/Simplify.pc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Expr/Parser/Simplify.pc -------------------------------------------------------------------------------- /test/Expr/Parser/TypeChecking.pc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Expr/Parser/TypeChecking.pc -------------------------------------------------------------------------------- /test/Expr/print-smt-let.pc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Expr/print-smt-let.pc -------------------------------------------------------------------------------- /test/Expr/print-smt-let.smt2.good: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Expr/print-smt-let.smt2.good -------------------------------------------------------------------------------- /test/Expr/print-smt-named.pc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Expr/print-smt-named.pc -------------------------------------------------------------------------------- /test/Expr/print-smt-named.smt2.good: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Expr/print-smt-named.smt2.good -------------------------------------------------------------------------------- /test/Expr/print-smt-none.pc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Expr/print-smt-none.pc -------------------------------------------------------------------------------- /test/Expr/print-smt-none.smt2.good: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Expr/print-smt-none.smt2.good -------------------------------------------------------------------------------- /test/Feature/Alias.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/Alias.c -------------------------------------------------------------------------------- /test/Feature/AliasFunction.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/AliasFunction.c -------------------------------------------------------------------------------- /test/Feature/AliasFunctionExit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/AliasFunctionExit.c -------------------------------------------------------------------------------- /test/Feature/BFSSearcher.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/BFSSearcher.c -------------------------------------------------------------------------------- /test/Feature/BitcastAlias.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/BitcastAlias.ll -------------------------------------------------------------------------------- /test/Feature/BitcastAliasMD2U.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/BitcastAliasMD2U.ll -------------------------------------------------------------------------------- /test/Feature/ByteSwap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/ByteSwap.c -------------------------------------------------------------------------------- /test/Feature/CallToUndefinedExternal.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/CallToUndefinedExternal.cpp -------------------------------------------------------------------------------- /test/Feature/CheckForImpliedValue.c.failing: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/CheckForImpliedValue.c.failing -------------------------------------------------------------------------------- /test/Feature/CheckMemoryAccess.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/CheckMemoryAccess.c -------------------------------------------------------------------------------- /test/Feature/CompressedExprLogging.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/CompressedExprLogging.c -------------------------------------------------------------------------------- /test/Feature/ConstantStruct.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/ConstantStruct.ll -------------------------------------------------------------------------------- /test/Feature/CopyOnWrite.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/CopyOnWrite.c -------------------------------------------------------------------------------- /test/Feature/DanglingConcreteReadExpr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/DanglingConcreteReadExpr.c -------------------------------------------------------------------------------- /test/Feature/DefineFixedObject.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/DefineFixedObject.c -------------------------------------------------------------------------------- /test/Feature/DeterministicSwitch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/DeterministicSwitch.c -------------------------------------------------------------------------------- /test/Feature/DoubleFree.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/DoubleFree.c -------------------------------------------------------------------------------- /test/Feature/DumpStatesOnHalt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/DumpStatesOnHalt.c -------------------------------------------------------------------------------- /test/Feature/EntryPoint.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/EntryPoint.c -------------------------------------------------------------------------------- /test/Feature/Envp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/Envp.c -------------------------------------------------------------------------------- /test/Feature/ExitOnErrorType.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/ExitOnErrorType.c -------------------------------------------------------------------------------- /test/Feature/ExprLogging.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/ExprLogging.c -------------------------------------------------------------------------------- /test/Feature/ExternalWeakLinkage.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/ExternalWeakLinkage.c -------------------------------------------------------------------------------- /test/Feature/Float.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/Float.c -------------------------------------------------------------------------------- /test/Feature/FloatingPt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/FloatingPt.c -------------------------------------------------------------------------------- /test/Feature/FunctionPointer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/FunctionPointer.c -------------------------------------------------------------------------------- /test/Feature/GetElementPtr.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/GetElementPtr.ll -------------------------------------------------------------------------------- /test/Feature/GetValue.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/GetValue.c -------------------------------------------------------------------------------- /test/Feature/ImpliedValue.c.failing: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/ImpliedValue.c.failing -------------------------------------------------------------------------------- /test/Feature/InAndOutOfBounds.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/InAndOutOfBounds.c -------------------------------------------------------------------------------- /test/Feature/IndirectCallToBuiltin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/IndirectCallToBuiltin.c -------------------------------------------------------------------------------- /test/Feature/IndirectCallToExternal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/IndirectCallToExternal.c -------------------------------------------------------------------------------- /test/Feature/InsertExtractValue.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/InsertExtractValue.ll -------------------------------------------------------------------------------- /test/Feature/IntrinsicTrap.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/IntrinsicTrap.ll -------------------------------------------------------------------------------- /test/Feature/IsSymbolic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/IsSymbolic.c -------------------------------------------------------------------------------- /test/Feature/KleeReportError.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/KleeReportError.c -------------------------------------------------------------------------------- /test/Feature/LargeReturnTypes.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/LargeReturnTypes.cpp -------------------------------------------------------------------------------- /test/Feature/LinkLLVMLib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/LinkLLVMLib.c -------------------------------------------------------------------------------- /test/Feature/LoggingInstructions.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/LoggingInstructions.c -------------------------------------------------------------------------------- /test/Feature/LongDouble.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/LongDouble.cpp -------------------------------------------------------------------------------- /test/Feature/LongDoubleSupport.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/LongDoubleSupport.c -------------------------------------------------------------------------------- /test/Feature/LowerSwitch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/LowerSwitch.c -------------------------------------------------------------------------------- /test/Feature/MakeConcreteSymbolic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/MakeConcreteSymbolic.c -------------------------------------------------------------------------------- /test/Feature/MakeSymbolicName.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/MakeSymbolicName.c -------------------------------------------------------------------------------- /test/Feature/MemoryLimit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/MemoryLimit.c -------------------------------------------------------------------------------- /test/Feature/MultiMkSym.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/MultiMkSym.c -------------------------------------------------------------------------------- /test/Feature/MultipleFreeResolution.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/MultipleFreeResolution.c -------------------------------------------------------------------------------- /test/Feature/MultipleReadResolution.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/MultipleReadResolution.c -------------------------------------------------------------------------------- /test/Feature/MultipleReallocResolution.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/MultipleReallocResolution.c -------------------------------------------------------------------------------- /test/Feature/MultipleWriteResolution.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/MultipleWriteResolution.c -------------------------------------------------------------------------------- /test/Feature/NamedSeedMatching.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/NamedSeedMatching.c -------------------------------------------------------------------------------- /test/Feature/NonSizedGlobals.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/NonSizedGlobals.c -------------------------------------------------------------------------------- /test/Feature/OneFreeError.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/OneFreeError.c -------------------------------------------------------------------------------- /test/Feature/OneOutOfBounds.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/OneOutOfBounds.c -------------------------------------------------------------------------------- /test/Feature/Optimize.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/Optimize.c -------------------------------------------------------------------------------- /test/Feature/Overflow.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/Overflow.ll -------------------------------------------------------------------------------- /test/Feature/OverflowMul.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/OverflowMul.ll -------------------------------------------------------------------------------- /test/Feature/OverlappedError.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/OverlappedError.c -------------------------------------------------------------------------------- /test/Feature/OvershiftCheck.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/OvershiftCheck.c -------------------------------------------------------------------------------- /test/Feature/PreferCex.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/PreferCex.c -------------------------------------------------------------------------------- /test/Feature/RaiseAsm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/RaiseAsm.c -------------------------------------------------------------------------------- /test/Feature/Realloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/Realloc.c -------------------------------------------------------------------------------- /test/Feature/ReplayPath.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/ReplayPath.c -------------------------------------------------------------------------------- /test/Feature/RewriteEqualities.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/RewriteEqualities.c -------------------------------------------------------------------------------- /test/Feature/Searchers.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/Searchers.c -------------------------------------------------------------------------------- /test/Feature/SetForking.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/SetForking.c -------------------------------------------------------------------------------- /test/Feature/SilentKleeAssume.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/SilentKleeAssume.c -------------------------------------------------------------------------------- /test/Feature/SolverTimeout.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/SolverTimeout.c -------------------------------------------------------------------------------- /test/Feature/SourceMapping.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/SourceMapping.c -------------------------------------------------------------------------------- /test/Feature/StatesCoveringNew.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/StatesCoveringNew.c -------------------------------------------------------------------------------- /test/Feature/VarArgLongDouble.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/VarArgLongDouble.c -------------------------------------------------------------------------------- /test/Feature/Vararg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/Vararg.c -------------------------------------------------------------------------------- /test/Feature/WithLibc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/WithLibc.c -------------------------------------------------------------------------------- /test/Feature/WriteCov.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/WriteCov.c -------------------------------------------------------------------------------- /test/Feature/_utils._ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/_utils._ll -------------------------------------------------------------------------------- /test/Feature/consecutive_divide_by_zero.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/consecutive_divide_by_zero.c -------------------------------------------------------------------------------- /test/Feature/const_array_opt1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/const_array_opt1.c -------------------------------------------------------------------------------- /test/Feature/left-overshift-sym-conc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/left-overshift-sym-conc.c -------------------------------------------------------------------------------- /test/Feature/srem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/srem.c -------------------------------------------------------------------------------- /test/Feature/ubsan_signed_overflow.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/ubsan_signed_overflow.c -------------------------------------------------------------------------------- /test/Feature/ubsan_unsigned_overflow.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/ubsan_unsigned_overflow.c -------------------------------------------------------------------------------- /test/Feature/utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Feature/utils.h -------------------------------------------------------------------------------- /test/Intrinsics/objectsize.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Intrinsics/objectsize.ll -------------------------------------------------------------------------------- /test/Intrinsics/objectsize.llvm29.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Intrinsics/objectsize.llvm29.ll -------------------------------------------------------------------------------- /test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Makefile -------------------------------------------------------------------------------- /test/Makefile.tests: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Makefile.tests -------------------------------------------------------------------------------- /test/Programs/pcregrep.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Programs/pcregrep.c -------------------------------------------------------------------------------- /test/README: -------------------------------------------------------------------------------- 1 | about tests.... 2 | -------------------------------------------------------------------------------- /test/Runtime/POSIX/DirConsistency.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Runtime/POSIX/DirConsistency.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/DirSeek.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Runtime/POSIX/DirSeek.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/FDNumbers.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Runtime/POSIX/FDNumbers.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/FD_Fail.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Runtime/POSIX/FD_Fail.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/FD_Fail2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Runtime/POSIX/FD_Fail2.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/Fcntl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Runtime/POSIX/Fcntl.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/FilePerm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Runtime/POSIX/FilePerm.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/FreeArgv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Runtime/POSIX/FreeArgv.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/Futimesat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Runtime/POSIX/Futimesat.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/Getenv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Runtime/POSIX/Getenv.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/Ioctl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Runtime/POSIX/Ioctl.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/Isatty.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Runtime/POSIX/Isatty.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/Openat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Runtime/POSIX/Openat.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/PrgName.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Runtime/POSIX/PrgName.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/Read1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Runtime/POSIX/Read1.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/SELinux/SELinux.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Runtime/POSIX/SELinux/SELinux.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/SELinux/lit.local.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Runtime/POSIX/SELinux/lit.local.cfg -------------------------------------------------------------------------------- /test/Runtime/POSIX/SeedAndFail.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Runtime/POSIX/SeedAndFail.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/Stdin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Runtime/POSIX/Stdin.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/Write1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Runtime/POSIX/Write1.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/Write2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Runtime/POSIX/Write2.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/lit.local.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Runtime/POSIX/lit.local.cfg -------------------------------------------------------------------------------- /test/Runtime/Uclibc/Environ.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Runtime/Uclibc/Environ.c -------------------------------------------------------------------------------- /test/Runtime/Uclibc/lit.local.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Runtime/Uclibc/lit.local.cfg -------------------------------------------------------------------------------- /test/Solver/AShr_to_smtlib.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Solver/AShr_to_smtlib.kquery -------------------------------------------------------------------------------- /test/Solver/AShr_to_smtlib.kquery.good.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Solver/AShr_to_smtlib.kquery.good.smt2 -------------------------------------------------------------------------------- /test/Solver/FastCexSolver.pc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Solver/FastCexSolver.pc -------------------------------------------------------------------------------- /test/Solver/LargeIntegers.pc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Solver/LargeIntegers.pc -------------------------------------------------------------------------------- /test/Solver/lit.local.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/Solver/lit.local.cfg -------------------------------------------------------------------------------- /test/TestRunner.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/TestRunner.sh -------------------------------------------------------------------------------- /test/lit.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/lit.cfg -------------------------------------------------------------------------------- /test/lit.site.cfg.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/lit.site.cfg.in -------------------------------------------------------------------------------- /test/regression/2007-07-30-unflushed-byte.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/regression/2007-07-30-unflushed-byte.c -------------------------------------------------------------------------------- /test/regression/2007-08-06-64bit-shift.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/regression/2007-08-06-64bit-shift.c -------------------------------------------------------------------------------- /test/regression/2007-08-08-free-zero.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/regression/2007-08-08-free-zero.c -------------------------------------------------------------------------------- /test/regression/2007-10-11-free-of-alloca.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/regression/2007-10-11-free-of-alloca.c -------------------------------------------------------------------------------- /test/regression/2008-03-04-free-of-global.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/regression/2008-03-04-free-of-global.c -------------------------------------------------------------------------------- /test/regression/2014-12-08-ashr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/regression/2014-12-08-ashr.c -------------------------------------------------------------------------------- /test/regression/2015-06-22-struct-write.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/regression/2015-06-22-struct-write.c -------------------------------------------------------------------------------- /test/regression/2015-08-30-sdiv-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/regression/2015-08-30-sdiv-1.c -------------------------------------------------------------------------------- /test/regression/2016-04-14-sdiv-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/regression/2016-04-14-sdiv-2.c -------------------------------------------------------------------------------- /test/regression/2016-06-28-div-zero-bug.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/regression/2016-06-28-div-zero-bug.c -------------------------------------------------------------------------------- /test/regression/2016-08-12-empty-file.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/regression/2016-08-12-empty-file.c -------------------------------------------------------------------------------- /test/regression/lit.local.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/test/regression/lit.local.cfg -------------------------------------------------------------------------------- /tools/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/tools/CMakeLists.txt -------------------------------------------------------------------------------- /tools/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/tools/Makefile -------------------------------------------------------------------------------- /tools/castan/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/tools/castan/CMakeLists.txt -------------------------------------------------------------------------------- /tools/castan/Debug.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/tools/castan/Debug.cpp -------------------------------------------------------------------------------- /tools/castan/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/tools/castan/Makefile -------------------------------------------------------------------------------- /tools/castan/castan.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/tools/castan/castan.cpp -------------------------------------------------------------------------------- /tools/gen-random-bout/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/tools/gen-random-bout/CMakeLists.txt -------------------------------------------------------------------------------- /tools/gen-random-bout/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/tools/gen-random-bout/Makefile -------------------------------------------------------------------------------- /tools/gen-random-bout/gen-random-bout.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/tools/gen-random-bout/gen-random-bout.cpp -------------------------------------------------------------------------------- /tools/kleaver/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/tools/kleaver/CMakeLists.txt -------------------------------------------------------------------------------- /tools/kleaver/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/tools/kleaver/Makefile -------------------------------------------------------------------------------- /tools/kleaver/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/tools/kleaver/main.cpp -------------------------------------------------------------------------------- /tools/klee-replay/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/tools/klee-replay/CMakeLists.txt -------------------------------------------------------------------------------- /tools/klee-replay/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/tools/klee-replay/Makefile -------------------------------------------------------------------------------- /tools/klee-replay/fd_init.c: -------------------------------------------------------------------------------- 1 | #include "../../runtime/POSIX/fd_init.c" 2 | -------------------------------------------------------------------------------- /tools/klee-replay/file-creator.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/tools/klee-replay/file-creator.c -------------------------------------------------------------------------------- /tools/klee-replay/klee-replay.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/tools/klee-replay/klee-replay.c -------------------------------------------------------------------------------- /tools/klee-replay/klee-replay.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/tools/klee-replay/klee-replay.h -------------------------------------------------------------------------------- /tools/klee-replay/klee_init_env.c: -------------------------------------------------------------------------------- 1 | #include "../../runtime/POSIX/klee_init_env.c" 2 | -------------------------------------------------------------------------------- /tools/klee-stats/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/tools/klee-stats/CMakeLists.txt -------------------------------------------------------------------------------- /tools/klee-stats/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/tools/klee-stats/Makefile -------------------------------------------------------------------------------- /tools/klee-stats/klee-stats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/tools/klee-stats/klee-stats -------------------------------------------------------------------------------- /tools/klee/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/tools/klee/CMakeLists.txt -------------------------------------------------------------------------------- /tools/klee/Debug.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/tools/klee/Debug.cpp -------------------------------------------------------------------------------- /tools/klee/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/tools/klee/Makefile -------------------------------------------------------------------------------- /tools/klee/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/tools/klee/main.cpp -------------------------------------------------------------------------------- /tools/ktest-tool/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/tools/ktest-tool/CMakeLists.txt -------------------------------------------------------------------------------- /tools/ktest-tool/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/tools/ktest-tool/Makefile -------------------------------------------------------------------------------- /tools/ktest-tool/ktest-tool: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/tools/ktest-tool/ktest-tool -------------------------------------------------------------------------------- /tools/ktest2pcap/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/tools/ktest2pcap/CMakeLists.txt -------------------------------------------------------------------------------- /tools/ktest2pcap/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/tools/ktest2pcap/Makefile -------------------------------------------------------------------------------- /tools/ktest2pcap/ktest2pcap.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/tools/ktest2pcap/ktest2pcap.cpp -------------------------------------------------------------------------------- /unittests/Assignment/AssignmentTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/unittests/Assignment/AssignmentTest.cpp -------------------------------------------------------------------------------- /unittests/Assignment/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/unittests/Assignment/CMakeLists.txt -------------------------------------------------------------------------------- /unittests/Assignment/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/unittests/Assignment/Makefile -------------------------------------------------------------------------------- /unittests/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/unittests/CMakeLists.txt -------------------------------------------------------------------------------- /unittests/Expr/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/unittests/Expr/CMakeLists.txt -------------------------------------------------------------------------------- /unittests/Expr/ExprTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/unittests/Expr/ExprTest.cpp -------------------------------------------------------------------------------- /unittests/Expr/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/unittests/Expr/Makefile -------------------------------------------------------------------------------- /unittests/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/unittests/Makefile -------------------------------------------------------------------------------- /unittests/Ref/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/unittests/Ref/CMakeLists.txt -------------------------------------------------------------------------------- /unittests/Ref/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/unittests/Ref/Makefile -------------------------------------------------------------------------------- /unittests/Ref/RefTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/unittests/Ref/RefTest.cpp -------------------------------------------------------------------------------- /unittests/Solver/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/unittests/Solver/CMakeLists.txt -------------------------------------------------------------------------------- /unittests/Solver/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/unittests/Solver/Makefile -------------------------------------------------------------------------------- /unittests/Solver/SolverTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/unittests/Solver/SolverTest.cpp -------------------------------------------------------------------------------- /unittests/TestMain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/unittests/TestMain.cpp -------------------------------------------------------------------------------- /unittests/lit-unit-tests-common.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/unittests/lit-unit-tests-common.cfg -------------------------------------------------------------------------------- /unittests/lit-unit-tests-common.site.cfg.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/unittests/lit-unit-tests-common.site.cfg.in -------------------------------------------------------------------------------- /utils/data/Queries/pcresymperf-3.pc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/utils/data/Queries/pcresymperf-3.pc -------------------------------------------------------------------------------- /utils/data/Queries/pcresymperf-4.pc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/utils/data/Queries/pcresymperf-4.pc -------------------------------------------------------------------------------- /utils/emacs/klee-pc-mode.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/utils/emacs/klee-pc-mode.el -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/Animate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/utils/hacks/TreeGraphs/Animate.py -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/DumpTreeStream.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/utils/hacks/TreeGraphs/DumpTreeStream.py -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/Graphics/Geometry/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/Graphics/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/utils/hacks/TreeGraphs/Graphics/__init__.py -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/utils/hacks/TreeGraphs/README.txt -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/TreeGraph.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/utils/hacks/TreeGraphs/TreeGraph.py -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/inputs/symPaths.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/utils/hacks/TreeGraphs/inputs/symPaths.ts -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/inputs/symPaths6.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/utils/hacks/TreeGraphs/inputs/symPaths6.ts -------------------------------------------------------------------------------- /utils/sanitizers/lsan.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/utils/sanitizers/lsan.txt -------------------------------------------------------------------------------- /utils/valgrind/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/utils/valgrind/README.txt -------------------------------------------------------------------------------- /utils/valgrind/valgrind-llvm.supp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/utils/valgrind/valgrind-llvm.supp -------------------------------------------------------------------------------- /utils/valgrind/valgrind-stp.supp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nal-epfl/castan/HEAD/utils/valgrind/valgrind-stp.supp --------------------------------------------------------------------------------