├── .gitignore ├── .gitlab-ci.yml ├── Dockerfile ├── LICENSE ├── README.md ├── bap-notes ├── 01-preliminaries │ ├── 01-Documentation-and-help.md │ ├── 02-Running-with-docker.md │ ├── 03-Using-the-CLI.md │ ├── 04-Using-BAP-in-utop.md │ ├── 05-Plugins.md │ ├── 06-Organizing-files.md │ ├── 07-Extensions.md │ ├── 08-Extension-errors.md │ ├── 09-Passes.md │ ├── 10-Multiple-passes.md │ ├── 11-Parameters.md │ ├── 12-Logging.md │ ├── 13-Custom-commands.md │ ├── 14-Custom-command-errors.md │ └── 15-Using-BAP-as-a-library.md ├── 02-knowledge-base │ ├── 01-About-the-KB.md │ ├── 02-KB-classes.md │ ├── 03-Multisorted-KB-classes.md │ ├── 04-KB-domains.md │ ├── 05-KB-slots.md │ ├── 06-KB-objects.md │ ├── 07-KB-promises.md │ ├── 08-KB-snapshots.md │ └── 09-Toplevel-eval.md ├── 03-compilation-units │ ├── 01-About-compilation-units.md │ ├── 02-KB-labels.md │ ├── 03-More-about-KB-labels.md │ ├── 04-Compilation-units.md │ ├── 05-Objects-inside-objects.md │ ├── 06-KB-targets.md │ ├── 07-Memory.md │ └── 08-Looking-up-labels.md ├── 04-semantics │ ├── 01-About-BAP-semantics.md │ ├── 02-Providing-semantics.md │ ├── 03-Promising-semantics.md │ ├── 04-Variable-assignments.md │ ├── 05-Multiple-variable-assignments.md │ ├── 06-Compiling-to-core-theory-programs.md │ └── 07-Custom-theories.md ├── 05-KB-analyses │ ├── 01-About-KB-analyses.md │ ├── 02-A-hello-world-analysis.md │ └── 03-A-more-complex-analysis.md └── README.md ├── bap_angr ├── README.md ├── cg_similarity_score_data.md └── static_vsa_data.md ├── bildb ├── .gitignore ├── Makefile ├── README.md ├── bildb.ml ├── example.yml ├── init.yml ├── lib │ ├── bildb_cursor.ml │ ├── bildb_cursor.mli │ ├── bildb_init.ml │ ├── bildb_init.mli │ ├── bildb_position.ml │ ├── bildb_position.mli │ ├── bildb_startup.ml │ ├── bildb_startup.mli │ ├── bildb_state.ml │ ├── bildb_state.mli │ ├── bildb_tty.ml │ ├── bildb_tty.mli │ ├── bildb_ui.ml │ ├── bildb_ui.mli │ ├── bildb_utils.ml │ ├── bildb_utils.mli │ └── screens │ │ ├── bildb_architecture.ml │ │ ├── bildb_architecture.mli │ │ ├── bildb_blocks.ml │ │ ├── bildb_blocks.mli │ │ ├── bildb_breakpoints.ml │ │ ├── bildb_breakpoints.mli │ │ ├── bildb_debugger.ml │ │ ├── bildb_debugger.mli │ │ ├── bildb_halts.ml │ │ ├── bildb_halts.mli │ │ ├── bildb_help.ml │ │ ├── bildb_help.mli │ │ ├── bildb_initialization.ml │ │ ├── bildb_initialization.mli │ │ ├── bildb_locations.ml │ │ ├── bildb_locations.mli │ │ ├── bildb_subroutines.ml │ │ ├── bildb_subroutines.mli │ │ ├── bildb_variables.ml │ │ ├── bildb_variables.mli │ │ ├── bildb_whole_program.ml │ │ └── bildb_whole_program.mli └── resources │ ├── Makefile │ ├── README.md │ └── main.c ├── docs ├── .gitignore ├── cbat.css ├── cbat_logo.png ├── doc │ └── html │ │ ├── bap_wp │ │ ├── Bap_wp │ │ │ ├── .dummy │ │ │ ├── Bil_to_bir │ │ │ │ └── index.html │ │ │ ├── Compare │ │ │ │ └── index.html │ │ │ ├── Constraint │ │ │ │ └── index.html │ │ │ ├── Environment │ │ │ │ └── index.html │ │ │ ├── Loader │ │ │ │ └── index.html │ │ │ ├── Output │ │ │ │ └── index.html │ │ │ ├── Precondition │ │ │ │ └── index.html │ │ │ ├── Ps │ │ │ │ ├── Cmd │ │ │ │ │ └── index.html │ │ │ │ └── index.html │ │ │ ├── Run_parameters │ │ │ │ └── index.html │ │ │ ├── Runner │ │ │ │ └── index.html │ │ │ ├── Symbol │ │ │ │ └── index.html │ │ │ ├── Utils │ │ │ │ ├── Code_addrs │ │ │ │ │ └── index.html │ │ │ │ ├── Option_let │ │ │ │ │ └── index.html │ │ │ │ └── index.html │ │ │ ├── Z3_utils │ │ │ │ └── index.html │ │ │ └── index.html │ │ └── index.html │ │ ├── highlight.pack.js │ │ ├── index.html │ │ └── odoc.css ├── exercises.html ├── exercises │ ├── 01 │ │ ├── binary │ │ │ ├── Makefile │ │ │ ├── main │ │ │ └── main.c │ │ ├── exercise.html │ │ └── solution.html │ ├── 02 │ │ ├── binary │ │ │ ├── Makefile │ │ │ ├── main │ │ │ └── main.c │ │ ├── exercise.html │ │ └── solution.html │ ├── 03 │ │ ├── binary │ │ │ ├── Makefile │ │ │ ├── main_1 │ │ │ ├── main_1.c │ │ │ ├── main_2 │ │ │ └── main_2.c │ │ ├── exercise.html │ │ └── solution.html │ └── 04 │ │ ├── binary │ │ ├── Makefile │ │ ├── main_1 │ │ ├── main_1.c │ │ ├── main_2 │ │ └── main_2.c │ │ ├── exercise.html │ │ └── solution.html ├── index.html ├── installation.html ├── reference.html ├── tutorial.html └── tutorial │ ├── 01 │ └── binary │ │ ├── Makefile │ │ ├── main │ │ └── main.c │ ├── 02 │ └── binary │ │ ├── Makefile │ │ ├── main │ │ └── main.c │ ├── 03 │ └── binary │ │ ├── Makefile │ │ ├── main │ │ ├── main.c │ │ ├── main_fixed │ │ └── main_fixed.c │ ├── 04 │ └── binary │ │ ├── Makefile │ │ ├── main_1 │ │ ├── main_1.c │ │ ├── main_2 │ │ └── main_2.c │ ├── 05 │ └── binary │ │ ├── Makefile │ │ ├── main_1 │ │ ├── main_1.c │ │ ├── main_2 │ │ └── main_2.c │ ├── 06 │ └── binary │ │ ├── Makefile │ │ ├── main │ │ └── main.c │ ├── 07 │ └── binary │ │ ├── Makefile │ │ ├── main │ │ └── main.c │ └── 08 │ └── binary │ ├── Makefile │ ├── main_1 │ ├── main_1.c │ ├── main_2 │ └── main_2.c ├── vsa ├── README.md ├── explicit_edge │ ├── .merlin │ ├── Makefile │ ├── README.md │ └── explicit_edge.ml └── value_set │ ├── .gitignore │ ├── Makefile │ ├── README.md │ ├── lib │ ├── Makefile │ ├── cbat_value_set.opam │ ├── dune-project │ └── src │ │ ├── cbat_ai_memmap.ml │ │ ├── cbat_ai_memmap.mli │ │ ├── cbat_ai_representation.ml │ │ ├── cbat_ai_representation.mli │ │ ├── cbat_back_edges.ml │ │ ├── cbat_back_edges.mli │ │ ├── cbat_clp.ml │ │ ├── cbat_clp.mli │ │ ├── cbat_clp_set_composite.ml │ │ ├── cbat_clp_set_composite.mli │ │ ├── cbat_contextual_fixpoint.ml │ │ ├── cbat_contextual_fixpoint.mli │ │ ├── cbat_fin_set.ml │ │ ├── cbat_fin_set.mli │ │ ├── cbat_lattice_intf.ml │ │ ├── cbat_map_lattice.ml │ │ ├── cbat_map_lattice.mli │ │ ├── cbat_vsa.ml │ │ ├── cbat_vsa.mli │ │ ├── cbat_vsa_utils.ml │ │ ├── cbat_word_ops.ml │ │ ├── cbat_word_ops.mli │ │ ├── cbat_wordset_intf.ml │ │ └── dune │ ├── plugin │ ├── Makefile │ └── value_set.ml │ └── unit_tests │ ├── Makefile │ ├── ai_memmap_test.ml │ ├── clp_test.ml │ ├── map_lattice_test.ml │ ├── test.ml │ ├── test_utils.ml │ ├── test_utils.mli │ └── word_ops_test.ml └── wp ├── Makefile ├── README.md ├── lib └── bap_wp │ ├── .gitignore │ ├── Makefile │ ├── README.md │ ├── bap_wp.opam │ ├── dune-project │ ├── src │ ├── bil_to_bir.ml │ ├── bil_to_bir.mli │ ├── cfg_path.ml │ ├── cfg_path.mli │ ├── compare.ml │ ├── compare.mli │ ├── constraint.ml │ ├── constraint.mli │ ├── dune │ ├── environment.ml │ ├── environment.mli │ ├── loader.ml │ ├── loader.mli │ ├── output.ml │ ├── output.mli │ ├── precondition.ml │ ├── precondition.mli │ ├── ps.ml │ ├── ps.mli │ ├── run_parameters.ml │ ├── run_parameters.mli │ ├── runner.ml │ ├── runner.mli │ ├── symbol.ml │ ├── symbol.mli │ ├── utils.ml │ ├── utils.mli │ ├── z3_utils.ml │ └── z3_utils.mli │ └── tests │ ├── performance │ ├── dune │ ├── test.ml │ └── test_precondition.ml │ └── unit │ ├── dune │ ├── test.ml │ ├── test_cfg_path.ml │ ├── test_compare.ml │ ├── test_constraint.ml │ ├── test_output.ml │ ├── test_precondition.ml │ ├── test_utils.ml │ ├── test_z3_utils.ml │ └── testing_utilities.ml ├── plugin ├── .merlin ├── Makefile ├── README.md ├── api │ └── c │ │ ├── cbat.h │ │ └── cbat_libc.h ├── design_decisions.md ├── lib │ ├── wp_analysis.ml │ ├── wp_analysis.mli │ ├── wp_cache.ml │ ├── wp_cache.mli │ ├── wp_utils.ml │ └── wp_utils.mli ├── tests │ ├── Makefile │ ├── dune-project │ ├── integration │ │ ├── dune │ │ ├── test.ml │ │ └── test_wp_integration.ml │ ├── test_libs │ │ ├── dune │ │ └── test_wp_utils.ml │ └── unit │ │ ├── dune │ │ ├── test.ml │ │ ├── test_parameters.ml │ │ └── test_wp_unit.ml └── wp.ml ├── resources ├── images │ ├── cfg_mod.svg │ ├── cfg_orig.svg │ ├── large_cfg.svg │ └── process_status_diff.png └── sample_binaries │ ├── Makefile │ ├── arm │ ├── Makefile │ ├── function_spec │ │ ├── Makefile │ │ ├── bin │ │ │ └── main │ │ ├── run_wp.sh │ │ ├── run_wp_inline.sh │ │ └── src │ │ │ └── main.c │ ├── mem_comparison │ │ ├── Makefile │ │ ├── bin │ │ │ ├── main_1 │ │ │ └── main_2 │ │ ├── run_wp.sh │ │ └── src │ │ │ ├── main_1.c │ │ │ └── main_2.c │ └── simple_compare │ │ ├── Makefile │ │ ├── bin │ │ └── main.o │ │ ├── run_wp_r1.sh │ │ ├── run_wp_r2.sh │ │ └── src │ │ └── main.asm │ ├── cbat-multicompiler-samples │ ├── Makefile │ ├── build-helper.sh │ ├── csmith │ │ ├── bin │ │ │ ├── csmith-10684 │ │ │ ├── csmith-16812 │ │ │ ├── csmith-17669 │ │ │ ├── csmith-5635 │ │ │ └── csmith-7545 │ │ ├── run_wp.sh │ │ ├── run_wp_inline.sh │ │ └── src │ │ │ └── csmith.c │ ├── equiv_argc │ │ ├── bin │ │ │ ├── equiv_argc-15688 │ │ │ ├── equiv_argc-17506 │ │ │ ├── equiv_argc-25706 │ │ │ ├── equiv_argc-6404 │ │ │ └── equiv_argc-6487 │ │ ├── run_wp.sh │ │ └── src │ │ │ └── equiv_argc.c │ └── switch_case_assignments │ │ ├── bin │ │ ├── switch_case_assignments-23908 │ │ ├── switch_case_assignments-26471 │ │ ├── switch_case_assignments-27596 │ │ ├── switch_case_assignments-28527 │ │ └── switch_case_assignments-8458 │ │ ├── run_wp.sh │ │ └── src │ │ └── switch_case_assignments.c │ ├── conditional_call │ ├── Makefile │ ├── bin │ │ └── main │ ├── run_wp.sh │ └── src │ │ └── main.asm │ ├── debruijn │ ├── Makefile │ ├── README.md │ ├── bin │ │ ├── main_1 │ │ └── main_2 │ ├── run_wp_16bit.sh │ ├── run_wp_32bit.sh │ ├── run_wp_32bit_boolector.sh │ ├── run_wp_8bit.sh │ └── src │ │ ├── main_1.c │ │ └── main_2.c │ ├── diff_pointer_val │ ├── Makefile │ ├── bin │ │ ├── main_1 │ │ └── main_2 │ ├── run_wp.sh │ └── src │ │ ├── main_1.c │ │ └── main_2.c │ ├── diff_ret_val │ ├── Makefile │ ├── bin │ │ ├── main_1 │ │ └── main_2 │ ├── run_wp.sh │ └── src │ │ ├── main_1.c │ │ └── main_2.c │ ├── double_dereference │ ├── Makefile │ ├── bin │ │ ├── main_1 │ │ └── main_2 │ ├── run_wp.sh │ └── src │ │ ├── main_1.c │ │ └── main_2.c │ ├── equiv_argc │ ├── Makefile │ ├── bin │ │ ├── main_1 │ │ └── main_2 │ ├── run_wp.sh │ ├── run_wp_disallow.sh │ ├── run_wp_force.sh │ └── src │ │ ├── main_1.c │ │ └── main_2.c │ ├── equiv_null_check │ ├── Makefile │ ├── bin │ │ ├── main_1 │ │ └── main_2 │ ├── run_wp.sh │ └── src │ │ ├── main_1.c │ │ └── main_2.c │ ├── floating_point │ ├── Makefile │ ├── comparison │ │ ├── Makefile │ │ ├── sat │ │ │ ├── Makefile │ │ │ ├── bin │ │ │ │ ├── main_1 │ │ │ │ └── main_2 │ │ │ ├── run_wp.sh │ │ │ └── src │ │ │ │ ├── main_1.c │ │ │ │ └── main_2.c │ │ └── unsat │ │ │ ├── Makefile │ │ │ ├── bin │ │ │ ├── main_1 │ │ │ └── main_2 │ │ │ ├── run_wp.sh │ │ │ └── src │ │ │ ├── main_1.c │ │ │ └── main_2.c │ └── single │ │ ├── Makefile │ │ ├── bin │ │ └── main │ │ ├── run_wp.sh │ │ ├── run_wp_no_init.sh │ │ └── src │ │ └── main.c │ ├── func_name_map │ ├── Makefile │ ├── compare_calls │ │ ├── Makefile │ │ ├── bin │ │ │ ├── main_1 │ │ │ └── main_2 │ │ ├── run_wp.sh │ │ └── src │ │ │ ├── main_1.c │ │ │ └── main_2.c │ ├── nested_calls │ │ ├── Makefile │ │ ├── bin │ │ │ ├── main_1 │ │ │ └── main_2 │ │ ├── run_wp.sh │ │ ├── run_wp_inline.sh │ │ └── src │ │ │ ├── main_1.c │ │ │ └── main_2.c │ └── toplevel_func │ │ ├── Makefile │ │ ├── bin │ │ ├── main_1 │ │ └── main_2 │ │ ├── run_wp.sh │ │ └── src │ │ ├── main_1.c │ │ └── main_2.c │ ├── function_call │ ├── Makefile │ ├── bin │ │ └── main │ ├── run_wp_inline_all.sh │ ├── run_wp_inline_foo.sh │ └── src │ │ └── main.c │ ├── function_spec │ ├── Makefile │ ├── bin │ │ └── main │ ├── run_wp.sh │ ├── run_wp_inline_all.sh │ ├── run_wp_inline_foo.sh │ ├── run_wp_inline_garbage.sh │ └── src │ │ └── main.c │ ├── goto_string │ ├── Makefile │ ├── bin │ │ └── main │ ├── run_wp.sh │ ├── run_wp_inline.sh │ └── src │ │ └── main.c │ ├── hash_function │ ├── Makefile │ ├── bin │ │ └── main │ ├── run_wp.sh │ └── src │ │ └── main.c │ ├── indirect_call_no_return │ ├── Makefile │ ├── bin │ │ ├── main_1 │ │ └── main_2 │ ├── run_wp.sh │ └── src │ │ ├── main_1.S │ │ └── main_2.S │ ├── indirect_call_return │ ├── Makefile │ ├── bin │ │ ├── main_1 │ │ └── main_2 │ ├── run_wp.sh │ └── src │ │ ├── main_1.S │ │ └── main_2.S │ ├── init_rodata │ ├── Makefile │ ├── bin │ │ └── main │ ├── run_wp.sh │ └── src │ │ └── main.c │ ├── init_var │ ├── Makefile │ ├── bin │ │ └── main │ ├── run_wp.sh │ ├── run_wp_sat.sh │ └── src │ │ └── main.c │ ├── init_var_compare │ ├── Makefile │ ├── bin │ │ ├── main_1 │ │ └── main_2 │ ├── run_wp.sh │ ├── run_wp_sat.sh │ └── src │ │ ├── main_1.S │ │ └── main_2.S │ ├── linked_list │ ├── Makefile │ ├── bin │ │ └── main │ ├── run_wp.sh │ ├── run_wp_null_deref.sh │ └── src │ │ └── main.c │ ├── loop │ ├── Makefile │ ├── loop_depth_one │ │ ├── Makefile │ │ ├── bin │ │ │ ├── main_1 │ │ │ └── main_2 │ │ ├── run_wp_compare.sh │ │ ├── run_wp_less_loop.sh │ │ ├── run_wp_single.sh │ │ └── src │ │ │ ├── main_1.c │ │ │ └── main_2.c │ ├── loop_depth_two │ │ ├── Makefile │ │ ├── bin │ │ │ └── main │ │ ├── run_wp.sh │ │ └── src │ │ │ └── main.c │ └── loop_with_assert │ │ ├── Makefile │ │ ├── bin │ │ └── main │ │ ├── run_wp.sh │ │ └── src │ │ └── main.c │ ├── loop_invariant │ ├── Makefile │ ├── break │ │ ├── Makefile │ │ ├── README.md │ │ ├── bin │ │ │ └── main │ │ ├── loop_invariant.smt │ │ ├── run_wp.sh │ │ ├── run_wp_no_invariant.sh │ │ ├── run_wp_unroll.sh │ │ └── src │ │ │ └── main.c │ ├── do_while │ │ ├── Makefile │ │ ├── README.md │ │ ├── bin │ │ │ └── main │ │ ├── loop_invariant.smt │ │ ├── run_wp.sh │ │ ├── run_wp_no_invariant.sh │ │ ├── run_wp_unroll.sh │ │ └── src │ │ │ └── main.c │ ├── in_registers │ │ ├── Makefile │ │ ├── README.md │ │ ├── bin │ │ │ └── main │ │ ├── loop_invariant.smt │ │ ├── run_wp.sh │ │ ├── run_wp_no_invariant.sh │ │ ├── run_wp_unroll.sh │ │ └── src │ │ │ └── main.c │ ├── non_terminating │ │ ├── Makefile │ │ ├── README.md │ │ ├── bin │ │ │ └── main │ │ ├── loop_invariant.smt │ │ ├── run_wp.sh │ │ ├── run_wp_no_invariant.sh │ │ └── src │ │ │ └── main.c │ ├── nondet_iters │ │ ├── Makefile │ │ ├── README.md │ │ ├── bin │ │ │ └── main │ │ ├── loop_invariant.smt │ │ ├── run_wp.sh │ │ ├── run_wp_no_invariant.sh │ │ ├── run_wp_unroll.sh │ │ └── src │ │ │ └── main.c │ └── on_stack │ │ ├── Makefile │ │ ├── README.md │ │ ├── bin │ │ └── main │ │ ├── loop_invariant.smt │ │ ├── run_wp.sh │ │ ├── run_wp_no_invariant.sh │ │ ├── run_wp_unroll.sh │ │ └── src │ │ └── main.c │ ├── malloc │ ├── Makefile │ └── compare_simple │ │ ├── Makefile │ │ ├── bin │ │ ├── main_1.o │ │ └── main_2.o │ │ ├── run_wp_sat.sh │ │ ├── run_wp_unsat.sh │ │ └── src │ │ ├── main_1.c │ │ └── main_2.c │ ├── memcpy │ ├── Makefile │ ├── memcpy_example │ │ ├── Makefile │ │ ├── README.md │ │ ├── bin │ │ │ └── main │ │ ├── run_wp.sh │ │ └── src │ │ │ └── main.c │ └── memcpy_example_2 │ │ ├── Makefile │ │ ├── README.md │ │ ├── bin │ │ └── main │ │ ├── run_wp.sh │ │ └── src │ │ └── main.c │ ├── memory_samples │ ├── Makefile │ ├── arrays │ │ ├── Makefile │ │ ├── bin │ │ │ ├── main_1 │ │ │ └── main_2 │ │ ├── run_wp.sh │ │ ├── run_wp_addr_rewrite.sh │ │ ├── run_wp_mem_offset.sh │ │ ├── run_wp_pre.sh │ │ ├── run_wp_pre_mem_offset.sh │ │ └── src │ │ │ ├── main_1.c │ │ │ └── main_2.c │ ├── data_bss_sections │ │ ├── Makefile │ │ ├── bin │ │ │ ├── main_1 │ │ │ └── main_2 │ │ ├── run_wp.sh │ │ ├── run_wp_addr_rewrite.sh │ │ ├── run_wp_mem_offset.sh │ │ └── src │ │ │ ├── main_1.c │ │ │ └── main_2.c │ ├── diff_data │ │ ├── Makefile │ │ ├── bin │ │ │ ├── main_1 │ │ │ └── main_2 │ │ ├── run_wp.sh │ │ └── src │ │ │ ├── main_1.S │ │ │ └── main_2.S │ ├── diff_data_location │ │ ├── Makefile │ │ ├── bin │ │ │ ├── main_1 │ │ │ └── main_2 │ │ ├── run_wp.sh │ │ ├── run_wp_addr_rewrite.sh │ │ ├── run_wp_mem_offset.sh │ │ └── src │ │ │ ├── main_1.S │ │ │ └── main_2.S │ ├── diff_stack │ │ ├── Makefile │ │ ├── bin │ │ │ ├── main_1 │ │ │ └── main_2 │ │ ├── run_wp.sh │ │ └── src │ │ │ ├── main_1.S │ │ │ └── main_2.S │ ├── mem_hooks │ │ ├── Makefile │ │ ├── bin │ │ │ ├── main_1 │ │ │ └── main_2 │ │ ├── run_wp.sh │ │ └── src │ │ │ ├── main_1.S │ │ │ └── main_2.S │ └── name_matching │ │ ├── Makefile │ │ ├── bin │ │ ├── main_1 │ │ └── main_2 │ │ ├── run_wp.sh │ │ ├── run_wp_addr_rewrite.sh │ │ └── src │ │ ├── main_1.c │ │ └── main_2.c │ ├── nested_function_calls │ ├── Makefile │ ├── bin │ │ └── main │ ├── run_wp.sh │ ├── run_wp_inline_all.sh │ ├── run_wp_inline_regex.sh │ └── src │ │ └── main.c │ ├── nested_ifs │ ├── Makefile │ ├── bin │ │ └── main │ ├── run_wp.sh │ ├── run_wp_goto.sh │ ├── run_wp_inline.sh │ └── src │ │ └── main.c │ ├── no_position_independent │ ├── Makefile │ ├── bin │ │ ├── main_1.so │ │ └── main_2.so │ ├── run_wp.sh │ └── src │ │ ├── main_1.c │ │ └── main_2.c │ ├── no_stack_protection │ ├── Makefile │ ├── bin │ │ ├── main_1 │ │ └── main_2 │ ├── run_wp.sh │ └── src │ │ ├── main_1.c │ │ └── main_2.c │ ├── non_null_check │ ├── Makefile │ ├── bin │ │ ├── main_1 │ │ └── main_2 │ ├── run_wp.sh │ ├── run_wp_null_deref.sh │ └── src │ │ ├── main_1.S │ │ └── main_2.S │ ├── nqueens │ ├── Makefile │ ├── bin │ │ ├── main_10 │ │ ├── main_11 │ │ ├── main_12 │ │ ├── main_13 │ │ ├── main_14 │ │ ├── main_15 │ │ ├── main_16 │ │ ├── main_17 │ │ ├── main_18 │ │ ├── main_19 │ │ ├── main_4 │ │ ├── main_5 │ │ ├── main_6 │ │ ├── main_7 │ │ ├── main_8 │ │ └── main_9 │ ├── run_wp.sh │ └── src │ │ └── main.c │ ├── null_deref │ ├── Makefile │ ├── bin │ │ └── main │ ├── run_wp.sh │ ├── run_wp_null_deref.sh │ └── src │ │ └── main.c │ ├── ogre_files │ ├── Makefile │ ├── README.md │ ├── bin │ │ ├── main_1 │ │ ├── main_1_stripped │ │ ├── main_2 │ │ └── main_2_stripped │ ├── loader.ogre │ ├── main1.ogre │ ├── main2.ogre │ ├── run_wp1.sh │ ├── run_wp2.sh │ ├── run_wp3.sh │ ├── run_wp4.sh │ ├── run_wp5.sh │ ├── run_wp6.sh │ └── src │ │ ├── main_1.c │ │ └── main_2.c │ ├── optimization_flags.mk │ ├── pointer_flag │ ├── Makefile │ ├── bin │ │ ├── main_1 │ │ └── main_2 │ ├── run_wp_sat.sh │ ├── run_wp_unsat.sh │ └── src │ │ ├── main_1.c │ │ └── main_2.c │ ├── pointer_flag_rsp │ ├── Makefile │ ├── bin │ │ └── main │ ├── run_wp.sh │ └── src │ │ └── main.S │ ├── pointer_flag_single │ ├── Makefile │ ├── bin │ │ └── main │ ├── run_wp_sat.sh │ ├── run_wp_unsat.sh │ └── src │ │ └── main.c │ ├── pointer_input │ ├── Makefile │ ├── bin │ │ ├── main_1 │ │ └── main_2 │ ├── run_wp.sh │ └── src │ │ ├── main_1.c │ │ └── main_2.c │ ├── position_independent │ ├── Makefile │ ├── bin │ │ ├── main_1.so │ │ └── main_2.so │ ├── run_wp.sh │ └── src │ │ ├── main_1.c │ │ └── main_2.c │ ├── retrowrite_stub │ ├── Makefile │ ├── bin │ │ ├── main_1 │ │ └── main_2 │ ├── run_wp.sh │ ├── run_wp_inline_afl.sh │ ├── run_wp_inline_all.sh │ └── src │ │ ├── main_1.S │ │ └── main_2.S │ ├── retrowrite_stub_no_ret │ ├── Makefile │ ├── bin │ │ ├── main_1 │ │ └── main_2 │ ├── run_wp.sh │ └── src │ │ ├── main_1.S │ │ └── main_2.S │ ├── return_argc │ ├── Makefile │ ├── bin │ │ └── main │ ├── run_wp.sh │ └── src │ │ └── main.c │ ├── same_null_deref │ ├── Makefile │ ├── bin │ │ ├── main_1 │ │ └── main_2 │ ├── run_wp.sh │ └── src │ │ ├── main_1.c │ │ └── main_2.c │ ├── same_signs │ ├── Makefile │ ├── bin │ │ ├── main_1 │ │ └── main_2 │ ├── run_wp.sh │ ├── run_wp_postcond.sh │ └── src │ │ ├── main_1.c │ │ └── main_2.c │ ├── simple_wp │ ├── Makefile │ ├── bin │ │ └── main │ ├── run_wp.sh │ ├── run_wp_pre.sh │ └── src │ │ ├── main.c │ │ └── main_with_struct.c │ ├── sudoku_2_by_2 │ ├── Makefile │ ├── bin │ │ └── main │ ├── run_wp.sh │ ├── run_wp_boolector.sh │ └── src │ │ └── main.c │ ├── sudoku_3_by_3 │ ├── Makefile │ ├── bin │ │ └── main │ ├── run_wp.sh │ └── src │ │ └── main.c │ ├── switch_case_assignments │ ├── Makefile │ ├── bin │ │ ├── main_1 │ │ └── main_2 │ ├── run_wp.sh │ └── src │ │ ├── main_1.c │ │ └── main_2.c │ ├── switch_cases │ ├── Makefile │ ├── bin │ │ ├── main_1 │ │ └── main_2 │ ├── run_wp.sh │ └── src │ │ ├── main_1.c │ │ └── main_2.c │ ├── switch_cases_diff_ret │ ├── Makefile │ ├── bin │ │ ├── main_1 │ │ └── main_2 │ ├── run_wp.sh │ └── src │ │ ├── main_1.c │ │ └── main_2.c │ ├── unconditional_call │ ├── Makefile │ ├── bin │ │ └── main │ ├── run_wp.sh │ └── src │ │ └── main.asm │ ├── user_func_spec │ ├── Makefile │ ├── sub_spec_1 │ │ ├── Makefile │ │ ├── README.md │ │ ├── bin │ │ │ └── main │ │ ├── run_wp_1.sh │ │ ├── run_wp_2.sh │ │ ├── run_wp_3.sh │ │ ├── run_wp_4.sh │ │ └── src │ │ │ └── main.c │ ├── sub_spec_2 │ │ ├── Makefile │ │ ├── README.md │ │ ├── bin │ │ │ └── main │ │ ├── run_wp_1.sh │ │ ├── run_wp_2.sh │ │ └── src │ │ │ └── main.c │ ├── sub_spec_3 │ │ ├── Makefile │ │ ├── bin │ │ │ ├── main_1 │ │ │ └── main_2 │ │ ├── run_wp_comp.sh │ │ ├── run_wp_single_1.sh │ │ ├── run_wp_single_2.sh │ │ ├── run_wp_single_3.sh │ │ └── src │ │ │ ├── main_1.asm │ │ │ └── main_2.asm │ ├── sub_spec_4 │ │ ├── Makefile │ │ ├── bin │ │ │ ├── main_1 │ │ │ └── main_2 │ │ ├── run_wp_1.sh │ │ └── src │ │ │ ├── main_1.c │ │ │ └── main_2.c │ ├── sub_spec_5 │ │ ├── Makefile │ │ ├── README.md │ │ ├── bin │ │ │ └── main │ │ ├── run_wp_1.sh │ │ ├── run_wp_2.sh │ │ └── src │ │ │ └── main.c │ └── sub_spec_6 │ │ ├── Makefile │ │ ├── README.md │ │ ├── bin │ │ ├── mod │ │ └── orig │ │ ├── run_wp_1.sh │ │ ├── run_wp_2.sh │ │ ├── run_wp_3.sh │ │ ├── run_wp_4.sh │ │ ├── run_wp_5.sh │ │ ├── run_wp_6.sh │ │ └── src │ │ ├── mod.c │ │ └── orig.c │ └── verifier_calls │ ├── Makefile │ ├── bin │ ├── verifier_assume_sat │ ├── verifier_assume_unsat │ └── verifier_nondet │ ├── run_wp_assume_sat.sh │ ├── run_wp_assume_unsat.sh │ ├── run_wp_nondet.sh │ └── src │ ├── verifier_assume_sat.c │ ├── verifier_assume_unsat.c │ └── verifier_nondet.c └── scripts ├── README.md ├── run.bash └── run_single.bash /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitlab-ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/.gitlab-ci.yml -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/Dockerfile -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/README.md -------------------------------------------------------------------------------- /bap-notes/01-preliminaries/01-Documentation-and-help.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/01-preliminaries/01-Documentation-and-help.md -------------------------------------------------------------------------------- /bap-notes/01-preliminaries/02-Running-with-docker.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/01-preliminaries/02-Running-with-docker.md -------------------------------------------------------------------------------- /bap-notes/01-preliminaries/03-Using-the-CLI.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/01-preliminaries/03-Using-the-CLI.md -------------------------------------------------------------------------------- /bap-notes/01-preliminaries/04-Using-BAP-in-utop.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/01-preliminaries/04-Using-BAP-in-utop.md -------------------------------------------------------------------------------- /bap-notes/01-preliminaries/05-Plugins.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/01-preliminaries/05-Plugins.md -------------------------------------------------------------------------------- /bap-notes/01-preliminaries/06-Organizing-files.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/01-preliminaries/06-Organizing-files.md -------------------------------------------------------------------------------- /bap-notes/01-preliminaries/07-Extensions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/01-preliminaries/07-Extensions.md -------------------------------------------------------------------------------- /bap-notes/01-preliminaries/08-Extension-errors.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/01-preliminaries/08-Extension-errors.md -------------------------------------------------------------------------------- /bap-notes/01-preliminaries/09-Passes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/01-preliminaries/09-Passes.md -------------------------------------------------------------------------------- /bap-notes/01-preliminaries/10-Multiple-passes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/01-preliminaries/10-Multiple-passes.md -------------------------------------------------------------------------------- /bap-notes/01-preliminaries/11-Parameters.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/01-preliminaries/11-Parameters.md -------------------------------------------------------------------------------- /bap-notes/01-preliminaries/12-Logging.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/01-preliminaries/12-Logging.md -------------------------------------------------------------------------------- /bap-notes/01-preliminaries/13-Custom-commands.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/01-preliminaries/13-Custom-commands.md -------------------------------------------------------------------------------- /bap-notes/01-preliminaries/14-Custom-command-errors.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/01-preliminaries/14-Custom-command-errors.md -------------------------------------------------------------------------------- /bap-notes/01-preliminaries/15-Using-BAP-as-a-library.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/01-preliminaries/15-Using-BAP-as-a-library.md -------------------------------------------------------------------------------- /bap-notes/02-knowledge-base/01-About-the-KB.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/02-knowledge-base/01-About-the-KB.md -------------------------------------------------------------------------------- /bap-notes/02-knowledge-base/02-KB-classes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/02-knowledge-base/02-KB-classes.md -------------------------------------------------------------------------------- /bap-notes/02-knowledge-base/03-Multisorted-KB-classes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/02-knowledge-base/03-Multisorted-KB-classes.md -------------------------------------------------------------------------------- /bap-notes/02-knowledge-base/04-KB-domains.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/02-knowledge-base/04-KB-domains.md -------------------------------------------------------------------------------- /bap-notes/02-knowledge-base/05-KB-slots.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/02-knowledge-base/05-KB-slots.md -------------------------------------------------------------------------------- /bap-notes/02-knowledge-base/06-KB-objects.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/02-knowledge-base/06-KB-objects.md -------------------------------------------------------------------------------- /bap-notes/02-knowledge-base/07-KB-promises.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/02-knowledge-base/07-KB-promises.md -------------------------------------------------------------------------------- /bap-notes/02-knowledge-base/08-KB-snapshots.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/02-knowledge-base/08-KB-snapshots.md -------------------------------------------------------------------------------- /bap-notes/02-knowledge-base/09-Toplevel-eval.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/02-knowledge-base/09-Toplevel-eval.md -------------------------------------------------------------------------------- /bap-notes/03-compilation-units/01-About-compilation-units.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/03-compilation-units/01-About-compilation-units.md -------------------------------------------------------------------------------- /bap-notes/03-compilation-units/02-KB-labels.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/03-compilation-units/02-KB-labels.md -------------------------------------------------------------------------------- /bap-notes/03-compilation-units/03-More-about-KB-labels.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/03-compilation-units/03-More-about-KB-labels.md -------------------------------------------------------------------------------- /bap-notes/03-compilation-units/04-Compilation-units.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/03-compilation-units/04-Compilation-units.md -------------------------------------------------------------------------------- /bap-notes/03-compilation-units/05-Objects-inside-objects.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/03-compilation-units/05-Objects-inside-objects.md -------------------------------------------------------------------------------- /bap-notes/03-compilation-units/06-KB-targets.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/03-compilation-units/06-KB-targets.md -------------------------------------------------------------------------------- /bap-notes/03-compilation-units/07-Memory.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/03-compilation-units/07-Memory.md -------------------------------------------------------------------------------- /bap-notes/03-compilation-units/08-Looking-up-labels.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/03-compilation-units/08-Looking-up-labels.md -------------------------------------------------------------------------------- /bap-notes/04-semantics/01-About-BAP-semantics.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/04-semantics/01-About-BAP-semantics.md -------------------------------------------------------------------------------- /bap-notes/04-semantics/02-Providing-semantics.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/04-semantics/02-Providing-semantics.md -------------------------------------------------------------------------------- /bap-notes/04-semantics/03-Promising-semantics.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/04-semantics/03-Promising-semantics.md -------------------------------------------------------------------------------- /bap-notes/04-semantics/04-Variable-assignments.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/04-semantics/04-Variable-assignments.md -------------------------------------------------------------------------------- /bap-notes/04-semantics/05-Multiple-variable-assignments.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/04-semantics/05-Multiple-variable-assignments.md -------------------------------------------------------------------------------- /bap-notes/04-semantics/06-Compiling-to-core-theory-programs.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/04-semantics/06-Compiling-to-core-theory-programs.md -------------------------------------------------------------------------------- /bap-notes/04-semantics/07-Custom-theories.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/04-semantics/07-Custom-theories.md -------------------------------------------------------------------------------- /bap-notes/05-KB-analyses/01-About-KB-analyses.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/05-KB-analyses/01-About-KB-analyses.md -------------------------------------------------------------------------------- /bap-notes/05-KB-analyses/02-A-hello-world-analysis.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/05-KB-analyses/02-A-hello-world-analysis.md -------------------------------------------------------------------------------- /bap-notes/05-KB-analyses/03-A-more-complex-analysis.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/05-KB-analyses/03-A-more-complex-analysis.md -------------------------------------------------------------------------------- /bap-notes/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap-notes/README.md -------------------------------------------------------------------------------- /bap_angr/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap_angr/README.md -------------------------------------------------------------------------------- /bap_angr/cg_similarity_score_data.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap_angr/cg_similarity_score_data.md -------------------------------------------------------------------------------- /bap_angr/static_vsa_data.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bap_angr/static_vsa_data.md -------------------------------------------------------------------------------- /bildb/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/.gitignore -------------------------------------------------------------------------------- /bildb/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/Makefile -------------------------------------------------------------------------------- /bildb/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/README.md -------------------------------------------------------------------------------- /bildb/bildb.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/bildb.ml -------------------------------------------------------------------------------- /bildb/example.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/example.yml -------------------------------------------------------------------------------- /bildb/init.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/init.yml -------------------------------------------------------------------------------- /bildb/lib/bildb_cursor.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/lib/bildb_cursor.ml -------------------------------------------------------------------------------- /bildb/lib/bildb_cursor.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/lib/bildb_cursor.mli -------------------------------------------------------------------------------- /bildb/lib/bildb_init.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/lib/bildb_init.ml -------------------------------------------------------------------------------- /bildb/lib/bildb_init.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/lib/bildb_init.mli -------------------------------------------------------------------------------- /bildb/lib/bildb_position.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/lib/bildb_position.ml -------------------------------------------------------------------------------- /bildb/lib/bildb_position.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/lib/bildb_position.mli -------------------------------------------------------------------------------- /bildb/lib/bildb_startup.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/lib/bildb_startup.ml -------------------------------------------------------------------------------- /bildb/lib/bildb_startup.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/lib/bildb_startup.mli -------------------------------------------------------------------------------- /bildb/lib/bildb_state.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/lib/bildb_state.ml -------------------------------------------------------------------------------- /bildb/lib/bildb_state.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/lib/bildb_state.mli -------------------------------------------------------------------------------- /bildb/lib/bildb_tty.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/lib/bildb_tty.ml -------------------------------------------------------------------------------- /bildb/lib/bildb_tty.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/lib/bildb_tty.mli -------------------------------------------------------------------------------- /bildb/lib/bildb_ui.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/lib/bildb_ui.ml -------------------------------------------------------------------------------- /bildb/lib/bildb_ui.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/lib/bildb_ui.mli -------------------------------------------------------------------------------- /bildb/lib/bildb_utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/lib/bildb_utils.ml -------------------------------------------------------------------------------- /bildb/lib/bildb_utils.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/lib/bildb_utils.mli -------------------------------------------------------------------------------- /bildb/lib/screens/bildb_architecture.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/lib/screens/bildb_architecture.ml -------------------------------------------------------------------------------- /bildb/lib/screens/bildb_architecture.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/lib/screens/bildb_architecture.mli -------------------------------------------------------------------------------- /bildb/lib/screens/bildb_blocks.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/lib/screens/bildb_blocks.ml -------------------------------------------------------------------------------- /bildb/lib/screens/bildb_blocks.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/lib/screens/bildb_blocks.mli -------------------------------------------------------------------------------- /bildb/lib/screens/bildb_breakpoints.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/lib/screens/bildb_breakpoints.ml -------------------------------------------------------------------------------- /bildb/lib/screens/bildb_breakpoints.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/lib/screens/bildb_breakpoints.mli -------------------------------------------------------------------------------- /bildb/lib/screens/bildb_debugger.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/lib/screens/bildb_debugger.ml -------------------------------------------------------------------------------- /bildb/lib/screens/bildb_debugger.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/lib/screens/bildb_debugger.mli -------------------------------------------------------------------------------- /bildb/lib/screens/bildb_halts.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/lib/screens/bildb_halts.ml -------------------------------------------------------------------------------- /bildb/lib/screens/bildb_halts.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/lib/screens/bildb_halts.mli -------------------------------------------------------------------------------- /bildb/lib/screens/bildb_help.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/lib/screens/bildb_help.ml -------------------------------------------------------------------------------- /bildb/lib/screens/bildb_help.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/lib/screens/bildb_help.mli -------------------------------------------------------------------------------- /bildb/lib/screens/bildb_initialization.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/lib/screens/bildb_initialization.ml -------------------------------------------------------------------------------- /bildb/lib/screens/bildb_initialization.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/lib/screens/bildb_initialization.mli -------------------------------------------------------------------------------- /bildb/lib/screens/bildb_locations.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/lib/screens/bildb_locations.ml -------------------------------------------------------------------------------- /bildb/lib/screens/bildb_locations.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/lib/screens/bildb_locations.mli -------------------------------------------------------------------------------- /bildb/lib/screens/bildb_subroutines.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/lib/screens/bildb_subroutines.ml -------------------------------------------------------------------------------- /bildb/lib/screens/bildb_subroutines.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/lib/screens/bildb_subroutines.mli -------------------------------------------------------------------------------- /bildb/lib/screens/bildb_variables.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/lib/screens/bildb_variables.ml -------------------------------------------------------------------------------- /bildb/lib/screens/bildb_variables.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/lib/screens/bildb_variables.mli -------------------------------------------------------------------------------- /bildb/lib/screens/bildb_whole_program.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/lib/screens/bildb_whole_program.ml -------------------------------------------------------------------------------- /bildb/lib/screens/bildb_whole_program.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/lib/screens/bildb_whole_program.mli -------------------------------------------------------------------------------- /bildb/resources/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/resources/Makefile -------------------------------------------------------------------------------- /bildb/resources/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/resources/README.md -------------------------------------------------------------------------------- /bildb/resources/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/bildb/resources/main.c -------------------------------------------------------------------------------- /docs/.gitignore: -------------------------------------------------------------------------------- 1 | *.bpj 2 | *.o 3 | *.swp 4 | *~ 5 | .DS_Store 6 | -------------------------------------------------------------------------------- /docs/cbat.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/cbat.css -------------------------------------------------------------------------------- /docs/cbat_logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/cbat_logo.png -------------------------------------------------------------------------------- /docs/doc/html/bap_wp/Bap_wp/.dummy: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/doc/html/bap_wp/Bap_wp/Bil_to_bir/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/doc/html/bap_wp/Bap_wp/Bil_to_bir/index.html -------------------------------------------------------------------------------- /docs/doc/html/bap_wp/Bap_wp/Compare/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/doc/html/bap_wp/Bap_wp/Compare/index.html -------------------------------------------------------------------------------- /docs/doc/html/bap_wp/Bap_wp/Constraint/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/doc/html/bap_wp/Bap_wp/Constraint/index.html -------------------------------------------------------------------------------- /docs/doc/html/bap_wp/Bap_wp/Environment/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/doc/html/bap_wp/Bap_wp/Environment/index.html -------------------------------------------------------------------------------- /docs/doc/html/bap_wp/Bap_wp/Loader/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/doc/html/bap_wp/Bap_wp/Loader/index.html -------------------------------------------------------------------------------- /docs/doc/html/bap_wp/Bap_wp/Output/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/doc/html/bap_wp/Bap_wp/Output/index.html -------------------------------------------------------------------------------- /docs/doc/html/bap_wp/Bap_wp/Precondition/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/doc/html/bap_wp/Bap_wp/Precondition/index.html -------------------------------------------------------------------------------- /docs/doc/html/bap_wp/Bap_wp/Ps/Cmd/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/doc/html/bap_wp/Bap_wp/Ps/Cmd/index.html -------------------------------------------------------------------------------- /docs/doc/html/bap_wp/Bap_wp/Ps/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/doc/html/bap_wp/Bap_wp/Ps/index.html -------------------------------------------------------------------------------- /docs/doc/html/bap_wp/Bap_wp/Run_parameters/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/doc/html/bap_wp/Bap_wp/Run_parameters/index.html -------------------------------------------------------------------------------- /docs/doc/html/bap_wp/Bap_wp/Runner/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/doc/html/bap_wp/Bap_wp/Runner/index.html -------------------------------------------------------------------------------- /docs/doc/html/bap_wp/Bap_wp/Symbol/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/doc/html/bap_wp/Bap_wp/Symbol/index.html -------------------------------------------------------------------------------- /docs/doc/html/bap_wp/Bap_wp/Utils/Code_addrs/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/doc/html/bap_wp/Bap_wp/Utils/Code_addrs/index.html -------------------------------------------------------------------------------- /docs/doc/html/bap_wp/Bap_wp/Utils/Option_let/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/doc/html/bap_wp/Bap_wp/Utils/Option_let/index.html -------------------------------------------------------------------------------- /docs/doc/html/bap_wp/Bap_wp/Utils/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/doc/html/bap_wp/Bap_wp/Utils/index.html -------------------------------------------------------------------------------- /docs/doc/html/bap_wp/Bap_wp/Z3_utils/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/doc/html/bap_wp/Bap_wp/Z3_utils/index.html -------------------------------------------------------------------------------- /docs/doc/html/bap_wp/Bap_wp/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/doc/html/bap_wp/Bap_wp/index.html -------------------------------------------------------------------------------- /docs/doc/html/bap_wp/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/doc/html/bap_wp/index.html -------------------------------------------------------------------------------- /docs/doc/html/highlight.pack.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/doc/html/highlight.pack.js -------------------------------------------------------------------------------- /docs/doc/html/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/doc/html/index.html -------------------------------------------------------------------------------- /docs/doc/html/odoc.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/doc/html/odoc.css -------------------------------------------------------------------------------- /docs/exercises.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/exercises.html -------------------------------------------------------------------------------- /docs/exercises/01/binary/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/exercises/01/binary/Makefile -------------------------------------------------------------------------------- /docs/exercises/01/binary/main: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/exercises/01/binary/main -------------------------------------------------------------------------------- /docs/exercises/01/binary/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/exercises/01/binary/main.c -------------------------------------------------------------------------------- /docs/exercises/01/exercise.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/exercises/01/exercise.html -------------------------------------------------------------------------------- /docs/exercises/01/solution.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/exercises/01/solution.html -------------------------------------------------------------------------------- /docs/exercises/02/binary/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/exercises/02/binary/Makefile -------------------------------------------------------------------------------- /docs/exercises/02/binary/main: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/exercises/02/binary/main -------------------------------------------------------------------------------- /docs/exercises/02/binary/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/exercises/02/binary/main.c -------------------------------------------------------------------------------- /docs/exercises/02/exercise.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/exercises/02/exercise.html -------------------------------------------------------------------------------- /docs/exercises/02/solution.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/exercises/02/solution.html -------------------------------------------------------------------------------- /docs/exercises/03/binary/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/exercises/03/binary/Makefile -------------------------------------------------------------------------------- /docs/exercises/03/binary/main_1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/exercises/03/binary/main_1 -------------------------------------------------------------------------------- /docs/exercises/03/binary/main_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/exercises/03/binary/main_1.c -------------------------------------------------------------------------------- /docs/exercises/03/binary/main_2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/exercises/03/binary/main_2 -------------------------------------------------------------------------------- /docs/exercises/03/binary/main_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/exercises/03/binary/main_2.c -------------------------------------------------------------------------------- /docs/exercises/03/exercise.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/exercises/03/exercise.html -------------------------------------------------------------------------------- /docs/exercises/03/solution.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/exercises/03/solution.html -------------------------------------------------------------------------------- /docs/exercises/04/binary/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/exercises/04/binary/Makefile -------------------------------------------------------------------------------- /docs/exercises/04/binary/main_1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/exercises/04/binary/main_1 -------------------------------------------------------------------------------- /docs/exercises/04/binary/main_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/exercises/04/binary/main_1.c -------------------------------------------------------------------------------- /docs/exercises/04/binary/main_2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/exercises/04/binary/main_2 -------------------------------------------------------------------------------- /docs/exercises/04/binary/main_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/exercises/04/binary/main_2.c -------------------------------------------------------------------------------- /docs/exercises/04/exercise.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/exercises/04/exercise.html -------------------------------------------------------------------------------- /docs/exercises/04/solution.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/exercises/04/solution.html -------------------------------------------------------------------------------- /docs/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/index.html -------------------------------------------------------------------------------- /docs/installation.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/installation.html -------------------------------------------------------------------------------- /docs/reference.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/reference.html -------------------------------------------------------------------------------- /docs/tutorial.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/tutorial.html -------------------------------------------------------------------------------- /docs/tutorial/01/binary/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/tutorial/01/binary/Makefile -------------------------------------------------------------------------------- /docs/tutorial/01/binary/main: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/tutorial/01/binary/main -------------------------------------------------------------------------------- /docs/tutorial/01/binary/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/tutorial/01/binary/main.c -------------------------------------------------------------------------------- /docs/tutorial/02/binary/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/tutorial/02/binary/Makefile -------------------------------------------------------------------------------- /docs/tutorial/02/binary/main: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/tutorial/02/binary/main -------------------------------------------------------------------------------- /docs/tutorial/02/binary/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/tutorial/02/binary/main.c -------------------------------------------------------------------------------- /docs/tutorial/03/binary/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/tutorial/03/binary/Makefile -------------------------------------------------------------------------------- /docs/tutorial/03/binary/main: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/tutorial/03/binary/main -------------------------------------------------------------------------------- /docs/tutorial/03/binary/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/tutorial/03/binary/main.c -------------------------------------------------------------------------------- /docs/tutorial/03/binary/main_fixed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/tutorial/03/binary/main_fixed -------------------------------------------------------------------------------- /docs/tutorial/03/binary/main_fixed.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/tutorial/03/binary/main_fixed.c -------------------------------------------------------------------------------- /docs/tutorial/04/binary/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/tutorial/04/binary/Makefile -------------------------------------------------------------------------------- /docs/tutorial/04/binary/main_1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/tutorial/04/binary/main_1 -------------------------------------------------------------------------------- /docs/tutorial/04/binary/main_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/tutorial/04/binary/main_1.c -------------------------------------------------------------------------------- /docs/tutorial/04/binary/main_2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/tutorial/04/binary/main_2 -------------------------------------------------------------------------------- /docs/tutorial/04/binary/main_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/tutorial/04/binary/main_2.c -------------------------------------------------------------------------------- /docs/tutorial/05/binary/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/tutorial/05/binary/Makefile -------------------------------------------------------------------------------- /docs/tutorial/05/binary/main_1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/tutorial/05/binary/main_1 -------------------------------------------------------------------------------- /docs/tutorial/05/binary/main_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/tutorial/05/binary/main_1.c -------------------------------------------------------------------------------- /docs/tutorial/05/binary/main_2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/tutorial/05/binary/main_2 -------------------------------------------------------------------------------- /docs/tutorial/05/binary/main_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/tutorial/05/binary/main_2.c -------------------------------------------------------------------------------- /docs/tutorial/06/binary/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/tutorial/06/binary/Makefile -------------------------------------------------------------------------------- /docs/tutorial/06/binary/main: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/tutorial/06/binary/main -------------------------------------------------------------------------------- /docs/tutorial/06/binary/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/tutorial/06/binary/main.c -------------------------------------------------------------------------------- /docs/tutorial/07/binary/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/tutorial/07/binary/Makefile -------------------------------------------------------------------------------- /docs/tutorial/07/binary/main: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/tutorial/07/binary/main -------------------------------------------------------------------------------- /docs/tutorial/07/binary/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/tutorial/07/binary/main.c -------------------------------------------------------------------------------- /docs/tutorial/08/binary/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/tutorial/08/binary/Makefile -------------------------------------------------------------------------------- /docs/tutorial/08/binary/main_1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/tutorial/08/binary/main_1 -------------------------------------------------------------------------------- /docs/tutorial/08/binary/main_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/tutorial/08/binary/main_1.c -------------------------------------------------------------------------------- /docs/tutorial/08/binary/main_2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/tutorial/08/binary/main_2 -------------------------------------------------------------------------------- /docs/tutorial/08/binary/main_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/docs/tutorial/08/binary/main_2.c -------------------------------------------------------------------------------- /vsa/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/README.md -------------------------------------------------------------------------------- /vsa/explicit_edge/.merlin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/explicit_edge/.merlin -------------------------------------------------------------------------------- /vsa/explicit_edge/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/explicit_edge/Makefile -------------------------------------------------------------------------------- /vsa/explicit_edge/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/explicit_edge/README.md -------------------------------------------------------------------------------- /vsa/explicit_edge/explicit_edge.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/explicit_edge/explicit_edge.ml -------------------------------------------------------------------------------- /vsa/value_set/.gitignore: -------------------------------------------------------------------------------- 1 | .merlin 2 | *.install 3 | _build 4 | -------------------------------------------------------------------------------- /vsa/value_set/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/value_set/Makefile -------------------------------------------------------------------------------- /vsa/value_set/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/value_set/README.md -------------------------------------------------------------------------------- /vsa/value_set/lib/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/value_set/lib/Makefile -------------------------------------------------------------------------------- /vsa/value_set/lib/cbat_value_set.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/value_set/lib/cbat_value_set.opam -------------------------------------------------------------------------------- /vsa/value_set/lib/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 1.7) 2 | (name cbat_value_set) 3 | -------------------------------------------------------------------------------- /vsa/value_set/lib/src/cbat_ai_memmap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/value_set/lib/src/cbat_ai_memmap.ml -------------------------------------------------------------------------------- /vsa/value_set/lib/src/cbat_ai_memmap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/value_set/lib/src/cbat_ai_memmap.mli -------------------------------------------------------------------------------- /vsa/value_set/lib/src/cbat_ai_representation.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/value_set/lib/src/cbat_ai_representation.ml -------------------------------------------------------------------------------- /vsa/value_set/lib/src/cbat_ai_representation.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/value_set/lib/src/cbat_ai_representation.mli -------------------------------------------------------------------------------- /vsa/value_set/lib/src/cbat_back_edges.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/value_set/lib/src/cbat_back_edges.ml -------------------------------------------------------------------------------- /vsa/value_set/lib/src/cbat_back_edges.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/value_set/lib/src/cbat_back_edges.mli -------------------------------------------------------------------------------- /vsa/value_set/lib/src/cbat_clp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/value_set/lib/src/cbat_clp.ml -------------------------------------------------------------------------------- /vsa/value_set/lib/src/cbat_clp.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/value_set/lib/src/cbat_clp.mli -------------------------------------------------------------------------------- /vsa/value_set/lib/src/cbat_clp_set_composite.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/value_set/lib/src/cbat_clp_set_composite.ml -------------------------------------------------------------------------------- /vsa/value_set/lib/src/cbat_clp_set_composite.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/value_set/lib/src/cbat_clp_set_composite.mli -------------------------------------------------------------------------------- /vsa/value_set/lib/src/cbat_contextual_fixpoint.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/value_set/lib/src/cbat_contextual_fixpoint.ml -------------------------------------------------------------------------------- /vsa/value_set/lib/src/cbat_contextual_fixpoint.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/value_set/lib/src/cbat_contextual_fixpoint.mli -------------------------------------------------------------------------------- /vsa/value_set/lib/src/cbat_fin_set.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/value_set/lib/src/cbat_fin_set.ml -------------------------------------------------------------------------------- /vsa/value_set/lib/src/cbat_fin_set.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/value_set/lib/src/cbat_fin_set.mli -------------------------------------------------------------------------------- /vsa/value_set/lib/src/cbat_lattice_intf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/value_set/lib/src/cbat_lattice_intf.ml -------------------------------------------------------------------------------- /vsa/value_set/lib/src/cbat_map_lattice.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/value_set/lib/src/cbat_map_lattice.ml -------------------------------------------------------------------------------- /vsa/value_set/lib/src/cbat_map_lattice.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/value_set/lib/src/cbat_map_lattice.mli -------------------------------------------------------------------------------- /vsa/value_set/lib/src/cbat_vsa.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/value_set/lib/src/cbat_vsa.ml -------------------------------------------------------------------------------- /vsa/value_set/lib/src/cbat_vsa.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/value_set/lib/src/cbat_vsa.mli -------------------------------------------------------------------------------- /vsa/value_set/lib/src/cbat_vsa_utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/value_set/lib/src/cbat_vsa_utils.ml -------------------------------------------------------------------------------- /vsa/value_set/lib/src/cbat_word_ops.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/value_set/lib/src/cbat_word_ops.ml -------------------------------------------------------------------------------- /vsa/value_set/lib/src/cbat_word_ops.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/value_set/lib/src/cbat_word_ops.mli -------------------------------------------------------------------------------- /vsa/value_set/lib/src/cbat_wordset_intf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/value_set/lib/src/cbat_wordset_intf.ml -------------------------------------------------------------------------------- /vsa/value_set/lib/src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/value_set/lib/src/dune -------------------------------------------------------------------------------- /vsa/value_set/plugin/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/value_set/plugin/Makefile -------------------------------------------------------------------------------- /vsa/value_set/plugin/value_set.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/value_set/plugin/value_set.ml -------------------------------------------------------------------------------- /vsa/value_set/unit_tests/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/value_set/unit_tests/Makefile -------------------------------------------------------------------------------- /vsa/value_set/unit_tests/ai_memmap_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/value_set/unit_tests/ai_memmap_test.ml -------------------------------------------------------------------------------- /vsa/value_set/unit_tests/clp_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/value_set/unit_tests/clp_test.ml -------------------------------------------------------------------------------- /vsa/value_set/unit_tests/map_lattice_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/value_set/unit_tests/map_lattice_test.ml -------------------------------------------------------------------------------- /vsa/value_set/unit_tests/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/value_set/unit_tests/test.ml -------------------------------------------------------------------------------- /vsa/value_set/unit_tests/test_utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/value_set/unit_tests/test_utils.ml -------------------------------------------------------------------------------- /vsa/value_set/unit_tests/test_utils.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/value_set/unit_tests/test_utils.mli -------------------------------------------------------------------------------- /vsa/value_set/unit_tests/word_ops_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/vsa/value_set/unit_tests/word_ops_test.ml -------------------------------------------------------------------------------- /wp/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/Makefile -------------------------------------------------------------------------------- /wp/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/README.md -------------------------------------------------------------------------------- /wp/lib/bap_wp/.gitignore: -------------------------------------------------------------------------------- 1 | .merlin 2 | *.install 3 | _build 4 | -------------------------------------------------------------------------------- /wp/lib/bap_wp/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/Makefile -------------------------------------------------------------------------------- /wp/lib/bap_wp/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/README.md -------------------------------------------------------------------------------- /wp/lib/bap_wp/bap_wp.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/bap_wp.opam -------------------------------------------------------------------------------- /wp/lib/bap_wp/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 1.7) 2 | (name bap_wp) 3 | -------------------------------------------------------------------------------- /wp/lib/bap_wp/src/bil_to_bir.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/src/bil_to_bir.ml -------------------------------------------------------------------------------- /wp/lib/bap_wp/src/bil_to_bir.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/src/bil_to_bir.mli -------------------------------------------------------------------------------- /wp/lib/bap_wp/src/cfg_path.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/src/cfg_path.ml -------------------------------------------------------------------------------- /wp/lib/bap_wp/src/cfg_path.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/src/cfg_path.mli -------------------------------------------------------------------------------- /wp/lib/bap_wp/src/compare.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/src/compare.ml -------------------------------------------------------------------------------- /wp/lib/bap_wp/src/compare.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/src/compare.mli -------------------------------------------------------------------------------- /wp/lib/bap_wp/src/constraint.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/src/constraint.ml -------------------------------------------------------------------------------- /wp/lib/bap_wp/src/constraint.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/src/constraint.mli -------------------------------------------------------------------------------- /wp/lib/bap_wp/src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/src/dune -------------------------------------------------------------------------------- /wp/lib/bap_wp/src/environment.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/src/environment.ml -------------------------------------------------------------------------------- /wp/lib/bap_wp/src/environment.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/src/environment.mli -------------------------------------------------------------------------------- /wp/lib/bap_wp/src/loader.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/src/loader.ml -------------------------------------------------------------------------------- /wp/lib/bap_wp/src/loader.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/src/loader.mli -------------------------------------------------------------------------------- /wp/lib/bap_wp/src/output.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/src/output.ml -------------------------------------------------------------------------------- /wp/lib/bap_wp/src/output.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/src/output.mli -------------------------------------------------------------------------------- /wp/lib/bap_wp/src/precondition.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/src/precondition.ml -------------------------------------------------------------------------------- /wp/lib/bap_wp/src/precondition.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/src/precondition.mli -------------------------------------------------------------------------------- /wp/lib/bap_wp/src/ps.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/src/ps.ml -------------------------------------------------------------------------------- /wp/lib/bap_wp/src/ps.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/src/ps.mli -------------------------------------------------------------------------------- /wp/lib/bap_wp/src/run_parameters.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/src/run_parameters.ml -------------------------------------------------------------------------------- /wp/lib/bap_wp/src/run_parameters.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/src/run_parameters.mli -------------------------------------------------------------------------------- /wp/lib/bap_wp/src/runner.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/src/runner.ml -------------------------------------------------------------------------------- /wp/lib/bap_wp/src/runner.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/src/runner.mli -------------------------------------------------------------------------------- /wp/lib/bap_wp/src/symbol.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/src/symbol.ml -------------------------------------------------------------------------------- /wp/lib/bap_wp/src/symbol.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/src/symbol.mli -------------------------------------------------------------------------------- /wp/lib/bap_wp/src/utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/src/utils.ml -------------------------------------------------------------------------------- /wp/lib/bap_wp/src/utils.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/src/utils.mli -------------------------------------------------------------------------------- /wp/lib/bap_wp/src/z3_utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/src/z3_utils.ml -------------------------------------------------------------------------------- /wp/lib/bap_wp/src/z3_utils.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/src/z3_utils.mli -------------------------------------------------------------------------------- /wp/lib/bap_wp/tests/performance/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/tests/performance/dune -------------------------------------------------------------------------------- /wp/lib/bap_wp/tests/performance/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/tests/performance/test.ml -------------------------------------------------------------------------------- /wp/lib/bap_wp/tests/performance/test_precondition.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/tests/performance/test_precondition.ml -------------------------------------------------------------------------------- /wp/lib/bap_wp/tests/unit/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/tests/unit/dune -------------------------------------------------------------------------------- /wp/lib/bap_wp/tests/unit/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/tests/unit/test.ml -------------------------------------------------------------------------------- /wp/lib/bap_wp/tests/unit/test_cfg_path.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/tests/unit/test_cfg_path.ml -------------------------------------------------------------------------------- /wp/lib/bap_wp/tests/unit/test_compare.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/tests/unit/test_compare.ml -------------------------------------------------------------------------------- /wp/lib/bap_wp/tests/unit/test_constraint.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/tests/unit/test_constraint.ml -------------------------------------------------------------------------------- /wp/lib/bap_wp/tests/unit/test_output.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/tests/unit/test_output.ml -------------------------------------------------------------------------------- /wp/lib/bap_wp/tests/unit/test_precondition.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/tests/unit/test_precondition.ml -------------------------------------------------------------------------------- /wp/lib/bap_wp/tests/unit/test_utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/tests/unit/test_utils.ml -------------------------------------------------------------------------------- /wp/lib/bap_wp/tests/unit/test_z3_utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/tests/unit/test_z3_utils.ml -------------------------------------------------------------------------------- /wp/lib/bap_wp/tests/unit/testing_utilities.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/lib/bap_wp/tests/unit/testing_utilities.ml -------------------------------------------------------------------------------- /wp/plugin/.merlin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/plugin/.merlin -------------------------------------------------------------------------------- /wp/plugin/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/plugin/Makefile -------------------------------------------------------------------------------- /wp/plugin/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/plugin/README.md -------------------------------------------------------------------------------- /wp/plugin/api/c/cbat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/plugin/api/c/cbat.h -------------------------------------------------------------------------------- /wp/plugin/api/c/cbat_libc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/plugin/api/c/cbat_libc.h -------------------------------------------------------------------------------- /wp/plugin/design_decisions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/plugin/design_decisions.md -------------------------------------------------------------------------------- /wp/plugin/lib/wp_analysis.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/plugin/lib/wp_analysis.ml -------------------------------------------------------------------------------- /wp/plugin/lib/wp_analysis.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/plugin/lib/wp_analysis.mli -------------------------------------------------------------------------------- /wp/plugin/lib/wp_cache.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/plugin/lib/wp_cache.ml -------------------------------------------------------------------------------- /wp/plugin/lib/wp_cache.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/plugin/lib/wp_cache.mli -------------------------------------------------------------------------------- /wp/plugin/lib/wp_utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/plugin/lib/wp_utils.ml -------------------------------------------------------------------------------- /wp/plugin/lib/wp_utils.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/plugin/lib/wp_utils.mli -------------------------------------------------------------------------------- /wp/plugin/tests/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/plugin/tests/Makefile -------------------------------------------------------------------------------- /wp/plugin/tests/dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/plugin/tests/dune-project -------------------------------------------------------------------------------- /wp/plugin/tests/integration/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/plugin/tests/integration/dune -------------------------------------------------------------------------------- /wp/plugin/tests/integration/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/plugin/tests/integration/test.ml -------------------------------------------------------------------------------- /wp/plugin/tests/integration/test_wp_integration.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/plugin/tests/integration/test_wp_integration.ml -------------------------------------------------------------------------------- /wp/plugin/tests/test_libs/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/plugin/tests/test_libs/dune -------------------------------------------------------------------------------- /wp/plugin/tests/test_libs/test_wp_utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/plugin/tests/test_libs/test_wp_utils.ml -------------------------------------------------------------------------------- /wp/plugin/tests/unit/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/plugin/tests/unit/dune -------------------------------------------------------------------------------- /wp/plugin/tests/unit/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/plugin/tests/unit/test.ml -------------------------------------------------------------------------------- /wp/plugin/tests/unit/test_parameters.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/plugin/tests/unit/test_parameters.ml -------------------------------------------------------------------------------- /wp/plugin/tests/unit/test_wp_unit.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/plugin/tests/unit/test_wp_unit.ml -------------------------------------------------------------------------------- /wp/plugin/wp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/plugin/wp.ml -------------------------------------------------------------------------------- /wp/resources/images/cfg_mod.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/images/cfg_mod.svg -------------------------------------------------------------------------------- /wp/resources/images/cfg_orig.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/images/cfg_orig.svg -------------------------------------------------------------------------------- /wp/resources/images/large_cfg.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/images/large_cfg.svg -------------------------------------------------------------------------------- /wp/resources/images/process_status_diff.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/images/process_status_diff.png -------------------------------------------------------------------------------- /wp/resources/sample_binaries/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/arm/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/arm/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/arm/function_spec/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/arm/function_spec/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/arm/function_spec/bin/main: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/arm/function_spec/bin/main -------------------------------------------------------------------------------- /wp/resources/sample_binaries/arm/function_spec/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/arm/function_spec/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/arm/function_spec/run_wp_inline.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/arm/function_spec/run_wp_inline.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/arm/function_spec/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/arm/function_spec/src/main.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/arm/mem_comparison/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/arm/mem_comparison/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/arm/mem_comparison/bin/main_1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/arm/mem_comparison/bin/main_1 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/arm/mem_comparison/bin/main_2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/arm/mem_comparison/bin/main_2 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/arm/mem_comparison/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/arm/mem_comparison/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/arm/mem_comparison/src/main_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/arm/mem_comparison/src/main_1.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/arm/mem_comparison/src/main_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/arm/mem_comparison/src/main_2.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/arm/simple_compare/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/arm/simple_compare/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/arm/simple_compare/bin/main.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/arm/simple_compare/bin/main.o -------------------------------------------------------------------------------- /wp/resources/sample_binaries/arm/simple_compare/run_wp_r1.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/arm/simple_compare/run_wp_r1.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/arm/simple_compare/run_wp_r2.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/arm/simple_compare/run_wp_r2.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/arm/simple_compare/src/main.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/arm/simple_compare/src/main.asm -------------------------------------------------------------------------------- /wp/resources/sample_binaries/cbat-multicompiler-samples/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/cbat-multicompiler-samples/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/conditional_call/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/conditional_call/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/conditional_call/bin/main: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/conditional_call/bin/main -------------------------------------------------------------------------------- /wp/resources/sample_binaries/conditional_call/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/conditional_call/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/conditional_call/src/main.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/conditional_call/src/main.asm -------------------------------------------------------------------------------- /wp/resources/sample_binaries/debruijn/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/debruijn/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/debruijn/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/debruijn/README.md -------------------------------------------------------------------------------- /wp/resources/sample_binaries/debruijn/bin/main_1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/debruijn/bin/main_1 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/debruijn/bin/main_2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/debruijn/bin/main_2 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/debruijn/run_wp_16bit.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/debruijn/run_wp_16bit.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/debruijn/run_wp_32bit.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/debruijn/run_wp_32bit.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/debruijn/run_wp_32bit_boolector.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/debruijn/run_wp_32bit_boolector.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/debruijn/run_wp_8bit.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/debruijn/run_wp_8bit.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/debruijn/src/main_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/debruijn/src/main_1.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/debruijn/src/main_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/debruijn/src/main_2.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/diff_pointer_val/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/diff_pointer_val/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/diff_pointer_val/bin/main_1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/diff_pointer_val/bin/main_1 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/diff_pointer_val/bin/main_2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/diff_pointer_val/bin/main_2 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/diff_pointer_val/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/diff_pointer_val/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/diff_pointer_val/src/main_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/diff_pointer_val/src/main_1.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/diff_pointer_val/src/main_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/diff_pointer_val/src/main_2.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/diff_ret_val/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/diff_ret_val/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/diff_ret_val/bin/main_1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/diff_ret_val/bin/main_1 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/diff_ret_val/bin/main_2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/diff_ret_val/bin/main_2 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/diff_ret_val/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/diff_ret_val/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/diff_ret_val/src/main_1.c: -------------------------------------------------------------------------------- 1 | #include 2 | 3 | int main(void) { 4 | 5 | return 2; 6 | 7 | } 8 | -------------------------------------------------------------------------------- /wp/resources/sample_binaries/diff_ret_val/src/main_2.c: -------------------------------------------------------------------------------- 1 | #include 2 | 3 | int main(void) { 4 | 5 | return 5; 6 | 7 | } 8 | -------------------------------------------------------------------------------- /wp/resources/sample_binaries/double_dereference/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/double_dereference/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/double_dereference/bin/main_1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/double_dereference/bin/main_1 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/double_dereference/bin/main_2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/double_dereference/bin/main_2 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/double_dereference/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/double_dereference/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/double_dereference/src/main_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/double_dereference/src/main_1.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/double_dereference/src/main_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/double_dereference/src/main_2.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/equiv_argc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/equiv_argc/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/equiv_argc/bin/main_1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/equiv_argc/bin/main_1 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/equiv_argc/bin/main_2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/equiv_argc/bin/main_2 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/equiv_argc/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/equiv_argc/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/equiv_argc/run_wp_disallow.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/equiv_argc/run_wp_disallow.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/equiv_argc/run_wp_force.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/equiv_argc/run_wp_force.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/equiv_argc/src/main_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/equiv_argc/src/main_1.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/equiv_argc/src/main_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/equiv_argc/src/main_2.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/equiv_null_check/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/equiv_null_check/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/equiv_null_check/bin/main_1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/equiv_null_check/bin/main_1 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/equiv_null_check/bin/main_2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/equiv_null_check/bin/main_2 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/equiv_null_check/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/equiv_null_check/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/equiv_null_check/src/main_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/equiv_null_check/src/main_1.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/equiv_null_check/src/main_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/equiv_null_check/src/main_2.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/floating_point/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/floating_point/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/floating_point/comparison/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/floating_point/comparison/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/floating_point/comparison/sat/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/floating_point/comparison/sat/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/floating_point/single/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/floating_point/single/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/floating_point/single/bin/main: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/floating_point/single/bin/main -------------------------------------------------------------------------------- /wp/resources/sample_binaries/floating_point/single/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/floating_point/single/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/floating_point/single/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/floating_point/single/src/main.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/func_name_map/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/func_name_map/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/func_name_map/compare_calls/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/func_name_map/compare_calls/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/func_name_map/compare_calls/bin/main_1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/func_name_map/compare_calls/bin/main_1 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/func_name_map/compare_calls/bin/main_2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/func_name_map/compare_calls/bin/main_2 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/func_name_map/compare_calls/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/func_name_map/compare_calls/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/func_name_map/nested_calls/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/func_name_map/nested_calls/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/func_name_map/nested_calls/bin/main_1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/func_name_map/nested_calls/bin/main_1 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/func_name_map/nested_calls/bin/main_2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/func_name_map/nested_calls/bin/main_2 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/func_name_map/nested_calls/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/func_name_map/nested_calls/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/func_name_map/toplevel_func/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/func_name_map/toplevel_func/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/func_name_map/toplevel_func/bin/main_1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/func_name_map/toplevel_func/bin/main_1 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/func_name_map/toplevel_func/bin/main_2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/func_name_map/toplevel_func/bin/main_2 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/func_name_map/toplevel_func/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/func_name_map/toplevel_func/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/function_call/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/function_call/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/function_call/bin/main: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/function_call/bin/main -------------------------------------------------------------------------------- /wp/resources/sample_binaries/function_call/run_wp_inline_all.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/function_call/run_wp_inline_all.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/function_call/run_wp_inline_foo.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/function_call/run_wp_inline_foo.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/function_call/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/function_call/src/main.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/function_spec/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/function_spec/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/function_spec/bin/main: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/function_spec/bin/main -------------------------------------------------------------------------------- /wp/resources/sample_binaries/function_spec/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/function_spec/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/function_spec/run_wp_inline_all.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/function_spec/run_wp_inline_all.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/function_spec/run_wp_inline_foo.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/function_spec/run_wp_inline_foo.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/function_spec/run_wp_inline_garbage.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/function_spec/run_wp_inline_garbage.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/function_spec/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/function_spec/src/main.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/goto_string/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/goto_string/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/goto_string/bin/main: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/goto_string/bin/main -------------------------------------------------------------------------------- /wp/resources/sample_binaries/goto_string/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/goto_string/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/goto_string/run_wp_inline.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/goto_string/run_wp_inline.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/goto_string/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/goto_string/src/main.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/hash_function/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/hash_function/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/hash_function/bin/main: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/hash_function/bin/main -------------------------------------------------------------------------------- /wp/resources/sample_binaries/hash_function/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/hash_function/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/hash_function/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/hash_function/src/main.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/indirect_call_no_return/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/indirect_call_no_return/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/indirect_call_no_return/bin/main_1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/indirect_call_no_return/bin/main_1 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/indirect_call_no_return/bin/main_2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/indirect_call_no_return/bin/main_2 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/indirect_call_no_return/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/indirect_call_no_return/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/indirect_call_no_return/src/main_1.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/indirect_call_no_return/src/main_1.S -------------------------------------------------------------------------------- /wp/resources/sample_binaries/indirect_call_no_return/src/main_2.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/indirect_call_no_return/src/main_2.S -------------------------------------------------------------------------------- /wp/resources/sample_binaries/indirect_call_return/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/indirect_call_return/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/indirect_call_return/bin/main_1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/indirect_call_return/bin/main_1 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/indirect_call_return/bin/main_2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/indirect_call_return/bin/main_2 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/indirect_call_return/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/indirect_call_return/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/indirect_call_return/src/main_1.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/indirect_call_return/src/main_1.S -------------------------------------------------------------------------------- /wp/resources/sample_binaries/indirect_call_return/src/main_2.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/indirect_call_return/src/main_2.S -------------------------------------------------------------------------------- /wp/resources/sample_binaries/init_rodata/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/init_rodata/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/init_rodata/bin/main: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/init_rodata/bin/main -------------------------------------------------------------------------------- /wp/resources/sample_binaries/init_rodata/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/init_rodata/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/init_rodata/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/init_rodata/src/main.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/init_var/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/init_var/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/init_var/bin/main: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/init_var/bin/main -------------------------------------------------------------------------------- /wp/resources/sample_binaries/init_var/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/init_var/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/init_var/run_wp_sat.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/init_var/run_wp_sat.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/init_var/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/init_var/src/main.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/init_var_compare/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/init_var_compare/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/init_var_compare/bin/main_1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/init_var_compare/bin/main_1 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/init_var_compare/bin/main_2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/init_var_compare/bin/main_2 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/init_var_compare/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/init_var_compare/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/init_var_compare/run_wp_sat.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/init_var_compare/run_wp_sat.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/init_var_compare/src/main_1.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/init_var_compare/src/main_1.S -------------------------------------------------------------------------------- /wp/resources/sample_binaries/init_var_compare/src/main_2.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/init_var_compare/src/main_2.S -------------------------------------------------------------------------------- /wp/resources/sample_binaries/linked_list/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/linked_list/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/linked_list/bin/main: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/linked_list/bin/main -------------------------------------------------------------------------------- /wp/resources/sample_binaries/linked_list/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/linked_list/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/linked_list/run_wp_null_deref.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/linked_list/run_wp_null_deref.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/linked_list/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/linked_list/src/main.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop/loop_depth_one/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop/loop_depth_one/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop/loop_depth_one/bin/main_1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop/loop_depth_one/bin/main_1 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop/loop_depth_one/bin/main_2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop/loop_depth_one/bin/main_2 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop/loop_depth_one/run_wp_compare.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop/loop_depth_one/run_wp_compare.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop/loop_depth_one/run_wp_single.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop/loop_depth_one/run_wp_single.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop/loop_depth_one/src/main_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop/loop_depth_one/src/main_1.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop/loop_depth_one/src/main_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop/loop_depth_one/src/main_2.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop/loop_depth_two/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop/loop_depth_two/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop/loop_depth_two/bin/main: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop/loop_depth_two/bin/main -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop/loop_depth_two/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop/loop_depth_two/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop/loop_depth_two/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop/loop_depth_two/src/main.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop/loop_with_assert/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop/loop_with_assert/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop/loop_with_assert/bin/main: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop/loop_with_assert/bin/main -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop/loop_with_assert/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop/loop_with_assert/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop/loop_with_assert/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop/loop_with_assert/src/main.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop_invariant/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop_invariant/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop_invariant/break/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop_invariant/break/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop_invariant/break/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop_invariant/break/README.md -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop_invariant/break/bin/main: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop_invariant/break/bin/main -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop_invariant/break/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop_invariant/break/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop_invariant/break/run_wp_unroll.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop_invariant/break/run_wp_unroll.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop_invariant/break/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop_invariant/break/src/main.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop_invariant/do_while/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop_invariant/do_while/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop_invariant/do_while/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop_invariant/do_while/README.md -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop_invariant/do_while/bin/main: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop_invariant/do_while/bin/main -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop_invariant/do_while/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop_invariant/do_while/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop_invariant/do_while/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop_invariant/do_while/src/main.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop_invariant/in_registers/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop_invariant/in_registers/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop_invariant/in_registers/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop_invariant/in_registers/README.md -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop_invariant/in_registers/bin/main: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop_invariant/in_registers/bin/main -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop_invariant/in_registers/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop_invariant/in_registers/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop_invariant/in_registers/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop_invariant/in_registers/src/main.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop_invariant/non_terminating/loop_invariant.smt: -------------------------------------------------------------------------------- 1 | (((address 0xb) 2 | (invariant "(assert true)"))) 3 | -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop_invariant/nondet_iters/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop_invariant/nondet_iters/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop_invariant/nondet_iters/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop_invariant/nondet_iters/README.md -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop_invariant/nondet_iters/bin/main: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop_invariant/nondet_iters/bin/main -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop_invariant/nondet_iters/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop_invariant/nondet_iters/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop_invariant/nondet_iters/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop_invariant/nondet_iters/src/main.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop_invariant/on_stack/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop_invariant/on_stack/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop_invariant/on_stack/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop_invariant/on_stack/README.md -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop_invariant/on_stack/bin/main: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop_invariant/on_stack/bin/main -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop_invariant/on_stack/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop_invariant/on_stack/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/loop_invariant/on_stack/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/loop_invariant/on_stack/src/main.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/malloc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/malloc/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/malloc/compare_simple/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/malloc/compare_simple/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/malloc/compare_simple/bin/main_1.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/malloc/compare_simple/bin/main_1.o -------------------------------------------------------------------------------- /wp/resources/sample_binaries/malloc/compare_simple/bin/main_2.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/malloc/compare_simple/bin/main_2.o -------------------------------------------------------------------------------- /wp/resources/sample_binaries/malloc/compare_simple/run_wp_sat.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/malloc/compare_simple/run_wp_sat.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/malloc/compare_simple/run_wp_unsat.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/malloc/compare_simple/run_wp_unsat.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/malloc/compare_simple/src/main_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/malloc/compare_simple/src/main_1.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/malloc/compare_simple/src/main_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/malloc/compare_simple/src/main_2.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/memcpy/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/memcpy/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/memcpy/memcpy_example/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/memcpy/memcpy_example/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/memcpy/memcpy_example/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/memcpy/memcpy_example/README.md -------------------------------------------------------------------------------- /wp/resources/sample_binaries/memcpy/memcpy_example/bin/main: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/memcpy/memcpy_example/bin/main -------------------------------------------------------------------------------- /wp/resources/sample_binaries/memcpy/memcpy_example/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/memcpy/memcpy_example/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/memcpy/memcpy_example/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/memcpy/memcpy_example/src/main.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/memcpy/memcpy_example_2/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/memcpy/memcpy_example_2/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/memcpy/memcpy_example_2/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/memcpy/memcpy_example_2/README.md -------------------------------------------------------------------------------- /wp/resources/sample_binaries/memcpy/memcpy_example_2/bin/main: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/memcpy/memcpy_example_2/bin/main -------------------------------------------------------------------------------- /wp/resources/sample_binaries/memcpy/memcpy_example_2/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/memcpy/memcpy_example_2/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/memcpy/memcpy_example_2/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/memcpy/memcpy_example_2/src/main.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/memory_samples/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/memory_samples/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/memory_samples/arrays/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/memory_samples/arrays/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/memory_samples/arrays/bin/main_1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/memory_samples/arrays/bin/main_1 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/memory_samples/arrays/bin/main_2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/memory_samples/arrays/bin/main_2 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/memory_samples/arrays/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/memory_samples/arrays/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/memory_samples/arrays/run_wp_pre.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/memory_samples/arrays/run_wp_pre.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/memory_samples/arrays/src/main_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/memory_samples/arrays/src/main_1.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/memory_samples/arrays/src/main_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/memory_samples/arrays/src/main_2.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/memory_samples/diff_data/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/memory_samples/diff_data/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/memory_samples/diff_data/bin/main_1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/memory_samples/diff_data/bin/main_1 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/memory_samples/diff_data/bin/main_2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/memory_samples/diff_data/bin/main_2 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/memory_samples/diff_data/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/memory_samples/diff_data/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/memory_samples/diff_data/src/main_1.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/memory_samples/diff_data/src/main_1.S -------------------------------------------------------------------------------- /wp/resources/sample_binaries/memory_samples/diff_data/src/main_2.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/memory_samples/diff_data/src/main_2.S -------------------------------------------------------------------------------- /wp/resources/sample_binaries/memory_samples/diff_stack/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/memory_samples/diff_stack/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/memory_samples/diff_stack/bin/main_1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/memory_samples/diff_stack/bin/main_1 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/memory_samples/diff_stack/bin/main_2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/memory_samples/diff_stack/bin/main_2 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/memory_samples/diff_stack/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/memory_samples/diff_stack/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/memory_samples/diff_stack/src/main_1.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/memory_samples/diff_stack/src/main_1.S -------------------------------------------------------------------------------- /wp/resources/sample_binaries/memory_samples/diff_stack/src/main_2.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/memory_samples/diff_stack/src/main_2.S -------------------------------------------------------------------------------- /wp/resources/sample_binaries/memory_samples/mem_hooks/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/memory_samples/mem_hooks/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/memory_samples/mem_hooks/bin/main_1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/memory_samples/mem_hooks/bin/main_1 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/memory_samples/mem_hooks/bin/main_2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/memory_samples/mem_hooks/bin/main_2 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/memory_samples/mem_hooks/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/memory_samples/mem_hooks/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/memory_samples/mem_hooks/src/main_1.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/memory_samples/mem_hooks/src/main_1.S -------------------------------------------------------------------------------- /wp/resources/sample_binaries/memory_samples/mem_hooks/src/main_2.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/memory_samples/mem_hooks/src/main_2.S -------------------------------------------------------------------------------- /wp/resources/sample_binaries/memory_samples/name_matching/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/memory_samples/name_matching/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/memory_samples/name_matching/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/memory_samples/name_matching/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/nested_function_calls/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/nested_function_calls/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/nested_function_calls/bin/main: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/nested_function_calls/bin/main -------------------------------------------------------------------------------- /wp/resources/sample_binaries/nested_function_calls/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/nested_function_calls/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/nested_function_calls/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/nested_function_calls/src/main.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/nested_ifs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/nested_ifs/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/nested_ifs/bin/main: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/nested_ifs/bin/main -------------------------------------------------------------------------------- /wp/resources/sample_binaries/nested_ifs/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/nested_ifs/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/nested_ifs/run_wp_goto.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/nested_ifs/run_wp_goto.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/nested_ifs/run_wp_inline.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/nested_ifs/run_wp_inline.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/nested_ifs/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/nested_ifs/src/main.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/no_position_independent/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/no_position_independent/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/no_position_independent/bin/main_1.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/no_position_independent/bin/main_1.so -------------------------------------------------------------------------------- /wp/resources/sample_binaries/no_position_independent/bin/main_2.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/no_position_independent/bin/main_2.so -------------------------------------------------------------------------------- /wp/resources/sample_binaries/no_position_independent/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/no_position_independent/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/no_position_independent/src/main_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/no_position_independent/src/main_1.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/no_position_independent/src/main_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/no_position_independent/src/main_2.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/no_stack_protection/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/no_stack_protection/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/no_stack_protection/bin/main_1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/no_stack_protection/bin/main_1 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/no_stack_protection/bin/main_2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/no_stack_protection/bin/main_2 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/no_stack_protection/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/no_stack_protection/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/no_stack_protection/src/main_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/no_stack_protection/src/main_1.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/no_stack_protection/src/main_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/no_stack_protection/src/main_2.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/non_null_check/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/non_null_check/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/non_null_check/bin/main_1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/non_null_check/bin/main_1 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/non_null_check/bin/main_2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/non_null_check/bin/main_2 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/non_null_check/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/non_null_check/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/non_null_check/run_wp_null_deref.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/non_null_check/run_wp_null_deref.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/non_null_check/src/main_1.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/non_null_check/src/main_1.S -------------------------------------------------------------------------------- /wp/resources/sample_binaries/non_null_check/src/main_2.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/non_null_check/src/main_2.S -------------------------------------------------------------------------------- /wp/resources/sample_binaries/nqueens/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/nqueens/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/nqueens/bin/main_10: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/nqueens/bin/main_10 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/nqueens/bin/main_11: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/nqueens/bin/main_11 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/nqueens/bin/main_12: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/nqueens/bin/main_12 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/nqueens/bin/main_13: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/nqueens/bin/main_13 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/nqueens/bin/main_14: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/nqueens/bin/main_14 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/nqueens/bin/main_15: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/nqueens/bin/main_15 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/nqueens/bin/main_16: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/nqueens/bin/main_16 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/nqueens/bin/main_17: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/nqueens/bin/main_17 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/nqueens/bin/main_18: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/nqueens/bin/main_18 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/nqueens/bin/main_19: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/nqueens/bin/main_19 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/nqueens/bin/main_4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/nqueens/bin/main_4 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/nqueens/bin/main_5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/nqueens/bin/main_5 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/nqueens/bin/main_6: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/nqueens/bin/main_6 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/nqueens/bin/main_7: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/nqueens/bin/main_7 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/nqueens/bin/main_8: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/nqueens/bin/main_8 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/nqueens/bin/main_9: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/nqueens/bin/main_9 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/nqueens/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/nqueens/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/nqueens/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/nqueens/src/main.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/null_deref/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/null_deref/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/null_deref/bin/main: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/null_deref/bin/main -------------------------------------------------------------------------------- /wp/resources/sample_binaries/null_deref/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/null_deref/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/null_deref/run_wp_null_deref.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/null_deref/run_wp_null_deref.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/null_deref/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/null_deref/src/main.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/ogre_files/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/ogre_files/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/ogre_files/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/ogre_files/README.md -------------------------------------------------------------------------------- /wp/resources/sample_binaries/ogre_files/bin/main_1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/ogre_files/bin/main_1 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/ogre_files/bin/main_1_stripped: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/ogre_files/bin/main_1_stripped -------------------------------------------------------------------------------- /wp/resources/sample_binaries/ogre_files/bin/main_2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/ogre_files/bin/main_2 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/ogre_files/bin/main_2_stripped: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/ogre_files/bin/main_2_stripped -------------------------------------------------------------------------------- /wp/resources/sample_binaries/ogre_files/loader.ogre: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/ogre_files/loader.ogre -------------------------------------------------------------------------------- /wp/resources/sample_binaries/ogre_files/main1.ogre: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/ogre_files/main1.ogre -------------------------------------------------------------------------------- /wp/resources/sample_binaries/ogre_files/main2.ogre: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/ogre_files/main2.ogre -------------------------------------------------------------------------------- /wp/resources/sample_binaries/ogre_files/run_wp1.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/ogre_files/run_wp1.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/ogre_files/run_wp2.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/ogre_files/run_wp2.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/ogre_files/run_wp3.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/ogre_files/run_wp3.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/ogre_files/run_wp4.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/ogre_files/run_wp4.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/ogre_files/run_wp5.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/ogre_files/run_wp5.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/ogre_files/run_wp6.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/ogre_files/run_wp6.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/ogre_files/src/main_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/ogre_files/src/main_1.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/ogre_files/src/main_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/ogre_files/src/main_2.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/optimization_flags.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/optimization_flags.mk -------------------------------------------------------------------------------- /wp/resources/sample_binaries/pointer_flag/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/pointer_flag/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/pointer_flag/bin/main_1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/pointer_flag/bin/main_1 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/pointer_flag/bin/main_2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/pointer_flag/bin/main_2 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/pointer_flag/run_wp_sat.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/pointer_flag/run_wp_sat.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/pointer_flag/run_wp_unsat.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/pointer_flag/run_wp_unsat.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/pointer_flag/src/main_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/pointer_flag/src/main_1.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/pointer_flag/src/main_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/pointer_flag/src/main_2.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/pointer_flag_rsp/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/pointer_flag_rsp/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/pointer_flag_rsp/bin/main: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/pointer_flag_rsp/bin/main -------------------------------------------------------------------------------- /wp/resources/sample_binaries/pointer_flag_rsp/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/pointer_flag_rsp/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/pointer_flag_rsp/src/main.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/pointer_flag_rsp/src/main.S -------------------------------------------------------------------------------- /wp/resources/sample_binaries/pointer_flag_single/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/pointer_flag_single/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/pointer_flag_single/bin/main: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/pointer_flag_single/bin/main -------------------------------------------------------------------------------- /wp/resources/sample_binaries/pointer_flag_single/run_wp_sat.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/pointer_flag_single/run_wp_sat.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/pointer_flag_single/run_wp_unsat.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/pointer_flag_single/run_wp_unsat.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/pointer_flag_single/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/pointer_flag_single/src/main.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/pointer_input/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/pointer_input/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/pointer_input/bin/main_1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/pointer_input/bin/main_1 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/pointer_input/bin/main_2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/pointer_input/bin/main_2 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/pointer_input/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/pointer_input/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/pointer_input/src/main_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/pointer_input/src/main_1.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/pointer_input/src/main_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/pointer_input/src/main_2.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/position_independent/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/position_independent/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/position_independent/bin/main_1.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/position_independent/bin/main_1.so -------------------------------------------------------------------------------- /wp/resources/sample_binaries/position_independent/bin/main_2.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/position_independent/bin/main_2.so -------------------------------------------------------------------------------- /wp/resources/sample_binaries/position_independent/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/position_independent/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/position_independent/src/main_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/position_independent/src/main_1.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/position_independent/src/main_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/position_independent/src/main_2.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/retrowrite_stub/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/retrowrite_stub/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/retrowrite_stub/bin/main_1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/retrowrite_stub/bin/main_1 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/retrowrite_stub/bin/main_2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/retrowrite_stub/bin/main_2 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/retrowrite_stub/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/retrowrite_stub/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/retrowrite_stub/run_wp_inline_afl.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/retrowrite_stub/run_wp_inline_afl.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/retrowrite_stub/run_wp_inline_all.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/retrowrite_stub/run_wp_inline_all.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/retrowrite_stub/src/main_1.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/retrowrite_stub/src/main_1.S -------------------------------------------------------------------------------- /wp/resources/sample_binaries/retrowrite_stub/src/main_2.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/retrowrite_stub/src/main_2.S -------------------------------------------------------------------------------- /wp/resources/sample_binaries/retrowrite_stub_no_ret/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/retrowrite_stub_no_ret/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/retrowrite_stub_no_ret/bin/main_1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/retrowrite_stub_no_ret/bin/main_1 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/retrowrite_stub_no_ret/bin/main_2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/retrowrite_stub_no_ret/bin/main_2 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/retrowrite_stub_no_ret/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/retrowrite_stub_no_ret/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/retrowrite_stub_no_ret/src/main_1.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/retrowrite_stub_no_ret/src/main_1.S -------------------------------------------------------------------------------- /wp/resources/sample_binaries/retrowrite_stub_no_ret/src/main_2.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/retrowrite_stub_no_ret/src/main_2.S -------------------------------------------------------------------------------- /wp/resources/sample_binaries/return_argc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/return_argc/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/return_argc/bin/main: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/return_argc/bin/main -------------------------------------------------------------------------------- /wp/resources/sample_binaries/return_argc/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/return_argc/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/return_argc/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/return_argc/src/main.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/same_null_deref/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/same_null_deref/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/same_null_deref/bin/main_1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/same_null_deref/bin/main_1 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/same_null_deref/bin/main_2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/same_null_deref/bin/main_2 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/same_null_deref/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/same_null_deref/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/same_null_deref/src/main_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/same_null_deref/src/main_1.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/same_null_deref/src/main_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/same_null_deref/src/main_2.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/same_signs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/same_signs/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/same_signs/bin/main_1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/same_signs/bin/main_1 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/same_signs/bin/main_2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/same_signs/bin/main_2 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/same_signs/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/same_signs/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/same_signs/run_wp_postcond.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/same_signs/run_wp_postcond.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/same_signs/src/main_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/same_signs/src/main_1.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/same_signs/src/main_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/same_signs/src/main_2.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/simple_wp/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/simple_wp/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/simple_wp/bin/main: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/simple_wp/bin/main -------------------------------------------------------------------------------- /wp/resources/sample_binaries/simple_wp/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/simple_wp/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/simple_wp/run_wp_pre.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/simple_wp/run_wp_pre.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/simple_wp/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/simple_wp/src/main.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/simple_wp/src/main_with_struct.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/simple_wp/src/main_with_struct.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/sudoku_2_by_2/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/sudoku_2_by_2/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/sudoku_2_by_2/bin/main: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/sudoku_2_by_2/bin/main -------------------------------------------------------------------------------- /wp/resources/sample_binaries/sudoku_2_by_2/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/sudoku_2_by_2/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/sudoku_2_by_2/run_wp_boolector.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/sudoku_2_by_2/run_wp_boolector.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/sudoku_2_by_2/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/sudoku_2_by_2/src/main.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/sudoku_3_by_3/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/sudoku_3_by_3/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/sudoku_3_by_3/bin/main: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/sudoku_3_by_3/bin/main -------------------------------------------------------------------------------- /wp/resources/sample_binaries/sudoku_3_by_3/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/sudoku_3_by_3/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/sudoku_3_by_3/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/sudoku_3_by_3/src/main.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/switch_case_assignments/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/switch_case_assignments/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/switch_case_assignments/bin/main_1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/switch_case_assignments/bin/main_1 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/switch_case_assignments/bin/main_2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/switch_case_assignments/bin/main_2 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/switch_case_assignments/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/switch_case_assignments/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/switch_case_assignments/src/main_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/switch_case_assignments/src/main_1.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/switch_case_assignments/src/main_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/switch_case_assignments/src/main_2.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/switch_cases/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/switch_cases/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/switch_cases/bin/main_1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/switch_cases/bin/main_1 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/switch_cases/bin/main_2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/switch_cases/bin/main_2 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/switch_cases/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/switch_cases/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/switch_cases/src/main_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/switch_cases/src/main_1.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/switch_cases/src/main_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/switch_cases/src/main_2.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/switch_cases_diff_ret/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/switch_cases_diff_ret/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/switch_cases_diff_ret/bin/main_1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/switch_cases_diff_ret/bin/main_1 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/switch_cases_diff_ret/bin/main_2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/switch_cases_diff_ret/bin/main_2 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/switch_cases_diff_ret/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/switch_cases_diff_ret/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/switch_cases_diff_ret/src/main_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/switch_cases_diff_ret/src/main_1.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/switch_cases_diff_ret/src/main_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/switch_cases_diff_ret/src/main_2.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/unconditional_call/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/unconditional_call/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/unconditional_call/bin/main: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/unconditional_call/bin/main -------------------------------------------------------------------------------- /wp/resources/sample_binaries/unconditional_call/run_wp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/unconditional_call/run_wp.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/unconditional_call/src/main.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/unconditional_call/src/main.asm -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/sub_spec_1/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/sub_spec_1/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/sub_spec_1/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/sub_spec_1/README.md -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/sub_spec_1/bin/main: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/sub_spec_1/bin/main -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/sub_spec_1/run_wp_1.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/sub_spec_1/run_wp_1.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/sub_spec_1/run_wp_2.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/sub_spec_1/run_wp_2.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/sub_spec_1/run_wp_3.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/sub_spec_1/run_wp_3.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/sub_spec_1/run_wp_4.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/sub_spec_1/run_wp_4.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/sub_spec_1/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/sub_spec_1/src/main.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/sub_spec_2/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/sub_spec_2/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/sub_spec_2/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/sub_spec_2/README.md -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/sub_spec_2/bin/main: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/sub_spec_2/bin/main -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/sub_spec_2/run_wp_1.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/sub_spec_2/run_wp_1.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/sub_spec_2/run_wp_2.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/sub_spec_2/run_wp_2.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/sub_spec_2/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/sub_spec_2/src/main.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/sub_spec_3/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/sub_spec_3/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/sub_spec_3/bin/main_1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/sub_spec_3/bin/main_1 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/sub_spec_3/bin/main_2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/sub_spec_3/bin/main_2 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/sub_spec_4/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/sub_spec_4/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/sub_spec_4/bin/main_1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/sub_spec_4/bin/main_1 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/sub_spec_4/bin/main_2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/sub_spec_4/bin/main_2 -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/sub_spec_4/run_wp_1.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/sub_spec_4/run_wp_1.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/sub_spec_4/src/main_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/sub_spec_4/src/main_1.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/sub_spec_4/src/main_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/sub_spec_4/src/main_2.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/sub_spec_5/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/sub_spec_5/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/sub_spec_5/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/sub_spec_5/README.md -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/sub_spec_5/bin/main: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/sub_spec_5/bin/main -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/sub_spec_5/run_wp_1.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/sub_spec_5/run_wp_1.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/sub_spec_5/run_wp_2.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/sub_spec_5/run_wp_2.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/sub_spec_5/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/sub_spec_5/src/main.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/sub_spec_6/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/sub_spec_6/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/sub_spec_6/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/sub_spec_6/README.md -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/sub_spec_6/bin/mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/sub_spec_6/bin/mod -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/sub_spec_6/bin/orig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/sub_spec_6/bin/orig -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/sub_spec_6/run_wp_1.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/sub_spec_6/run_wp_1.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/sub_spec_6/run_wp_2.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/sub_spec_6/run_wp_2.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/sub_spec_6/run_wp_3.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/sub_spec_6/run_wp_3.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/sub_spec_6/run_wp_4.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/sub_spec_6/run_wp_4.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/sub_spec_6/run_wp_5.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/sub_spec_6/run_wp_5.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/sub_spec_6/run_wp_6.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/sub_spec_6/run_wp_6.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/sub_spec_6/src/mod.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/sub_spec_6/src/mod.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/user_func_spec/sub_spec_6/src/orig.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/user_func_spec/sub_spec_6/src/orig.c -------------------------------------------------------------------------------- /wp/resources/sample_binaries/verifier_calls/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/verifier_calls/Makefile -------------------------------------------------------------------------------- /wp/resources/sample_binaries/verifier_calls/bin/verifier_nondet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/verifier_calls/bin/verifier_nondet -------------------------------------------------------------------------------- /wp/resources/sample_binaries/verifier_calls/run_wp_assume_sat.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/verifier_calls/run_wp_assume_sat.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/verifier_calls/run_wp_nondet.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/verifier_calls/run_wp_nondet.sh -------------------------------------------------------------------------------- /wp/resources/sample_binaries/verifier_calls/src/verifier_nondet.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/resources/sample_binaries/verifier_calls/src/verifier_nondet.c -------------------------------------------------------------------------------- /wp/scripts/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/scripts/README.md -------------------------------------------------------------------------------- /wp/scripts/run.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/scripts/run.bash -------------------------------------------------------------------------------- /wp/scripts/run_single.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/draperlaboratory/cbat_tools/HEAD/wp/scripts/run_single.bash --------------------------------------------------------------------------------