├── .github ├── actions │ └── install-ghidra │ │ └── action.yml └── workflows │ ├── alpine.yml │ ├── archlinux.yml │ ├── debian-testing.yml │ ├── fedora.yml │ ├── full.yml │ ├── lint.yml │ ├── main.yml │ ├── nightly.yml │ ├── oasis.yml │ ├── opam.yml │ ├── publish-docker-image-release.yml │ ├── publish-docker-image.yml │ ├── release.yml │ ├── ubuntu-bionic.yml │ └── weekly-regress.yml ├── .gitignore ├── .gitmodules ├── .run_travis_tests.sh ├── CHANGES.md ├── LICENSE ├── Makefile ├── OMakefile ├── OMakeroot ├── README.md ├── _tags.in ├── bap-abi.opam ├── bap-analyze.opam ├── bap-api.opam ├── bap-arm.opam ├── bap-beagle-strings.opam ├── bap-beagle.opam ├── bap-bil.opam ├── bap-bml.opam ├── bap-build.opam ├── bap-bundle.opam ├── bap-byteweight-frontend.opam ├── bap-byteweight.opam ├── bap-c.opam ├── bap-cache.opam ├── bap-callgraph-collator.opam ├── bap-callsites.opam ├── bap-common.opam ├── bap-constant-tracker.opam ├── bap-core-theory.opam ├── bap-core.opam ├── bap-cxxfilt.opam ├── bap-demangle.opam ├── bap-dependencies.opam ├── bap-disassemble.opam ├── bap-dump-symbols.opam ├── bap-dwarf.opam ├── bap-elementary.opam ├── bap-elf.opam ├── bap-extra.opam ├── bap-flatten.opam ├── bap-frontc.opam ├── bap-frontend.opam ├── bap-future.opam ├── bap-ghidra.opam ├── bap-glibc-runtime.opam ├── bap-ida-plugin.opam ├── bap-ida.opam ├── bap-knowledge.opam ├── bap-llvm.opam ├── bap-llvm.opam.template ├── bap-main.opam ├── bap-mc.opam ├── bap-microx.opam ├── bap-mips.opam ├── bap-objdump.opam ├── bap-objdump.opam.template ├── bap-optimization.opam ├── bap-patterns.opam ├── bap-phoenix.opam ├── bap-piqi.opam ├── bap-plugins.opam ├── bap-powerpc.opam ├── bap-primus-dictionary.opam ├── bap-primus-exploring-scheduler.opam ├── bap-primus-greedy-scheduler.opam ├── bap-primus-limit.opam ├── bap-primus-lisp.opam ├── bap-primus-loader.opam ├── bap-primus-mark-visited.opam ├── bap-primus-powerpc.opam ├── bap-primus-print.opam ├── bap-primus-promiscuous.opam ├── bap-primus-propagate-taint.opam ├── bap-primus-random.opam ├── bap-primus-region.opam ├── bap-primus-round-robin-scheduler.opam ├── bap-primus-support.opam ├── bap-primus-symbolic-executor.opam ├── bap-primus-systems.opam ├── bap-primus-taint.opam ├── bap-primus-test.opam ├── bap-primus-track-visited.opam ├── bap-primus-wandering-scheduler.opam ├── bap-primus-x86.opam ├── bap-primus.opam ├── bap-print.opam ├── bap-radare2.opam ├── bap-raw.opam ├── bap-recipe-command.opam ├── bap-recipe.opam ├── bap-relation.opam ├── bap-relocatable.opam ├── bap-report.opam ├── bap-riscv.opam ├── bap-run.opam ├── bap-signatures.opam ├── bap-signatures.opam.template ├── bap-specification.opam ├── bap-ssa.opam ├── bap-std.opam ├── bap-strings.opam ├── bap-stub-resolver.opam ├── bap-symbol-reader.opam ├── bap-systemz.opam ├── bap-taint-propagator.opam ├── bap-taint.opam ├── bap-term-mapper.opam ├── bap-thumb.opam ├── bap-toplevel.opam ├── bap-trace.opam ├── bap-traces.opam ├── bap-trivial-condition-form.opam ├── bap-warn-unused.opam ├── bap-x86.opam ├── bap.opam ├── bare.opam ├── benchmarks ├── bench_dom.ml ├── bench_image.ml ├── bench_image.mli └── run_benchmarks.ml ├── bitvec-binprot.opam ├── bitvec-order.opam ├── bitvec-sexp.opam ├── bitvec.opam ├── configure ├── configure-omake ├── doc └── Makefile ├── docker ├── 2.4.0 │ └── Dockerfile ├── 2.5.0 │ └── Dockerfile ├── alpine │ └── Dockerfile ├── archlinux │ └── Dockerfile ├── debian │ └── testing │ │ └── Dockerfile ├── fedora │ └── Dockerfile └── ubuntu │ ├── bionic │ └── Dockerfile │ ├── noble │ └── Dockerfile │ └── xenial │ └── Dockerfile ├── dune ├── dune-project ├── graphlib.opam ├── lib ├── arm │ ├── ARM.ml │ ├── arm_bit.ml │ ├── arm_bit.mli │ ├── arm_branch.ml │ ├── arm_branch.mli │ ├── arm_cond.ml │ ├── arm_cond.mli │ ├── arm_env.ml │ ├── arm_env.mli │ ├── arm_flags.ml │ ├── arm_flags.mli │ ├── arm_helpers.ml │ ├── arm_helpers.mli │ ├── arm_insn.ml │ ├── arm_insn.mli │ ├── arm_lifter.ml │ ├── arm_lifter.mli │ ├── arm_mem.ml │ ├── arm_mem.mli │ ├── arm_mem_shift.ml │ ├── arm_mem_shift.mli │ ├── arm_mov.ml │ ├── arm_mov.mli │ ├── arm_mul.ml │ ├── arm_mul.mli │ ├── arm_op.ml │ ├── arm_op.mli │ ├── arm_reg.ml │ ├── arm_reg.mli │ ├── arm_shift.ml │ ├── arm_shift.mli │ ├── arm_target.ml │ ├── arm_target.mli │ ├── arm_types.ml │ ├── arm_utils.ml │ ├── arm_utils.mli │ └── dune ├── bap │ ├── bap.ml │ ├── bap.mli │ ├── bap_init_toplevel.ml │ ├── bap_init_toplevel.mli │ ├── bap_project.ml │ ├── bap_project.mli │ ├── bap_self.ml │ ├── bap_self.mli │ └── dune ├── bap_abi │ ├── bap_abi.ml │ ├── bap_abi.mli │ └── dune ├── bap_api │ ├── bap_api.ml │ ├── bap_api.mli │ └── dune ├── bap_bml │ ├── bap_bml.ml │ ├── bap_bml.mli │ └── dune ├── bap_build │ ├── bap_build.ml │ ├── bap_build.mli │ └── dune ├── bap_bundle │ ├── bap_bundle.ml │ ├── bap_bundle.mli │ ├── bap_bundle_config.ml.ab │ └── dune ├── bap_byteweight │ ├── bap_byteweight.ml │ ├── bap_byteweight.mli │ ├── bap_byteweight_signatures.ml │ ├── bap_byteweight_signatures.mli │ └── dune ├── bap_c │ ├── .ocamlinit │ ├── bap_c.ml │ ├── bap_c_abi.ml │ ├── bap_c_abi.mli │ ├── bap_c_attr.ml │ ├── bap_c_attr.mli │ ├── bap_c_data.ml │ ├── bap_c_data.mli │ ├── bap_c_parser.ml │ ├── bap_c_parser.mli │ ├── bap_c_size.ml │ ├── bap_c_size.mli │ ├── bap_c_term_attributes.ml │ ├── bap_c_term_attributes.mli │ ├── bap_c_type.ml │ ├── bap_c_type.mli │ ├── bap_c_type_mapper.ml │ ├── bap_c_type_mapper.mli │ ├── bap_c_type_mapper_intf.ml │ ├── bap_c_type_printer.ml │ ├── bap_c_type_printer.mli │ └── dune ├── bap_core_theory │ ├── bap_core_theory.ml │ ├── bap_core_theory.mli │ ├── bap_core_theory_IEEE754.ml │ ├── bap_core_theory_IEEE754.mli │ ├── bap_core_theory_basic.ml │ ├── bap_core_theory_basic.mli │ ├── bap_core_theory_definition.ml │ ├── bap_core_theory_effect.ml │ ├── bap_core_theory_effect.mli │ ├── bap_core_theory_empty.ml │ ├── bap_core_theory_empty.mli │ ├── bap_core_theory_grammar_definition.ml │ ├── bap_core_theory_manager.ml │ ├── bap_core_theory_manager.mli │ ├── bap_core_theory_parser.ml │ ├── bap_core_theory_parser.mli │ ├── bap_core_theory_pass.ml │ ├── bap_core_theory_pass.mli │ ├── bap_core_theory_program.ml │ ├── bap_core_theory_program.mli │ ├── bap_core_theory_target.ml │ ├── bap_core_theory_target.mli │ ├── bap_core_theory_value.ml │ ├── bap_core_theory_value.mli │ ├── bap_core_theory_var.ml │ ├── bap_core_theory_var.mli │ └── dune ├── bap_demangle │ ├── bap_demangle.ml │ ├── bap_demangle.mli │ └── dune ├── bap_disasm │ ├── OMakefile │ ├── bap_disasm.ml │ ├── bap_disasm.mli │ ├── bap_disasm_backend_types.ml │ ├── bap_disasm_basic.ml │ ├── bap_disasm_basic.mli │ ├── bap_disasm_block.ml │ ├── bap_disasm_block.mli │ ├── bap_disasm_brancher.ml │ ├── bap_disasm_brancher.mli │ ├── bap_disasm_calls.ml │ ├── bap_disasm_calls.mli │ ├── bap_disasm_driver.ml │ ├── bap_disasm_driver.mli │ ├── bap_disasm_insn.ml │ ├── bap_disasm_insn.mli │ ├── bap_disasm_linear_sweep.ml │ ├── bap_disasm_linear_sweep.mli │ ├── bap_disasm_prim.ml │ ├── bap_disasm_rec.ml │ ├── bap_disasm_rec.mli │ ├── bap_disasm_reconstructor.ml │ ├── bap_disasm_reconstructor.mli │ ├── bap_disasm_rooter.ml │ ├── bap_disasm_rooter.mli │ ├── bap_disasm_source.ml │ ├── bap_disasm_source.mli │ ├── bap_disasm_source_factory.ml │ ├── bap_disasm_source_factory.mli │ ├── bap_disasm_source_intf.ml │ ├── bap_disasm_std.ml │ ├── bap_disasm_symbolizer.ml │ ├── bap_disasm_symbolizer.mli │ ├── bap_disasm_symtab.ml │ ├── bap_disasm_symtab.mli │ ├── bap_disasm_target_factory.ml │ ├── bap_disasm_target_intf.ml │ ├── bap_disasm_types.ml │ ├── bap_insn_aliasing.ml │ ├── bap_insn_kind.ml │ ├── disasm.cpp │ ├── disasm.h │ ├── disasm.hpp │ ├── disasm_stubs.c │ └── dune ├── bap_dwarf │ ├── bap_dwarf.ml │ ├── bap_dwarf.mli │ ├── dune │ ├── dwarf_data.ml │ ├── dwarf_data.mli │ ├── dwarf_fbi.ml │ ├── dwarf_fbi.mli │ ├── dwarf_input.ml │ ├── dwarf_input.mli │ ├── dwarf_leb128.ml │ ├── dwarf_leb128.mli │ └── dwarf_types.ml ├── bap_elementary │ ├── bap_elementary.ml │ ├── bap_elementary.mli │ └── dune ├── bap_elf │ ├── LICENSE │ ├── bap_elf.ml │ ├── bap_elf.mli │ ├── dune │ ├── elf_internal_utils.ml │ ├── elf_internal_utils.mli │ ├── elf_parse.ml │ ├── elf_parse.mli │ ├── elf_types.ml │ ├── elf_utils.ml │ └── elf_utils.mli ├── bap_future │ ├── bap_future.ml │ ├── bap_future.mli │ └── dune ├── bap_ghidra │ ├── OMakefile │ ├── bap_ghidra.ml │ ├── bap_ghidra.mli │ ├── dune │ ├── ghidra_disasm.cpp │ ├── ghidra_disasm.h │ ├── ghidra_disasm.hpp │ └── ghidra_stubs.c ├── bap_ida │ ├── bap_ida.ml │ ├── bap_ida.mli │ └── dune ├── bap_image │ ├── bap_fileutils.ml │ ├── bap_fileutils.mli │ ├── bap_image.ml │ ├── bap_image.mli │ ├── bap_image_std.ml │ ├── bap_memmap.ml │ ├── bap_memmap.mli │ ├── bap_memory.ml │ ├── bap_memory.mli │ ├── bap_table.ml │ ├── bap_table.mli │ ├── dune │ ├── image_backend.ml │ ├── image_common.ml │ └── image_internal_std.ml ├── bap_language │ ├── bap_language.ml │ └── bap_language.mli ├── bap_llvm │ ├── OMakefile │ ├── bap_llvm.ml │ ├── bap_llvm.mli │ ├── bap_llvm_config.ml.ab │ ├── bap_llvm_disasm.ml │ ├── bap_llvm_disasm.mli │ ├── bap_llvm_loader.ml │ ├── bap_llvm_loader.mli │ ├── config │ │ ├── dune │ │ ├── llvm_config.ml.ab │ │ └── llvm_configurator.ml │ ├── dune │ ├── llvm_coff_loader.cpp │ ├── llvm_coff_loader.h │ ├── llvm_coff_loader.hpp │ ├── llvm_disasm.cpp │ ├── llvm_disasm.h │ ├── llvm_disasm.hpp │ ├── llvm_elf_loader.cpp │ ├── llvm_elf_loader.h │ ├── llvm_elf_loader.hpp │ ├── llvm_error_or.cpp │ ├── llvm_error_or.h │ ├── llvm_error_or.hpp │ ├── llvm_loader.cpp │ ├── llvm_loader.h │ ├── llvm_loader.hpp │ ├── llvm_loader_stubs.c │ ├── llvm_loader_stubs.h │ ├── llvm_loader_utils.cpp │ ├── llvm_loader_utils.h │ ├── llvm_loader_utils.hpp │ ├── llvm_macho_loader.cpp │ ├── llvm_macho_loader.h │ ├── llvm_macho_loader.hpp │ ├── llvm_pdb_loader.cpp │ ├── llvm_pdb_loader.h │ ├── llvm_pdb_loader.hpp │ ├── llvm_primitives.cpp │ ├── llvm_primitives.h │ ├── llvm_primitives.hpp │ └── llvm_stubs.c ├── bap_main │ ├── bap_main.ml │ ├── bap_main.mli │ ├── bap_main_config.ml.ab │ ├── bap_main_event.ml │ ├── bap_main_event.mli │ ├── bap_main_log.ml │ ├── bap_main_log.mli │ └── dune ├── bap_mips │ ├── bap_mips_target.ml │ ├── bap_mips_target.mli │ └── dune ├── bap_piqi │ ├── bil_piqi.ml │ ├── bil_piqi.mli │ ├── bir_piqi.ml │ ├── bir_piqi.mli │ ├── dune │ ├── exp.piqi │ ├── ir.piqi │ ├── stmt.piqi │ ├── test │ │ └── run_piqi_tests.ml │ └── type.piqi ├── bap_plugins │ ├── bap_common.ml │ ├── bap_common.ml.ab │ ├── bap_plugins.ml │ ├── bap_plugins.mli │ ├── bap_plugins_config.ml.ab │ ├── bap_plugins_loader_backend.ml │ ├── bap_plugins_loader_backend.mli │ ├── bap_plugins_package.ml │ ├── bap_plugins_package.mli │ ├── bap_plugins_units.ml │ ├── bap_plugins_units.mli │ ├── bap_plugins_units_intf.ml │ └── dune ├── bap_powerpc │ ├── bap_powerpc_target.ml │ ├── bap_powerpc_target.mli │ └── dune ├── bap_primus │ ├── bap_primus.ml │ ├── bap_primus.mli │ ├── bap_primus_analysis.ml │ ├── bap_primus_analysis.mli │ ├── bap_primus_env.ml │ ├── bap_primus_env.mli │ ├── bap_primus_exn.ml │ ├── bap_primus_exn.mli │ ├── bap_primus_generator.ml │ ├── bap_primus_generator.mli │ ├── bap_primus_generator_types.ml │ ├── bap_primus_info.ml │ ├── bap_primus_info.mli │ ├── bap_primus_interpreter.ml │ ├── bap_primus_interpreter.mli │ ├── bap_primus_iterator.ml │ ├── bap_primus_iterator.mli │ ├── bap_primus_linker.ml │ ├── bap_primus_linker.mli │ ├── bap_primus_lisp.ml │ ├── bap_primus_lisp.mli │ ├── bap_primus_lisp_attribute.ml │ ├── bap_primus_lisp_attribute.mli │ ├── bap_primus_lisp_attributes.ml │ ├── bap_primus_lisp_attributes.mli │ ├── bap_primus_lisp_context.ml │ ├── bap_primus_lisp_context.mli │ ├── bap_primus_lisp_def.ml │ ├── bap_primus_lisp_def.mli │ ├── bap_primus_lisp_index.ml │ ├── bap_primus_lisp_index.mli │ ├── bap_primus_lisp_loc.ml │ ├── bap_primus_lisp_loc.mli │ ├── bap_primus_lisp_parse.ml │ ├── bap_primus_lisp_parse.mli │ ├── bap_primus_lisp_program.ml │ ├── bap_primus_lisp_program.mli │ ├── bap_primus_lisp_resolve.ml │ ├── bap_primus_lisp_resolve.mli │ ├── bap_primus_lisp_semantics.ml │ ├── bap_primus_lisp_semantics.mli │ ├── bap_primus_lisp_source.ml │ ├── bap_primus_lisp_source.mli │ ├── bap_primus_lisp_type.ml │ ├── bap_primus_lisp_type.mli │ ├── bap_primus_lisp_types.ml │ ├── bap_primus_lisp_var.ml │ ├── bap_primus_lisp_var.mli │ ├── bap_primus_lisp_word.ml │ ├── bap_primus_lisp_word.mli │ ├── bap_primus_machine.ml │ ├── bap_primus_machine.mli │ ├── bap_primus_main.ml │ ├── bap_primus_main.mli │ ├── bap_primus_memory.ml │ ├── bap_primus_memory.mli │ ├── bap_primus_observation.ml │ ├── bap_primus_observation.mli │ ├── bap_primus_pos.ml │ ├── bap_primus_pos.mli │ ├── bap_primus_random.ml │ ├── bap_primus_random.mli │ ├── bap_primus_sexp.ml │ ├── bap_primus_state.ml │ ├── bap_primus_state.mli │ ├── bap_primus_system.ml │ ├── bap_primus_system.mli │ ├── bap_primus_types.ml │ ├── bap_primus_value.ml │ ├── bap_primus_value.mli │ └── dune ├── bap_primus_machine │ ├── bap_primus_machine.ml │ └── bap_primus_machine.mli ├── bap_primus_track_visited │ ├── bap_primus_track_visited.ml │ ├── bap_primus_track_visited.mli │ └── dune ├── bap_recipe │ ├── bap_recipe.ml │ ├── bap_recipe.mli │ └── dune ├── bap_relation │ ├── bap_relation.ml │ ├── bap_relation.mli │ └── dune ├── bap_riscv │ ├── bap_riscv_target.ml │ ├── bap_riscv_target.mli │ └── dune ├── bap_sema │ ├── bap_sema.ml │ ├── bap_sema_flatten.ml │ ├── bap_sema_flatten.mli │ ├── bap_sema_free_vars.ml │ ├── bap_sema_free_vars.mli │ ├── bap_sema_lift.ml │ ├── bap_sema_lift.mli │ ├── bap_sema_ssa.ml │ ├── bap_sema_ssa.mli │ ├── bap_sema_taint.ml │ ├── bap_sema_taint.mli │ └── dune ├── bap_strings │ ├── bap_strings.ml │ ├── bap_strings_detector.ml │ ├── bap_strings_detector.mli │ ├── bap_strings_index.ml │ ├── bap_strings_index.mli │ ├── bap_strings_scanner.ml │ ├── bap_strings_scanner.mli │ ├── bap_strings_unscrambler.ml │ ├── bap_strings_unscrambler.mli │ └── dune ├── bap_systemz │ ├── bap_systemz_target.ml │ ├── bap_systemz_target.mli │ └── dune ├── bap_taint │ ├── bap_taint.ml │ ├── bap_taint.mli │ └── dune ├── bap_traces │ ├── bap_trace.ml │ ├── bap_trace.mli │ ├── bap_trace_binprot.ml │ ├── bap_trace_binprot.mli │ ├── bap_trace_event_types.ml │ ├── bap_trace_events.ml │ ├── bap_trace_events.mli │ ├── bap_trace_id.ml │ ├── bap_trace_id.mli │ ├── bap_trace_meta.ml │ ├── bap_trace_meta.mli │ ├── bap_trace_meta_types.ml │ ├── bap_trace_std.ml │ ├── bap_trace_traces.ml │ ├── bap_trace_traces.mli │ ├── bap_traces.ml │ ├── bap_traces.mli │ └── dune ├── bap_types │ ├── bap_addr.ml │ ├── bap_addr.mli │ ├── bap_arch.ml │ ├── bap_arch.mli │ ├── bap_attributes.ml │ ├── bap_bil.ml │ ├── bap_bil_adt.ml │ ├── bap_bil_adt.mli │ ├── bap_bil_optimizations.ml │ ├── bap_bil_optimizations.mli │ ├── bap_bil_pass.ml │ ├── bap_bil_pass.mli │ ├── bap_bili.ml │ ├── bap_bili.mli │ ├── bap_bili_types.ml │ ├── bap_biri.ml │ ├── bap_biri.mli │ ├── bap_biri_types.ml │ ├── bap_bitvector.ml │ ├── bap_bitvector.mli │ ├── bap_common_types.ml │ ├── bap_context.ml │ ├── bap_context.mli │ ├── bap_core_theory_bil_parser.ml │ ├── bap_core_theory_bil_parser.mli │ ├── bap_eval.ml │ ├── bap_eval.mli │ ├── bap_eval_types.ml │ ├── bap_exp.ml │ ├── bap_exp.mli │ ├── bap_expi.ml │ ├── bap_expi.mli │ ├── bap_expi_types.ml │ ├── bap_helpers.ml │ ├── bap_helpers.mli │ ├── bap_int_conversions.ml │ ├── bap_int_conversions.mli │ ├── bap_integer.ml │ ├── bap_integer.mli │ ├── bap_integer_intf.ml │ ├── bap_interval_tree.ml │ ├── bap_interval_tree.mli │ ├── bap_ir.ml │ ├── bap_ir.mli │ ├── bap_ir_callgraph.ml │ ├── bap_ir_callgraph.mli │ ├── bap_ir_graph.ml │ ├── bap_ir_graph.mli │ ├── bap_monad.ml │ ├── bap_monad.mli │ ├── bap_monad_types.ml │ ├── bap_ogre.ml │ ├── bap_ogre.mli │ ├── bap_result.ml │ ├── bap_result.mli │ ├── bap_size.ml │ ├── bap_size.mli │ ├── bap_stmt.ml │ ├── bap_stmt.mli │ ├── bap_tid_graph.ml │ ├── bap_tid_graph.mli │ ├── bap_toplevel.ml │ ├── bap_toplevel.mli │ ├── bap_trie.ml │ ├── bap_trie.mli │ ├── bap_trie_intf.ml │ ├── bap_type.ml │ ├── bap_type.mli │ ├── bap_type_error.ml │ ├── bap_type_error.mli │ ├── bap_types.ml │ ├── bap_value.ml │ ├── bap_value.mli │ ├── bap_var.ml │ ├── bap_var.mli │ ├── bap_vector.ml │ ├── bap_vector.mli │ ├── bap_visitor.ml │ ├── bap_visitor.mli │ └── dune ├── bare │ ├── bare.ml │ ├── bare.mli │ └── dune ├── beagle │ ├── beagle_prey.ml │ ├── beagle_prey.mli │ └── dune ├── bitvec │ ├── bitvec.ml │ ├── bitvec.mli │ └── dune ├── bitvec_binprot │ ├── bitvec_binprot.ml │ ├── bitvec_binprot.mli │ └── dune ├── bitvec_order │ ├── bitvec_order.ml │ ├── bitvec_order.mli │ └── dune ├── bitvec_sexp │ ├── bitvec_sexp.ml │ ├── bitvec_sexp.mli │ └── dune ├── common │ ├── bap_common.ml │ ├── bap_common.mli │ └── dune ├── graphlib │ ├── dune │ ├── graphlib.ml │ ├── graphlib.mli │ ├── graphlib_graph.ml │ ├── graphlib_graph.mli │ ├── graphlib_intf.ml │ ├── graphlib_pp.ml │ ├── graphlib_pp.mli │ ├── graphlib_regular.ml │ ├── graphlib_regular.mli │ └── graphlib_regular_intf.ml ├── knowledge │ ├── bap_knowledge.ml │ ├── bap_knowledge.mli │ └── dune ├── microx │ ├── dune │ ├── microx.ml │ ├── microx_concretizer.ml │ ├── microx_concretizer.mli │ ├── microx_conqueror.ml │ └── microx_conqueror.mli ├── monads │ ├── dune │ ├── monads.ml │ ├── monads.mli │ ├── monads_monad.ml │ ├── monads_monad.mli │ ├── monads_monoid.ml │ ├── monads_monoid.mli │ └── monads_types.ml ├── ogre │ ├── dune │ ├── ogre.ml │ └── ogre.mli ├── regular │ ├── dune │ ├── regular.ml │ ├── regular.mli │ ├── regular_bytes.ml │ ├── regular_bytes.mli │ ├── regular_cache.ml │ ├── regular_cache.mli │ ├── regular_data.ml │ ├── regular_data.mli │ ├── regular_data_intf.ml │ ├── regular_data_read.ml │ ├── regular_data_read.mli │ ├── regular_data_types.ml │ ├── regular_data_write.ml │ ├── regular_data_write.mli │ ├── regular_opaque.ml │ ├── regular_regular.ml │ ├── regular_regular.mli │ ├── regular_seq.ml │ └── regular_seq.mli ├── text_tags │ ├── dune │ ├── text_tags.ml │ └── text_tags.mli └── x86_cpu │ ├── dune │ ├── x86_asm.ml │ ├── x86_asm_reg.ml │ ├── x86_asm_reg.mli │ ├── x86_asm_reg_types.ml │ ├── x86_cpu.ml │ ├── x86_cpu.mli │ ├── x86_env.ml │ ├── x86_env.mli │ ├── x86_llvm_env.ml │ ├── x86_llvm_env.mli │ ├── x86_target.ml │ ├── x86_target.mli │ └── x86_types.ml ├── lib_test ├── bap │ ├── dune │ ├── run_tests.ml │ └── run_tests.mli ├── bap_disasm │ ├── dune │ ├── test_disasm.ml │ └── test_disasm.mli ├── bap_dwarf │ ├── dwarf_fbi_test.ml │ ├── run_tests.ml │ ├── test_leb128.ml │ └── test_leb128.mli ├── bap_future │ ├── run_future_tests.ml │ ├── test_future.ml │ ├── test_future.mli │ ├── test_future_std.ml │ ├── test_future_std.mli │ ├── test_stream.ml │ └── test_stream.mli ├── bap_image │ ├── dune │ ├── test_image.ml │ ├── test_image.mli │ ├── test_memmap.ml │ ├── test_memmap.mli │ ├── test_table.ml │ └── test_table.mli ├── bap_project │ ├── dune │ ├── test_project.ml │ └── test_project.mli ├── bap_sema │ ├── dune │ ├── test_ir.ml │ └── test_ir.mli ├── bap_traces │ ├── run_traces_tests.ml │ ├── test_traces.ml │ └── test_traces.mli ├── bap_types │ ├── dune │ ├── test_bili.ml │ ├── test_bili.mli │ ├── test_bitvector.ml │ ├── test_bitvector.mli │ ├── test_bytes.ml │ ├── test_bytes.mli │ ├── test_graph.ml │ ├── test_graph.mli │ ├── test_optimizations.ml │ ├── test_optimizations.mli │ ├── test_trie.ml │ └── test_trie.mli ├── powerpc │ ├── dune │ ├── powerpc_add_tests.ml │ ├── powerpc_arith_tests.ml │ ├── powerpc_branch_tests.ml │ ├── powerpc_compare_tests.ml │ ├── powerpc_cr_tests.ml │ ├── powerpc_load_tests.ml │ ├── powerpc_logical_tests.ml │ ├── powerpc_move_tests.ml │ ├── powerpc_rotate_tests.ml │ ├── powerpc_shift_tests.ml │ ├── powerpc_store_tests.ml │ ├── powerpc_tests_helpers.ml │ ├── powerpc_tests_helpers.mli │ └── run_powerpc_tests.ml ├── stub_resolver │ ├── dune │ ├── run_stub_resolver_tests.ml │ └── stub_resolver_tests.ml └── x86 │ ├── dune │ ├── run_x86_tests.ml │ ├── test_pcmp.ml │ └── test_pshufb.ml ├── man └── bapbundle.1 ├── monads.opam ├── myocamlbuild.ml.in ├── oasis ├── abi ├── analyze ├── api ├── api.files.ab.in ├── api.setup.ml.in ├── arm ├── bap-std ├── bare ├── beagle ├── benchmarks ├── bil ├── bitvec ├── bitvec-binprot ├── bitvec-order ├── bitvec-sexp ├── build ├── bundle ├── bundle.files.ab.in ├── byteweight ├── byteweight-frontend ├── c ├── cache ├── callgraph-collator ├── callsites ├── common ├── common.files.ab.in ├── common.ocamlbuild.ml.in ├── common.omake ├── common.setup.ml.in ├── common.tags.in ├── constant-tracker ├── core-theory ├── cxxfilt ├── cxxfilt.files.ab.in ├── cxxfilt.setup.ml.in ├── demangle ├── dependencies ├── disassemble ├── dump-symbols ├── dwarf ├── elementary ├── elf-loader ├── emit-ida-script ├── flatten ├── frontc-parser ├── frontend ├── future ├── ghidra ├── glibc-runtime ├── graphlib ├── ida ├── ida.files.ab.in ├── ida.setup.ml.in ├── knowledge ├── language ├── llvm ├── llvm.files.ab.in ├── llvm.ocamlbuild.ml.in ├── llvm.setup.ml.in ├── llvm.tags.in ├── main ├── main.files.ab.in ├── main.setup.ml.in ├── map-terms ├── mc ├── microx ├── mips ├── monads ├── objdump ├── objdump.files.ab.in ├── objdump.setup.ml.in ├── ogre ├── optimization ├── patterns ├── phoenix ├── piqi-printers ├── piqi-printers.ocamlbuild.ml.in ├── piqi-printers.setup.ml.in ├── plugins ├── plugins.files.ab.in ├── powerpc ├── primus ├── primus-dictionary ├── primus-exploring ├── primus-greedy ├── primus-limit ├── primus-lisp ├── primus-lisp.files.ab.in ├── primus-lisp.setup.ml.in ├── primus-loader ├── primus-machine ├── primus-mark-visited ├── primus-powerpc ├── primus-print ├── primus-promiscuous ├── primus-propagate-taint ├── primus-random ├── primus-region ├── primus-round-robin ├── primus-symbolic-executor ├── primus-systems ├── primus-taint ├── primus-test ├── primus-track-visited ├── primus-wandering ├── primus-x86 ├── print ├── propagate-taint ├── radare2 ├── raw ├── read-symbols ├── recipe ├── recipe-command ├── regular ├── relation ├── relocatable ├── report ├── riscv ├── run ├── specification ├── ssa ├── strings ├── strings-library ├── stub-resolver ├── stub-resolver.files.ab.in ├── stub-resolver.setup.ml.in ├── systemz ├── taint ├── tests ├── text-tags ├── thumb ├── toplevel ├── trace ├── traces ├── trivial-condition-form ├── warn-unused └── x86 ├── ogre.opam ├── plugins ├── abi │ ├── abi_main.ml │ └── dune ├── analyze │ ├── analyze_core_commands.ml │ ├── analyze_core_commands.mli │ ├── analyze_main.ml │ └── dune ├── api │ ├── api │ │ └── c │ │ │ ├── android.h │ │ │ ├── dune │ │ │ ├── gnu.h │ │ │ ├── posix.h │ │ │ └── windows.h │ ├── api_main.ml │ ├── api_sites.ml.ab │ └── dune ├── arm │ ├── arm_gnueabi.ml │ ├── arm_gnueabi.mli │ ├── arm_main.ml │ ├── dune │ └── semantics │ │ ├── aarch64-arithmetic.lisp │ │ ├── aarch64-atomic.lisp │ │ ├── aarch64-branch.lisp │ │ ├── aarch64-data-movement.lisp │ │ ├── aarch64-helper.lisp │ │ ├── aarch64-logical.lisp │ │ ├── aarch64-pstate.lisp │ │ ├── aarch64-special.lisp │ │ ├── aarch64.lisp │ │ ├── arm-bits.lisp │ │ ├── arm.lisp │ │ ├── dune │ │ ├── thumb-patterns.lisp │ │ └── thumb.lisp ├── beagle │ ├── beagle_main.ml │ ├── beagle_main.mli │ └── dune ├── bil │ ├── Makefile │ ├── bil_float.ml │ ├── bil_float.mli │ ├── bil_ir.ml │ ├── bil_ir.mli │ ├── bil_lifter.ml │ ├── bil_lifter.mli │ ├── bil_main.ml │ ├── bil_semantics.ml │ ├── bil_semantics.mli │ └── dune ├── byteweight │ ├── byteweight_main.ml │ └── dune ├── cache │ ├── bap_cache.ml │ ├── bap_cache.mli │ ├── bap_cache_gc.ml │ ├── bap_cache_gc.mli │ ├── bap_cache_main.ml │ ├── bap_cache_types.ml │ ├── bap_cache_utils.ml │ ├── bap_cache_utils.mli │ └── dune ├── callgraph_collator │ ├── callgraph_collator_main.ml │ └── dune ├── callsites │ ├── callsites_main.ml │ └── dune ├── constant_tracker │ ├── constant_tracker_main.ml │ ├── dune │ └── lisp │ │ ├── check-hardcoded-values.lisp │ │ ├── check-null-pointers.lisp │ │ └── dune ├── core_theory │ ├── core_theory_main.ml │ ├── core_theory_main.mli │ └── dune ├── cxxfilt │ ├── cxxfilt_config.ml.ab │ ├── cxxfilt_main.ml │ ├── cxxfilt_main.mli │ └── dune ├── demangle │ ├── demangle_main.ml │ └── dune ├── dependencies │ ├── dependencies_main.ml │ ├── dependencies_main.mli │ └── dune ├── disassemble │ ├── disassemble_main.ml │ ├── disassemble_main.mli │ ├── disassemble_main_rules.ml │ ├── disassemble_main_rules.mli │ └── dune ├── dump_symbols │ ├── dump_symbols_main.ml │ └── dune ├── elf_loader │ ├── dune │ ├── elf_loader_main.ml │ └── elf_loader_main.mli ├── emit_ida_script │ ├── dune │ └── emit_ida_script_main.ml ├── flatten │ ├── dune │ └── flatten_main.ml ├── frontc_parser │ ├── dune │ └── frontc_parser_main.ml ├── ghidra │ ├── dune │ ├── ghidra_main.ml │ ├── ghidra_main.mli │ └── semantics │ │ ├── dune │ │ ├── pcode-cpuid.lisp │ │ └── pcode.lisp ├── glibc_runtime │ ├── dune │ ├── glibc_runtime_main.ml │ └── glibc_runtime_main.mli ├── ida │ ├── bap_ida_config.ml.ab │ ├── bap_ida_info.ml │ ├── bap_ida_info.mli │ ├── bap_ida_service.ml │ ├── bap_ida_service.mli │ ├── dune │ └── ida_main.ml ├── llvm │ ├── dune │ ├── llvm_main.ml │ └── llvm_main.mli ├── map_terms │ ├── dune │ ├── map_terms_features.ml │ └── map_terms_main.ml ├── mc │ ├── dune │ └── mc_main.ml ├── mips │ ├── dune │ ├── mips.ml │ ├── mips_abi.ml │ ├── mips_abi.mli │ ├── mips_arithmetic.ml │ ├── mips_branch.ml │ ├── mips_conditional.ml │ ├── mips_cpu.ml │ ├── mips_divide.ml │ ├── mips_dsl.ml │ ├── mips_dsl.mli │ ├── mips_load.ml │ ├── mips_logic.ml │ ├── mips_main.ml │ ├── mips_model.ml │ ├── mips_model.mli │ ├── mips_multiply.ml │ ├── mips_rtl.ml │ ├── mips_rtl.mli │ ├── mips_shift_and_rot.ml │ ├── mips_store.ml │ ├── mips_types.ml │ ├── mips_utils.ml │ └── mips_utils.mli ├── objdump │ ├── dune │ ├── objdump_config.ml.ab │ └── objdump_main.ml ├── optimization │ ├── dune │ ├── optimization_data.ml │ ├── optimization_data.mli │ └── optimization_main.ml ├── patterns │ ├── dune │ ├── patterns_main.ml │ └── semantics │ │ ├── dune │ │ └── pattern-actions.lisp ├── phoenix │ ├── dune │ ├── phoenix_dot.ml │ ├── phoenix_dot.mli │ ├── phoenix_helpers.ml │ ├── phoenix_helpers.mli │ ├── phoenix_main.ml │ ├── phoenix_options.ml │ ├── phoenix_output.ml │ ├── phoenix_output.mli │ ├── phoenix_printing.ml │ ├── phoenix_printing.mli │ ├── phoenix_root.ml │ └── phoenix_root.mli ├── piqi_printers │ ├── dune │ ├── piqi_printers_main.ml │ └── piqi_printers_main.mli ├── powerpc │ ├── dune │ ├── powerpc.ml │ ├── powerpc.mli │ ├── powerpc_abi.ml │ ├── powerpc_abi.mli │ ├── powerpc_add.ml │ ├── powerpc_branch.ml │ ├── powerpc_compare.ml │ ├── powerpc_cpu.ml │ ├── powerpc_cpu.mli │ ├── powerpc_cr.ml │ ├── powerpc_div.ml │ ├── powerpc_dsl.ml │ ├── powerpc_dsl.mli │ ├── powerpc_load.ml │ ├── powerpc_logical.ml │ ├── powerpc_main.ml │ ├── powerpc_model.ml │ ├── powerpc_model.mli │ ├── powerpc_move.ml │ ├── powerpc_mul.ml │ ├── powerpc_rotate.ml │ ├── powerpc_rtl.ml │ ├── powerpc_rtl.mli │ ├── powerpc_shift.ml │ ├── powerpc_store.ml │ ├── powerpc_sub.ml │ ├── powerpc_types.ml │ ├── powerpc_utils.ml │ ├── powerpc_utils.mli │ └── semantics │ │ ├── dune │ │ └── powerpc.lisp ├── primus_approximation │ ├── Makefile │ ├── approximation.ml │ ├── approximation.mli │ └── lisp │ │ ├── math.lisp │ │ └── test.lisp ├── primus_dictionary │ ├── dune │ └── primus_dictionary_main.ml ├── primus_exploring │ ├── dune │ └── primus_exploring_main.ml ├── primus_greedy │ ├── dune │ └── primus_greedy_main.ml ├── primus_limit │ ├── dune │ ├── primus_limit_main.ml │ └── primus_limit_main.mli ├── primus_lisp │ ├── dune │ ├── lisp │ │ ├── core.lisp │ │ ├── dune │ │ ├── init.lisp │ │ ├── memory.lisp │ │ └── pointers.lisp │ ├── primus_lisp_config.ml.ab │ ├── primus_lisp_documentation.ml │ ├── primus_lisp_documentation.mli │ ├── primus_lisp_ieee754.ml │ ├── primus_lisp_ieee754.mli │ ├── primus_lisp_io.ml │ ├── primus_lisp_io.mli │ ├── primus_lisp_main.ml │ ├── primus_lisp_main.mli │ ├── primus_lisp_primitives.ml │ ├── primus_lisp_primitives.mli │ ├── primus_lisp_run.ml │ ├── primus_lisp_semantic_primitives.ml │ ├── primus_lisp_semantic_primitives.mli │ ├── primus_lisp_show.ml │ ├── semantics │ │ ├── .gitignore │ │ ├── bits.lisp │ │ ├── dummy.lisp │ │ ├── dune │ │ └── ieee754.lisp │ └── site-lisp │ │ ├── ascii.lisp │ │ ├── atoi.lisp │ │ ├── char.lisp │ │ ├── dune │ │ ├── errno.lisp │ │ ├── floats.lisp │ │ ├── getopt.lisp │ │ ├── ieee754.lisp │ │ ├── libc-init.lisp │ │ ├── libintl.lisp │ │ ├── limit-malloc.lisp │ │ ├── llvm-x86-64-floats.lisp │ │ ├── locale.lisp │ │ ├── memory-allocator.lisp │ │ ├── posix.lisp │ │ ├── setjmp.lisp │ │ ├── simple-memory-allocator.lisp │ │ ├── stdio.lisp │ │ ├── stdlib.lisp │ │ ├── string.lisp │ │ ├── types.lisp │ │ └── unistd.lisp ├── primus_loader │ ├── dune │ ├── primus_loader_basic.ml │ ├── primus_loader_basic.mli │ └── primus_loader_main.ml ├── primus_mark_visited │ ├── dune │ └── primus_mark_visited_main.ml ├── primus_powerpc │ ├── dune │ └── primus_powerpc_main.ml ├── primus_print │ ├── dune │ └── primus_print_main.ml ├── primus_promiscuous │ ├── dune │ └── primus_promiscuous_main.ml ├── primus_propagate_taint │ ├── dune │ ├── primus_propagate_taint_main.ml │ └── primus_propagate_taint_main.mli ├── primus_random │ ├── dune │ ├── primus_random_main.ml │ └── primus_random_main.mli ├── primus_region │ ├── dune │ └── primus_region_main.ml ├── primus_round_robin │ ├── dune │ └── primus_round_robin_main.ml ├── primus_symbolic_executor │ ├── dune │ ├── lisp │ │ ├── dune │ │ ├── symbolic-stdio.lisp │ │ └── symbolic-stdlib.lisp │ └── primus_symbolic_executor_main.ml ├── primus_systems │ ├── dune │ ├── primus_systems_config.ml.ab │ ├── primus_systems_main.ml │ └── systems │ │ ├── core.asd │ │ └── dune ├── primus_taint │ ├── dune │ ├── lisp │ │ ├── dune │ │ ├── sensitive-sinks.lisp │ │ ├── taint-sources.lisp │ │ └── taint.lisp │ ├── primus_taint_main.ml │ ├── primus_taint_main.mli │ ├── primus_taint_policies.ml │ └── primus_taint_policies.mli ├── primus_test │ ├── dune │ ├── lisp │ │ ├── check-value.lisp │ │ ├── dune │ │ ├── incident.lisp │ │ ├── memcheck-malloc.lisp │ │ ├── memcheck.lisp │ │ └── warn-unused.lisp │ └── primus_test_main.ml ├── primus_wandering │ ├── dune │ └── primus_wandering_main.ml ├── primus_x86 │ ├── dune │ ├── primus_x86_loader.ml │ ├── primus_x86_loader.mli │ └── primus_x86_main.ml ├── print │ ├── dune │ └── print_main.ml ├── propagate_taint │ ├── dune │ ├── propagate_taint_main.ml │ ├── propagate_taint_main.mli │ ├── propagator.ml │ └── propagator.mli ├── radare2 │ ├── dune │ ├── radare2_main.ml │ └── radare2_main.mli ├── raw │ ├── dune │ ├── raw_main.ml │ └── raw_main.mli ├── read_symbols │ ├── dune │ └── read_symbols_main.ml ├── recipe_command │ ├── dune │ ├── recipe_command_main.ml │ └── recipe_command_main.mli ├── relocatable │ ├── dune │ └── rel_symbolizer.ml ├── report │ ├── dune │ └── report_main.ml ├── resolve_indirects │ └── resolve_indirects_main.ml ├── riscv │ ├── dune │ ├── riscv_main.ml │ ├── riscv_main.mli │ └── semantics │ │ ├── dune │ │ └── riscv.lisp ├── run │ ├── dune │ └── run_main.ml ├── specification │ ├── dune │ └── specification_main.ml ├── ssa │ ├── dune │ └── ssa_main.ml ├── strings │ ├── dune │ └── strings_main.ml ├── stub_resolver │ ├── dune │ ├── signatures │ │ ├── dune │ │ └── powerpc.stubs │ ├── stub_resolver.ml │ ├── stub_resolver.mli │ ├── stub_resolver_main.ml │ └── stub_resolver_sites.ml.ab ├── systemz │ ├── dune │ ├── systemz_lifter.ml │ ├── systemz_lifter.mli │ ├── systemz_main.ml │ └── systemz_main.mli ├── taint │ ├── dune │ └── taint_main.ml ├── thumb │ ├── dune │ ├── thumb_bits.ml │ ├── thumb_bits.mli │ ├── thumb_branch.ml │ ├── thumb_branch.mli │ ├── thumb_core.ml │ ├── thumb_core.mli │ ├── thumb_main.ml │ ├── thumb_main.mli │ ├── thumb_mem.ml │ ├── thumb_mem.mli │ ├── thumb_mov.ml │ ├── thumb_mov.mli │ └── thumb_opcodes.ml ├── trace │ ├── dune │ └── trace_main.ml ├── trivial_condition_form │ ├── dune │ └── trivial_condition_form_main.ml ├── warn_unused │ ├── dune │ └── warn_unused_main.ml └── x86 │ ├── dune │ ├── patterns │ ├── cet.xml │ └── patternconstraints.xml │ ├── semantics │ ├── dune │ ├── test.t │ ├── x86-32.lisp │ ├── x86-64-sse-intrinsics.lisp │ ├── x86-64.lisp │ └── x86-common.lisp │ ├── x86_backend.ml │ ├── x86_backend.mli │ ├── x86_btx.ml │ ├── x86_btx.mli │ ├── x86_cdq.ml │ ├── x86_cdq.mli │ ├── x86_cmpxchg.ml │ ├── x86_cmpxchg.mli │ ├── x86_disasm.ml │ ├── x86_disasm.mli │ ├── x86_endbr.ml │ ├── x86_legacy_bil.ml │ ├── x86_legacy_bil_arithmetic.ml │ ├── x86_legacy_bil_arithmetic.mli │ ├── x86_legacy_bil_ast.ml │ ├── x86_legacy_bil_ast.mli │ ├── x86_legacy_bil_big_int_convenience.ml │ ├── x86_legacy_bil_big_int_convenience.mli │ ├── x86_legacy_bil_convenience.ml │ ├── x86_legacy_bil_convenience.mli │ ├── x86_legacy_bil_disasm_i386.ml │ ├── x86_legacy_bil_disasm_i386.mli │ ├── x86_legacy_bil_lifter.ml │ ├── x86_legacy_bil_lifter.mli │ ├── x86_legacy_bil_pp.ml │ ├── x86_legacy_bil_pp.mli │ ├── x86_legacy_bil_register.ml │ ├── x86_legacy_bil_semantics.ml │ ├── x86_legacy_bil_semantics.mli │ ├── x86_legacy_bil_type.ml │ ├── x86_legacy_bil_type.mli │ ├── x86_legacy_bil_typecheck.ml │ ├── x86_legacy_bil_typecheck.mli │ ├── x86_legacy_bil_var.ml │ ├── x86_legacy_bil_var.mli │ ├── x86_legacy_bil_var_temp.ml │ ├── x86_legacy_bil_var_temp.mli │ ├── x86_legacy_fp_lifter.ml │ ├── x86_legacy_fp_lifter.mli │ ├── x86_legacy_operands.ml │ ├── x86_legacy_operands.mli │ ├── x86_lifter.ml │ ├── x86_lifter.mli │ ├── x86_main.ml │ ├── x86_mov.ml │ ├── x86_mov.mli │ ├── x86_mov_offset.ml │ ├── x86_opcode_btx.ml │ ├── x86_opcode_cdq.ml │ ├── x86_opcode_cmps.ml │ ├── x86_opcode_cmpxchg.ml │ ├── x86_opcode_ins.ml │ ├── x86_opcode_lods.ml │ ├── x86_opcode_mov.ml │ ├── x86_opcode_movs.ml │ ├── x86_opcode_outs.ml │ ├── x86_opcode_scas.ml │ ├── x86_opcode_stos.ml │ ├── x86_operands.ml │ ├── x86_operands.mli │ ├── x86_prefix.ml │ ├── x86_prefix.mli │ ├── x86_targets.ml │ ├── x86_targets.mli │ ├── x86_tools.ml │ ├── x86_tools.mli │ ├── x86_tools_flags.ml │ ├── x86_tools_flags.mli │ ├── x86_tools_imm.ml │ ├── x86_tools_imm.mli │ ├── x86_tools_mem.ml │ ├── x86_tools_mem.mli │ ├── x86_tools_prefix.ml │ ├── x86_tools_prefix.mli │ ├── x86_tools_reg.ml │ ├── x86_tools_reg.mli │ ├── x86_tools_types.ml │ ├── x86_tools_vector.ml │ ├── x86_tools_vector.mli │ └── x86_utils.ml ├── ppx_bap.opam ├── regular.opam ├── setup.ml.in ├── setup.ml.pre.in ├── src ├── bap_byteweight_main.ml ├── bap_byteweight_main.mli ├── bap_frontend.ml ├── bap_frontend.mli ├── bap_mc.ml ├── bap_mc.mli ├── baptop.ml └── dune ├── text-tags.opam ├── tools ├── bap_config.ab ├── bapbuild.ml ├── bapbundle.ml ├── bapbundle.mli ├── bapclean.sh ├── bapdoc.ml ├── baptop ├── binary-release.sh ├── build_plugins.sh ├── cat.ml ├── cat.mli ├── collect.ml ├── configure.ml ├── deb-build.sh ├── dune ├── install-ghidra.sh ├── oasis_sections.ml ├── ocp-indent-all.sh ├── opam-release.sh ├── postinstall.ml.ab ├── ppx-bap ├── release.sh ├── rewrite.ml └── rewrite.mli └── vagrant ├── jessie64 └── Vagrantfile ├── trusty64 └── Vagrantfile └── xenial64 └── Vagrantfile /.github/workflows/alpine.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/.github/workflows/alpine.yml -------------------------------------------------------------------------------- /.github/workflows/fedora.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/.github/workflows/fedora.yml -------------------------------------------------------------------------------- /.github/workflows/full.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/.github/workflows/full.yml -------------------------------------------------------------------------------- /.github/workflows/lint.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/.github/workflows/lint.yml -------------------------------------------------------------------------------- /.github/workflows/main.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/.github/workflows/main.yml -------------------------------------------------------------------------------- /.github/workflows/nightly.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/.github/workflows/nightly.yml -------------------------------------------------------------------------------- /.github/workflows/oasis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/.github/workflows/oasis.yml -------------------------------------------------------------------------------- /.github/workflows/opam.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/.github/workflows/opam.yml -------------------------------------------------------------------------------- /.github/workflows/release.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/.github/workflows/release.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /.run_travis_tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/.run_travis_tests.sh -------------------------------------------------------------------------------- /CHANGES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/CHANGES.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/Makefile -------------------------------------------------------------------------------- /OMakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/OMakefile -------------------------------------------------------------------------------- /OMakeroot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/OMakeroot -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/README.md -------------------------------------------------------------------------------- /_tags.in: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /bap-abi.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-abi.opam -------------------------------------------------------------------------------- /bap-analyze.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-analyze.opam -------------------------------------------------------------------------------- /bap-api.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-api.opam -------------------------------------------------------------------------------- /bap-arm.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-arm.opam -------------------------------------------------------------------------------- /bap-beagle-strings.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-beagle-strings.opam -------------------------------------------------------------------------------- /bap-beagle.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-beagle.opam -------------------------------------------------------------------------------- /bap-bil.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-bil.opam -------------------------------------------------------------------------------- /bap-bml.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-bml.opam -------------------------------------------------------------------------------- /bap-build.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-build.opam -------------------------------------------------------------------------------- /bap-bundle.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-bundle.opam -------------------------------------------------------------------------------- /bap-byteweight-frontend.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-byteweight-frontend.opam -------------------------------------------------------------------------------- /bap-byteweight.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-byteweight.opam -------------------------------------------------------------------------------- /bap-c.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-c.opam -------------------------------------------------------------------------------- /bap-cache.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-cache.opam -------------------------------------------------------------------------------- /bap-callgraph-collator.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-callgraph-collator.opam -------------------------------------------------------------------------------- /bap-callsites.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-callsites.opam -------------------------------------------------------------------------------- /bap-common.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-common.opam -------------------------------------------------------------------------------- /bap-constant-tracker.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-constant-tracker.opam -------------------------------------------------------------------------------- /bap-core-theory.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-core-theory.opam -------------------------------------------------------------------------------- /bap-core.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-core.opam -------------------------------------------------------------------------------- /bap-cxxfilt.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-cxxfilt.opam -------------------------------------------------------------------------------- /bap-demangle.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-demangle.opam -------------------------------------------------------------------------------- /bap-dependencies.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-dependencies.opam -------------------------------------------------------------------------------- /bap-disassemble.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-disassemble.opam -------------------------------------------------------------------------------- /bap-dump-symbols.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-dump-symbols.opam -------------------------------------------------------------------------------- /bap-dwarf.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-dwarf.opam -------------------------------------------------------------------------------- /bap-elementary.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-elementary.opam -------------------------------------------------------------------------------- /bap-elf.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-elf.opam -------------------------------------------------------------------------------- /bap-extra.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-extra.opam -------------------------------------------------------------------------------- /bap-flatten.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-flatten.opam -------------------------------------------------------------------------------- /bap-frontc.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-frontc.opam -------------------------------------------------------------------------------- /bap-frontend.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-frontend.opam -------------------------------------------------------------------------------- /bap-future.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-future.opam -------------------------------------------------------------------------------- /bap-ghidra.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-ghidra.opam -------------------------------------------------------------------------------- /bap-glibc-runtime.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-glibc-runtime.opam -------------------------------------------------------------------------------- /bap-ida-plugin.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-ida-plugin.opam -------------------------------------------------------------------------------- /bap-ida.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-ida.opam -------------------------------------------------------------------------------- /bap-knowledge.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-knowledge.opam -------------------------------------------------------------------------------- /bap-llvm.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-llvm.opam -------------------------------------------------------------------------------- /bap-llvm.opam.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-llvm.opam.template -------------------------------------------------------------------------------- /bap-main.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-main.opam -------------------------------------------------------------------------------- /bap-mc.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-mc.opam -------------------------------------------------------------------------------- /bap-microx.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-microx.opam -------------------------------------------------------------------------------- /bap-mips.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-mips.opam -------------------------------------------------------------------------------- /bap-objdump.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-objdump.opam -------------------------------------------------------------------------------- /bap-objdump.opam.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-objdump.opam.template -------------------------------------------------------------------------------- /bap-optimization.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-optimization.opam -------------------------------------------------------------------------------- /bap-patterns.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-patterns.opam -------------------------------------------------------------------------------- /bap-phoenix.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-phoenix.opam -------------------------------------------------------------------------------- /bap-piqi.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-piqi.opam -------------------------------------------------------------------------------- /bap-plugins.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-plugins.opam -------------------------------------------------------------------------------- /bap-powerpc.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-powerpc.opam -------------------------------------------------------------------------------- /bap-primus-dictionary.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-primus-dictionary.opam -------------------------------------------------------------------------------- /bap-primus-limit.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-primus-limit.opam -------------------------------------------------------------------------------- /bap-primus-lisp.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-primus-lisp.opam -------------------------------------------------------------------------------- /bap-primus-loader.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-primus-loader.opam -------------------------------------------------------------------------------- /bap-primus-mark-visited.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-primus-mark-visited.opam -------------------------------------------------------------------------------- /bap-primus-powerpc.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-primus-powerpc.opam -------------------------------------------------------------------------------- /bap-primus-print.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-primus-print.opam -------------------------------------------------------------------------------- /bap-primus-promiscuous.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-primus-promiscuous.opam -------------------------------------------------------------------------------- /bap-primus-random.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-primus-random.opam -------------------------------------------------------------------------------- /bap-primus-region.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-primus-region.opam -------------------------------------------------------------------------------- /bap-primus-support.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-primus-support.opam -------------------------------------------------------------------------------- /bap-primus-systems.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-primus-systems.opam -------------------------------------------------------------------------------- /bap-primus-taint.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-primus-taint.opam -------------------------------------------------------------------------------- /bap-primus-test.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-primus-test.opam -------------------------------------------------------------------------------- /bap-primus-track-visited.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-primus-track-visited.opam -------------------------------------------------------------------------------- /bap-primus-x86.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-primus-x86.opam -------------------------------------------------------------------------------- /bap-primus.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-primus.opam -------------------------------------------------------------------------------- /bap-print.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-print.opam -------------------------------------------------------------------------------- /bap-radare2.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-radare2.opam -------------------------------------------------------------------------------- /bap-raw.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-raw.opam -------------------------------------------------------------------------------- /bap-recipe-command.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-recipe-command.opam -------------------------------------------------------------------------------- /bap-recipe.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-recipe.opam -------------------------------------------------------------------------------- /bap-relation.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-relation.opam -------------------------------------------------------------------------------- /bap-relocatable.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-relocatable.opam -------------------------------------------------------------------------------- /bap-report.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-report.opam -------------------------------------------------------------------------------- /bap-riscv.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-riscv.opam -------------------------------------------------------------------------------- /bap-run.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-run.opam -------------------------------------------------------------------------------- /bap-signatures.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-signatures.opam -------------------------------------------------------------------------------- /bap-signatures.opam.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-signatures.opam.template -------------------------------------------------------------------------------- /bap-specification.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-specification.opam -------------------------------------------------------------------------------- /bap-ssa.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-ssa.opam -------------------------------------------------------------------------------- /bap-std.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-std.opam -------------------------------------------------------------------------------- /bap-strings.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-strings.opam -------------------------------------------------------------------------------- /bap-stub-resolver.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-stub-resolver.opam -------------------------------------------------------------------------------- /bap-symbol-reader.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-symbol-reader.opam -------------------------------------------------------------------------------- /bap-systemz.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-systemz.opam -------------------------------------------------------------------------------- /bap-taint-propagator.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-taint-propagator.opam -------------------------------------------------------------------------------- /bap-taint.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-taint.opam -------------------------------------------------------------------------------- /bap-term-mapper.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-term-mapper.opam -------------------------------------------------------------------------------- /bap-thumb.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-thumb.opam -------------------------------------------------------------------------------- /bap-toplevel.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-toplevel.opam -------------------------------------------------------------------------------- /bap-trace.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-trace.opam -------------------------------------------------------------------------------- /bap-traces.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-traces.opam -------------------------------------------------------------------------------- /bap-warn-unused.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-warn-unused.opam -------------------------------------------------------------------------------- /bap-x86.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap-x86.opam -------------------------------------------------------------------------------- /bap.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bap.opam -------------------------------------------------------------------------------- /bare.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bare.opam -------------------------------------------------------------------------------- /benchmarks/bench_dom.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/benchmarks/bench_dom.ml -------------------------------------------------------------------------------- /benchmarks/bench_image.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/benchmarks/bench_image.ml -------------------------------------------------------------------------------- /benchmarks/bench_image.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/benchmarks/bench_image.mli -------------------------------------------------------------------------------- /benchmarks/run_benchmarks.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/benchmarks/run_benchmarks.ml -------------------------------------------------------------------------------- /bitvec-binprot.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bitvec-binprot.opam -------------------------------------------------------------------------------- /bitvec-order.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bitvec-order.opam -------------------------------------------------------------------------------- /bitvec-sexp.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bitvec-sexp.opam -------------------------------------------------------------------------------- /bitvec.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/bitvec.opam -------------------------------------------------------------------------------- /configure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/configure -------------------------------------------------------------------------------- /configure-omake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/configure-omake -------------------------------------------------------------------------------- /doc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/doc/Makefile -------------------------------------------------------------------------------- /docker/2.4.0/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/docker/2.4.0/Dockerfile -------------------------------------------------------------------------------- /docker/2.5.0/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/docker/2.5.0/Dockerfile -------------------------------------------------------------------------------- /docker/alpine/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/docker/alpine/Dockerfile -------------------------------------------------------------------------------- /docker/archlinux/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/docker/archlinux/Dockerfile -------------------------------------------------------------------------------- /docker/fedora/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/docker/fedora/Dockerfile -------------------------------------------------------------------------------- /docker/ubuntu/noble/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/docker/ubuntu/noble/Dockerfile -------------------------------------------------------------------------------- /dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/dune -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/dune-project -------------------------------------------------------------------------------- /graphlib.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/graphlib.opam -------------------------------------------------------------------------------- /lib/arm/ARM.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/arm/ARM.ml -------------------------------------------------------------------------------- /lib/arm/arm_bit.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/arm/arm_bit.ml -------------------------------------------------------------------------------- /lib/arm/arm_bit.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/arm/arm_bit.mli -------------------------------------------------------------------------------- /lib/arm/arm_branch.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/arm/arm_branch.ml -------------------------------------------------------------------------------- /lib/arm/arm_branch.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/arm/arm_branch.mli -------------------------------------------------------------------------------- /lib/arm/arm_cond.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/arm/arm_cond.ml -------------------------------------------------------------------------------- /lib/arm/arm_cond.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/arm/arm_cond.mli -------------------------------------------------------------------------------- /lib/arm/arm_env.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/arm/arm_env.ml -------------------------------------------------------------------------------- /lib/arm/arm_env.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/arm/arm_env.mli -------------------------------------------------------------------------------- /lib/arm/arm_flags.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/arm/arm_flags.ml -------------------------------------------------------------------------------- /lib/arm/arm_flags.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/arm/arm_flags.mli -------------------------------------------------------------------------------- /lib/arm/arm_helpers.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/arm/arm_helpers.ml -------------------------------------------------------------------------------- /lib/arm/arm_helpers.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/arm/arm_helpers.mli -------------------------------------------------------------------------------- /lib/arm/arm_insn.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/arm/arm_insn.ml -------------------------------------------------------------------------------- /lib/arm/arm_insn.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/arm/arm_insn.mli -------------------------------------------------------------------------------- /lib/arm/arm_lifter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/arm/arm_lifter.ml -------------------------------------------------------------------------------- /lib/arm/arm_lifter.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/arm/arm_lifter.mli -------------------------------------------------------------------------------- /lib/arm/arm_mem.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/arm/arm_mem.ml -------------------------------------------------------------------------------- /lib/arm/arm_mem.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/arm/arm_mem.mli -------------------------------------------------------------------------------- /lib/arm/arm_mem_shift.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/arm/arm_mem_shift.ml -------------------------------------------------------------------------------- /lib/arm/arm_mem_shift.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/arm/arm_mem_shift.mli -------------------------------------------------------------------------------- /lib/arm/arm_mov.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/arm/arm_mov.ml -------------------------------------------------------------------------------- /lib/arm/arm_mov.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/arm/arm_mov.mli -------------------------------------------------------------------------------- /lib/arm/arm_mul.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/arm/arm_mul.ml -------------------------------------------------------------------------------- /lib/arm/arm_mul.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/arm/arm_mul.mli -------------------------------------------------------------------------------- /lib/arm/arm_op.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/arm/arm_op.ml -------------------------------------------------------------------------------- /lib/arm/arm_op.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/arm/arm_op.mli -------------------------------------------------------------------------------- /lib/arm/arm_reg.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/arm/arm_reg.ml -------------------------------------------------------------------------------- /lib/arm/arm_reg.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/arm/arm_reg.mli -------------------------------------------------------------------------------- /lib/arm/arm_shift.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/arm/arm_shift.ml -------------------------------------------------------------------------------- /lib/arm/arm_shift.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/arm/arm_shift.mli -------------------------------------------------------------------------------- /lib/arm/arm_target.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/arm/arm_target.ml -------------------------------------------------------------------------------- /lib/arm/arm_target.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/arm/arm_target.mli -------------------------------------------------------------------------------- /lib/arm/arm_types.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/arm/arm_types.ml -------------------------------------------------------------------------------- /lib/arm/arm_utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/arm/arm_utils.ml -------------------------------------------------------------------------------- /lib/arm/arm_utils.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/arm/arm_utils.mli -------------------------------------------------------------------------------- /lib/arm/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/arm/dune -------------------------------------------------------------------------------- /lib/bap/bap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap/bap.ml -------------------------------------------------------------------------------- /lib/bap/bap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap/bap.mli -------------------------------------------------------------------------------- /lib/bap/bap_init_toplevel.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap/bap_init_toplevel.ml -------------------------------------------------------------------------------- /lib/bap/bap_init_toplevel.mli: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lib/bap/bap_project.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap/bap_project.ml -------------------------------------------------------------------------------- /lib/bap/bap_project.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap/bap_project.mli -------------------------------------------------------------------------------- /lib/bap/bap_self.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap/bap_self.ml -------------------------------------------------------------------------------- /lib/bap/bap_self.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap/bap_self.mli -------------------------------------------------------------------------------- /lib/bap/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap/dune -------------------------------------------------------------------------------- /lib/bap_abi/bap_abi.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_abi/bap_abi.ml -------------------------------------------------------------------------------- /lib/bap_abi/bap_abi.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_abi/bap_abi.mli -------------------------------------------------------------------------------- /lib/bap_abi/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_abi/dune -------------------------------------------------------------------------------- /lib/bap_api/bap_api.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_api/bap_api.ml -------------------------------------------------------------------------------- /lib/bap_api/bap_api.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_api/bap_api.mli -------------------------------------------------------------------------------- /lib/bap_api/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_api/dune -------------------------------------------------------------------------------- /lib/bap_bml/bap_bml.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_bml/bap_bml.ml -------------------------------------------------------------------------------- /lib/bap_bml/bap_bml.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_bml/bap_bml.mli -------------------------------------------------------------------------------- /lib/bap_bml/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_bml/dune -------------------------------------------------------------------------------- /lib/bap_build/bap_build.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_build/bap_build.ml -------------------------------------------------------------------------------- /lib/bap_build/bap_build.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_build/bap_build.mli -------------------------------------------------------------------------------- /lib/bap_build/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_build/dune -------------------------------------------------------------------------------- /lib/bap_bundle/bap_bundle.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_bundle/bap_bundle.ml -------------------------------------------------------------------------------- /lib/bap_bundle/bap_bundle.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_bundle/bap_bundle.mli -------------------------------------------------------------------------------- /lib/bap_bundle/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_bundle/dune -------------------------------------------------------------------------------- /lib/bap_byteweight/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_byteweight/dune -------------------------------------------------------------------------------- /lib/bap_c/.ocamlinit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_c/.ocamlinit -------------------------------------------------------------------------------- /lib/bap_c/bap_c.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_c/bap_c.ml -------------------------------------------------------------------------------- /lib/bap_c/bap_c_abi.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_c/bap_c_abi.ml -------------------------------------------------------------------------------- /lib/bap_c/bap_c_abi.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_c/bap_c_abi.mli -------------------------------------------------------------------------------- /lib/bap_c/bap_c_attr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_c/bap_c_attr.ml -------------------------------------------------------------------------------- /lib/bap_c/bap_c_attr.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_c/bap_c_attr.mli -------------------------------------------------------------------------------- /lib/bap_c/bap_c_data.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_c/bap_c_data.ml -------------------------------------------------------------------------------- /lib/bap_c/bap_c_data.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_c/bap_c_data.mli -------------------------------------------------------------------------------- /lib/bap_c/bap_c_parser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_c/bap_c_parser.ml -------------------------------------------------------------------------------- /lib/bap_c/bap_c_parser.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_c/bap_c_parser.mli -------------------------------------------------------------------------------- /lib/bap_c/bap_c_size.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_c/bap_c_size.ml -------------------------------------------------------------------------------- /lib/bap_c/bap_c_size.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_c/bap_c_size.mli -------------------------------------------------------------------------------- /lib/bap_c/bap_c_type.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_c/bap_c_type.ml -------------------------------------------------------------------------------- /lib/bap_c/bap_c_type.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_c/bap_c_type.mli -------------------------------------------------------------------------------- /lib/bap_c/bap_c_type_mapper.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_c/bap_c_type_mapper.ml -------------------------------------------------------------------------------- /lib/bap_c/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_c/dune -------------------------------------------------------------------------------- /lib/bap_core_theory/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_core_theory/dune -------------------------------------------------------------------------------- /lib/bap_demangle/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_demangle/dune -------------------------------------------------------------------------------- /lib/bap_disasm/OMakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_disasm/OMakefile -------------------------------------------------------------------------------- /lib/bap_disasm/bap_disasm.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_disasm/bap_disasm.ml -------------------------------------------------------------------------------- /lib/bap_disasm/bap_disasm.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_disasm/bap_disasm.mli -------------------------------------------------------------------------------- /lib/bap_disasm/disasm.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_disasm/disasm.cpp -------------------------------------------------------------------------------- /lib/bap_disasm/disasm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_disasm/disasm.h -------------------------------------------------------------------------------- /lib/bap_disasm/disasm.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_disasm/disasm.hpp -------------------------------------------------------------------------------- /lib/bap_disasm/disasm_stubs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_disasm/disasm_stubs.c -------------------------------------------------------------------------------- /lib/bap_disasm/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_disasm/dune -------------------------------------------------------------------------------- /lib/bap_dwarf/bap_dwarf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_dwarf/bap_dwarf.ml -------------------------------------------------------------------------------- /lib/bap_dwarf/bap_dwarf.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_dwarf/bap_dwarf.mli -------------------------------------------------------------------------------- /lib/bap_dwarf/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_dwarf/dune -------------------------------------------------------------------------------- /lib/bap_dwarf/dwarf_data.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_dwarf/dwarf_data.ml -------------------------------------------------------------------------------- /lib/bap_dwarf/dwarf_data.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_dwarf/dwarf_data.mli -------------------------------------------------------------------------------- /lib/bap_dwarf/dwarf_fbi.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_dwarf/dwarf_fbi.ml -------------------------------------------------------------------------------- /lib/bap_dwarf/dwarf_fbi.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_dwarf/dwarf_fbi.mli -------------------------------------------------------------------------------- /lib/bap_dwarf/dwarf_input.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_dwarf/dwarf_input.ml -------------------------------------------------------------------------------- /lib/bap_dwarf/dwarf_input.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_dwarf/dwarf_input.mli -------------------------------------------------------------------------------- /lib/bap_dwarf/dwarf_leb128.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_dwarf/dwarf_leb128.ml -------------------------------------------------------------------------------- /lib/bap_dwarf/dwarf_leb128.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_dwarf/dwarf_leb128.mli -------------------------------------------------------------------------------- /lib/bap_dwarf/dwarf_types.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_dwarf/dwarf_types.ml -------------------------------------------------------------------------------- /lib/bap_elementary/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_elementary/dune -------------------------------------------------------------------------------- /lib/bap_elf/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_elf/LICENSE -------------------------------------------------------------------------------- /lib/bap_elf/bap_elf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_elf/bap_elf.ml -------------------------------------------------------------------------------- /lib/bap_elf/bap_elf.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_elf/bap_elf.mli -------------------------------------------------------------------------------- /lib/bap_elf/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_elf/dune -------------------------------------------------------------------------------- /lib/bap_elf/elf_parse.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_elf/elf_parse.ml -------------------------------------------------------------------------------- /lib/bap_elf/elf_parse.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_elf/elf_parse.mli -------------------------------------------------------------------------------- /lib/bap_elf/elf_types.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_elf/elf_types.ml -------------------------------------------------------------------------------- /lib/bap_elf/elf_utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_elf/elf_utils.ml -------------------------------------------------------------------------------- /lib/bap_elf/elf_utils.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_elf/elf_utils.mli -------------------------------------------------------------------------------- /lib/bap_future/bap_future.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_future/bap_future.ml -------------------------------------------------------------------------------- /lib/bap_future/bap_future.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_future/bap_future.mli -------------------------------------------------------------------------------- /lib/bap_future/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_future/dune -------------------------------------------------------------------------------- /lib/bap_ghidra/OMakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_ghidra/OMakefile -------------------------------------------------------------------------------- /lib/bap_ghidra/bap_ghidra.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_ghidra/bap_ghidra.ml -------------------------------------------------------------------------------- /lib/bap_ghidra/bap_ghidra.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_ghidra/bap_ghidra.mli -------------------------------------------------------------------------------- /lib/bap_ghidra/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_ghidra/dune -------------------------------------------------------------------------------- /lib/bap_ghidra/ghidra_disasm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_ghidra/ghidra_disasm.h -------------------------------------------------------------------------------- /lib/bap_ghidra/ghidra_disasm.hpp: -------------------------------------------------------------------------------- 1 | #include "ghidra_disasm.h" 2 | -------------------------------------------------------------------------------- /lib/bap_ghidra/ghidra_stubs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_ghidra/ghidra_stubs.c -------------------------------------------------------------------------------- /lib/bap_ida/bap_ida.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_ida/bap_ida.ml -------------------------------------------------------------------------------- /lib/bap_ida/bap_ida.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_ida/bap_ida.mli -------------------------------------------------------------------------------- /lib/bap_ida/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_ida/dune -------------------------------------------------------------------------------- /lib/bap_image/bap_fileutils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_image/bap_fileutils.ml -------------------------------------------------------------------------------- /lib/bap_image/bap_image.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_image/bap_image.ml -------------------------------------------------------------------------------- /lib/bap_image/bap_image.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_image/bap_image.mli -------------------------------------------------------------------------------- /lib/bap_image/bap_image_std.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_image/bap_image_std.ml -------------------------------------------------------------------------------- /lib/bap_image/bap_memmap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_image/bap_memmap.ml -------------------------------------------------------------------------------- /lib/bap_image/bap_memmap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_image/bap_memmap.mli -------------------------------------------------------------------------------- /lib/bap_image/bap_memory.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_image/bap_memory.ml -------------------------------------------------------------------------------- /lib/bap_image/bap_memory.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_image/bap_memory.mli -------------------------------------------------------------------------------- /lib/bap_image/bap_table.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_image/bap_table.ml -------------------------------------------------------------------------------- /lib/bap_image/bap_table.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_image/bap_table.mli -------------------------------------------------------------------------------- /lib/bap_image/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_image/dune -------------------------------------------------------------------------------- /lib/bap_image/image_backend.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_image/image_backend.ml -------------------------------------------------------------------------------- /lib/bap_image/image_common.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_image/image_common.ml -------------------------------------------------------------------------------- /lib/bap_llvm/OMakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_llvm/OMakefile -------------------------------------------------------------------------------- /lib/bap_llvm/bap_llvm.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_llvm/bap_llvm.ml -------------------------------------------------------------------------------- /lib/bap_llvm/bap_llvm.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_llvm/bap_llvm.mli -------------------------------------------------------------------------------- /lib/bap_llvm/config/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_llvm/config/dune -------------------------------------------------------------------------------- /lib/bap_llvm/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_llvm/dune -------------------------------------------------------------------------------- /lib/bap_llvm/llvm_coff_loader.cpp: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lib/bap_llvm/llvm_coff_loader.h: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lib/bap_llvm/llvm_disasm.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_llvm/llvm_disasm.cpp -------------------------------------------------------------------------------- /lib/bap_llvm/llvm_disasm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_llvm/llvm_disasm.h -------------------------------------------------------------------------------- /lib/bap_llvm/llvm_disasm.hpp: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lib/bap_llvm/llvm_elf_loader.cpp: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lib/bap_llvm/llvm_elf_loader.h: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lib/bap_llvm/llvm_error_or.cpp: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lib/bap_llvm/llvm_error_or.h: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lib/bap_llvm/llvm_error_or.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_llvm/llvm_error_or.hpp -------------------------------------------------------------------------------- /lib/bap_llvm/llvm_loader.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_llvm/llvm_loader.cpp -------------------------------------------------------------------------------- /lib/bap_llvm/llvm_loader.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_llvm/llvm_loader.h -------------------------------------------------------------------------------- /lib/bap_llvm/llvm_loader.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_llvm/llvm_loader.hpp -------------------------------------------------------------------------------- /lib/bap_llvm/llvm_loader_utils.cpp: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lib/bap_llvm/llvm_loader_utils.h: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lib/bap_llvm/llvm_macho_loader.cpp: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lib/bap_llvm/llvm_macho_loader.h: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lib/bap_llvm/llvm_pdb_loader.cpp: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /lib/bap_llvm/llvm_pdb_loader.h: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lib/bap_llvm/llvm_primitives.h: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lib/bap_llvm/llvm_stubs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_llvm/llvm_stubs.c -------------------------------------------------------------------------------- /lib/bap_main/bap_main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_main/bap_main.ml -------------------------------------------------------------------------------- /lib/bap_main/bap_main.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_main/bap_main.mli -------------------------------------------------------------------------------- /lib/bap_main/bap_main_event.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_main/bap_main_event.ml -------------------------------------------------------------------------------- /lib/bap_main/bap_main_log.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_main/bap_main_log.ml -------------------------------------------------------------------------------- /lib/bap_main/bap_main_log.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_main/bap_main_log.mli -------------------------------------------------------------------------------- /lib/bap_main/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_main/dune -------------------------------------------------------------------------------- /lib/bap_mips/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_mips/dune -------------------------------------------------------------------------------- /lib/bap_piqi/bil_piqi.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_piqi/bil_piqi.ml -------------------------------------------------------------------------------- /lib/bap_piqi/bil_piqi.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_piqi/bil_piqi.mli -------------------------------------------------------------------------------- /lib/bap_piqi/bir_piqi.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_piqi/bir_piqi.ml -------------------------------------------------------------------------------- /lib/bap_piqi/bir_piqi.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_piqi/bir_piqi.mli -------------------------------------------------------------------------------- /lib/bap_piqi/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_piqi/dune -------------------------------------------------------------------------------- /lib/bap_piqi/exp.piqi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_piqi/exp.piqi -------------------------------------------------------------------------------- /lib/bap_piqi/ir.piqi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_piqi/ir.piqi -------------------------------------------------------------------------------- /lib/bap_piqi/stmt.piqi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_piqi/stmt.piqi -------------------------------------------------------------------------------- /lib/bap_piqi/type.piqi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_piqi/type.piqi -------------------------------------------------------------------------------- /lib/bap_plugins/bap_common.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_plugins/bap_common.ml -------------------------------------------------------------------------------- /lib/bap_plugins/bap_plugins.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_plugins/bap_plugins.ml -------------------------------------------------------------------------------- /lib/bap_plugins/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_plugins/dune -------------------------------------------------------------------------------- /lib/bap_powerpc/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_powerpc/dune -------------------------------------------------------------------------------- /lib/bap_primus/bap_primus.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_primus/bap_primus.ml -------------------------------------------------------------------------------- /lib/bap_primus/bap_primus.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_primus/bap_primus.mli -------------------------------------------------------------------------------- /lib/bap_primus/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_primus/dune -------------------------------------------------------------------------------- /lib/bap_recipe/bap_recipe.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_recipe/bap_recipe.ml -------------------------------------------------------------------------------- /lib/bap_recipe/bap_recipe.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_recipe/bap_recipe.mli -------------------------------------------------------------------------------- /lib/bap_recipe/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_recipe/dune -------------------------------------------------------------------------------- /lib/bap_relation/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_relation/dune -------------------------------------------------------------------------------- /lib/bap_riscv/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_riscv/dune -------------------------------------------------------------------------------- /lib/bap_sema/bap_sema.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_sema/bap_sema.ml -------------------------------------------------------------------------------- /lib/bap_sema/bap_sema_lift.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_sema/bap_sema_lift.ml -------------------------------------------------------------------------------- /lib/bap_sema/bap_sema_lift.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_sema/bap_sema_lift.mli -------------------------------------------------------------------------------- /lib/bap_sema/bap_sema_ssa.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_sema/bap_sema_ssa.ml -------------------------------------------------------------------------------- /lib/bap_sema/bap_sema_ssa.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_sema/bap_sema_ssa.mli -------------------------------------------------------------------------------- /lib/bap_sema/bap_sema_taint.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_sema/bap_sema_taint.ml -------------------------------------------------------------------------------- /lib/bap_sema/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_sema/dune -------------------------------------------------------------------------------- /lib/bap_strings/bap_strings.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_strings/bap_strings.ml -------------------------------------------------------------------------------- /lib/bap_strings/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_strings/dune -------------------------------------------------------------------------------- /lib/bap_systemz/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_systemz/dune -------------------------------------------------------------------------------- /lib/bap_taint/bap_taint.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_taint/bap_taint.ml -------------------------------------------------------------------------------- /lib/bap_taint/bap_taint.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_taint/bap_taint.mli -------------------------------------------------------------------------------- /lib/bap_taint/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_taint/dune -------------------------------------------------------------------------------- /lib/bap_traces/bap_trace.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_traces/bap_trace.ml -------------------------------------------------------------------------------- /lib/bap_traces/bap_trace.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_traces/bap_trace.mli -------------------------------------------------------------------------------- /lib/bap_traces/bap_trace_id.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_traces/bap_trace_id.ml -------------------------------------------------------------------------------- /lib/bap_traces/bap_traces.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_traces/bap_traces.ml -------------------------------------------------------------------------------- /lib/bap_traces/bap_traces.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_traces/bap_traces.mli -------------------------------------------------------------------------------- /lib/bap_traces/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_traces/dune -------------------------------------------------------------------------------- /lib/bap_types/bap_addr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_addr.ml -------------------------------------------------------------------------------- /lib/bap_types/bap_addr.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_addr.mli -------------------------------------------------------------------------------- /lib/bap_types/bap_arch.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_arch.ml -------------------------------------------------------------------------------- /lib/bap_types/bap_arch.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_arch.mli -------------------------------------------------------------------------------- /lib/bap_types/bap_bil.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_bil.ml -------------------------------------------------------------------------------- /lib/bap_types/bap_bil_adt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_bil_adt.ml -------------------------------------------------------------------------------- /lib/bap_types/bap_bil_adt.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_bil_adt.mli -------------------------------------------------------------------------------- /lib/bap_types/bap_bil_pass.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_bil_pass.ml -------------------------------------------------------------------------------- /lib/bap_types/bap_bil_pass.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_bil_pass.mli -------------------------------------------------------------------------------- /lib/bap_types/bap_bili.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_bili.ml -------------------------------------------------------------------------------- /lib/bap_types/bap_bili.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_bili.mli -------------------------------------------------------------------------------- /lib/bap_types/bap_biri.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_biri.ml -------------------------------------------------------------------------------- /lib/bap_types/bap_biri.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_biri.mli -------------------------------------------------------------------------------- /lib/bap_types/bap_bitvector.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_bitvector.ml -------------------------------------------------------------------------------- /lib/bap_types/bap_context.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_context.ml -------------------------------------------------------------------------------- /lib/bap_types/bap_context.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_context.mli -------------------------------------------------------------------------------- /lib/bap_types/bap_eval.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_eval.ml -------------------------------------------------------------------------------- /lib/bap_types/bap_eval.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_eval.mli -------------------------------------------------------------------------------- /lib/bap_types/bap_exp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_exp.ml -------------------------------------------------------------------------------- /lib/bap_types/bap_exp.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_exp.mli -------------------------------------------------------------------------------- /lib/bap_types/bap_expi.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_expi.ml -------------------------------------------------------------------------------- /lib/bap_types/bap_expi.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_expi.mli -------------------------------------------------------------------------------- /lib/bap_types/bap_helpers.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_helpers.ml -------------------------------------------------------------------------------- /lib/bap_types/bap_helpers.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_helpers.mli -------------------------------------------------------------------------------- /lib/bap_types/bap_integer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_integer.ml -------------------------------------------------------------------------------- /lib/bap_types/bap_integer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_integer.mli -------------------------------------------------------------------------------- /lib/bap_types/bap_ir.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_ir.ml -------------------------------------------------------------------------------- /lib/bap_types/bap_ir.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_ir.mli -------------------------------------------------------------------------------- /lib/bap_types/bap_ir_graph.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_ir_graph.ml -------------------------------------------------------------------------------- /lib/bap_types/bap_ir_graph.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_ir_graph.mli -------------------------------------------------------------------------------- /lib/bap_types/bap_monad.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_monad.ml -------------------------------------------------------------------------------- /lib/bap_types/bap_monad.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_monad.mli -------------------------------------------------------------------------------- /lib/bap_types/bap_ogre.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_ogre.ml -------------------------------------------------------------------------------- /lib/bap_types/bap_ogre.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_ogre.mli -------------------------------------------------------------------------------- /lib/bap_types/bap_result.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_result.ml -------------------------------------------------------------------------------- /lib/bap_types/bap_result.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_result.mli -------------------------------------------------------------------------------- /lib/bap_types/bap_size.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_size.ml -------------------------------------------------------------------------------- /lib/bap_types/bap_size.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_size.mli -------------------------------------------------------------------------------- /lib/bap_types/bap_stmt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_stmt.ml -------------------------------------------------------------------------------- /lib/bap_types/bap_stmt.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_stmt.mli -------------------------------------------------------------------------------- /lib/bap_types/bap_tid_graph.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_tid_graph.ml -------------------------------------------------------------------------------- /lib/bap_types/bap_toplevel.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_toplevel.ml -------------------------------------------------------------------------------- /lib/bap_types/bap_toplevel.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_toplevel.mli -------------------------------------------------------------------------------- /lib/bap_types/bap_trie.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_trie.ml -------------------------------------------------------------------------------- /lib/bap_types/bap_trie.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_trie.mli -------------------------------------------------------------------------------- /lib/bap_types/bap_trie_intf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_trie_intf.ml -------------------------------------------------------------------------------- /lib/bap_types/bap_type.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_type.ml -------------------------------------------------------------------------------- /lib/bap_types/bap_type.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_type.mli -------------------------------------------------------------------------------- /lib/bap_types/bap_types.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_types.ml -------------------------------------------------------------------------------- /lib/bap_types/bap_value.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_value.ml -------------------------------------------------------------------------------- /lib/bap_types/bap_value.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_value.mli -------------------------------------------------------------------------------- /lib/bap_types/bap_var.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_var.ml -------------------------------------------------------------------------------- /lib/bap_types/bap_var.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_var.mli -------------------------------------------------------------------------------- /lib/bap_types/bap_vector.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_vector.ml -------------------------------------------------------------------------------- /lib/bap_types/bap_vector.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_vector.mli -------------------------------------------------------------------------------- /lib/bap_types/bap_visitor.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_visitor.ml -------------------------------------------------------------------------------- /lib/bap_types/bap_visitor.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/bap_visitor.mli -------------------------------------------------------------------------------- /lib/bap_types/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bap_types/dune -------------------------------------------------------------------------------- /lib/bare/bare.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bare/bare.ml -------------------------------------------------------------------------------- /lib/bare/bare.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bare/bare.mli -------------------------------------------------------------------------------- /lib/bare/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bare/dune -------------------------------------------------------------------------------- /lib/beagle/beagle_prey.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/beagle/beagle_prey.ml -------------------------------------------------------------------------------- /lib/beagle/beagle_prey.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/beagle/beagle_prey.mli -------------------------------------------------------------------------------- /lib/beagle/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/beagle/dune -------------------------------------------------------------------------------- /lib/bitvec/bitvec.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bitvec/bitvec.ml -------------------------------------------------------------------------------- /lib/bitvec/bitvec.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bitvec/bitvec.mli -------------------------------------------------------------------------------- /lib/bitvec/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bitvec/dune -------------------------------------------------------------------------------- /lib/bitvec_binprot/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bitvec_binprot/dune -------------------------------------------------------------------------------- /lib/bitvec_order/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bitvec_order/dune -------------------------------------------------------------------------------- /lib/bitvec_sexp/bitvec_sexp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bitvec_sexp/bitvec_sexp.ml -------------------------------------------------------------------------------- /lib/bitvec_sexp/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/bitvec_sexp/dune -------------------------------------------------------------------------------- /lib/common/bap_common.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/common/bap_common.ml -------------------------------------------------------------------------------- /lib/common/bap_common.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/common/bap_common.mli -------------------------------------------------------------------------------- /lib/common/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/common/dune -------------------------------------------------------------------------------- /lib/graphlib/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/graphlib/dune -------------------------------------------------------------------------------- /lib/graphlib/graphlib.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/graphlib/graphlib.ml -------------------------------------------------------------------------------- /lib/graphlib/graphlib.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/graphlib/graphlib.mli -------------------------------------------------------------------------------- /lib/graphlib/graphlib_graph.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/graphlib/graphlib_graph.ml -------------------------------------------------------------------------------- /lib/graphlib/graphlib_intf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/graphlib/graphlib_intf.ml -------------------------------------------------------------------------------- /lib/graphlib/graphlib_pp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/graphlib/graphlib_pp.ml -------------------------------------------------------------------------------- /lib/graphlib/graphlib_pp.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/graphlib/graphlib_pp.mli -------------------------------------------------------------------------------- /lib/knowledge/bap_knowledge.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/knowledge/bap_knowledge.ml -------------------------------------------------------------------------------- /lib/knowledge/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/knowledge/dune -------------------------------------------------------------------------------- /lib/microx/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/microx/dune -------------------------------------------------------------------------------- /lib/microx/microx.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/microx/microx.ml -------------------------------------------------------------------------------- /lib/microx/microx_conqueror.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/microx/microx_conqueror.ml -------------------------------------------------------------------------------- /lib/monads/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/monads/dune -------------------------------------------------------------------------------- /lib/monads/monads.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/monads/monads.ml -------------------------------------------------------------------------------- /lib/monads/monads.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/monads/monads.mli -------------------------------------------------------------------------------- /lib/monads/monads_monad.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/monads/monads_monad.ml -------------------------------------------------------------------------------- /lib/monads/monads_monad.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/monads/monads_monad.mli -------------------------------------------------------------------------------- /lib/monads/monads_monoid.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/monads/monads_monoid.ml -------------------------------------------------------------------------------- /lib/monads/monads_monoid.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/monads/monads_monoid.mli -------------------------------------------------------------------------------- /lib/monads/monads_types.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/monads/monads_types.ml -------------------------------------------------------------------------------- /lib/ogre/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/ogre/dune -------------------------------------------------------------------------------- /lib/ogre/ogre.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/ogre/ogre.ml -------------------------------------------------------------------------------- /lib/ogre/ogre.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/ogre/ogre.mli -------------------------------------------------------------------------------- /lib/regular/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/regular/dune -------------------------------------------------------------------------------- /lib/regular/regular.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/regular/regular.ml -------------------------------------------------------------------------------- /lib/regular/regular.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/regular/regular.mli -------------------------------------------------------------------------------- /lib/regular/regular_bytes.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/regular/regular_bytes.ml -------------------------------------------------------------------------------- /lib/regular/regular_bytes.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/regular/regular_bytes.mli -------------------------------------------------------------------------------- /lib/regular/regular_cache.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/regular/regular_cache.ml -------------------------------------------------------------------------------- /lib/regular/regular_cache.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/regular/regular_cache.mli -------------------------------------------------------------------------------- /lib/regular/regular_data.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/regular/regular_data.ml -------------------------------------------------------------------------------- /lib/regular/regular_data.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/regular/regular_data.mli -------------------------------------------------------------------------------- /lib/regular/regular_opaque.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/regular/regular_opaque.ml -------------------------------------------------------------------------------- /lib/regular/regular_regular.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/regular/regular_regular.ml -------------------------------------------------------------------------------- /lib/regular/regular_seq.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/regular/regular_seq.ml -------------------------------------------------------------------------------- /lib/regular/regular_seq.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/regular/regular_seq.mli -------------------------------------------------------------------------------- /lib/text_tags/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/text_tags/dune -------------------------------------------------------------------------------- /lib/text_tags/text_tags.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/text_tags/text_tags.ml -------------------------------------------------------------------------------- /lib/text_tags/text_tags.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/text_tags/text_tags.mli -------------------------------------------------------------------------------- /lib/x86_cpu/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/x86_cpu/dune -------------------------------------------------------------------------------- /lib/x86_cpu/x86_asm.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/x86_cpu/x86_asm.ml -------------------------------------------------------------------------------- /lib/x86_cpu/x86_asm_reg.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/x86_cpu/x86_asm_reg.ml -------------------------------------------------------------------------------- /lib/x86_cpu/x86_asm_reg.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/x86_cpu/x86_asm_reg.mli -------------------------------------------------------------------------------- /lib/x86_cpu/x86_cpu.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/x86_cpu/x86_cpu.ml -------------------------------------------------------------------------------- /lib/x86_cpu/x86_cpu.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/x86_cpu/x86_cpu.mli -------------------------------------------------------------------------------- /lib/x86_cpu/x86_env.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/x86_cpu/x86_env.ml -------------------------------------------------------------------------------- /lib/x86_cpu/x86_env.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/x86_cpu/x86_env.mli -------------------------------------------------------------------------------- /lib/x86_cpu/x86_llvm_env.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/x86_cpu/x86_llvm_env.ml -------------------------------------------------------------------------------- /lib/x86_cpu/x86_llvm_env.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/x86_cpu/x86_llvm_env.mli -------------------------------------------------------------------------------- /lib/x86_cpu/x86_target.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/x86_cpu/x86_target.ml -------------------------------------------------------------------------------- /lib/x86_cpu/x86_target.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/x86_cpu/x86_target.mli -------------------------------------------------------------------------------- /lib/x86_cpu/x86_types.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib/x86_cpu/x86_types.ml -------------------------------------------------------------------------------- /lib_test/bap/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib_test/bap/dune -------------------------------------------------------------------------------- /lib_test/bap/run_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib_test/bap/run_tests.ml -------------------------------------------------------------------------------- /lib_test/bap/run_tests.mli: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lib_test/bap_disasm/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib_test/bap_disasm/dune -------------------------------------------------------------------------------- /lib_test/bap_disasm/test_disasm.mli: -------------------------------------------------------------------------------- 1 | val suite : unit -> OUnit2.test 2 | -------------------------------------------------------------------------------- /lib_test/bap_future/test_future.mli: -------------------------------------------------------------------------------- 1 | 2 | 3 | val suite : OUnit2.test 4 | -------------------------------------------------------------------------------- /lib_test/bap_future/test_future_std.mli: -------------------------------------------------------------------------------- 1 | 2 | val suite : OUnit2.test 3 | -------------------------------------------------------------------------------- /lib_test/bap_future/test_stream.mli: -------------------------------------------------------------------------------- 1 | 2 | 3 | val suite : OUnit2.test 4 | -------------------------------------------------------------------------------- /lib_test/bap_image/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib_test/bap_image/dune -------------------------------------------------------------------------------- /lib_test/bap_image/test_image.mli: -------------------------------------------------------------------------------- 1 | val suite : unit -> OUnit2.test 2 | -------------------------------------------------------------------------------- /lib_test/bap_image/test_memmap.mli: -------------------------------------------------------------------------------- 1 | val suite : unit -> OUnit2.test 2 | -------------------------------------------------------------------------------- /lib_test/bap_image/test_table.mli: -------------------------------------------------------------------------------- 1 | val suite : unit -> OUnit2.test 2 | -------------------------------------------------------------------------------- /lib_test/bap_project/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib_test/bap_project/dune -------------------------------------------------------------------------------- /lib_test/bap_project/test_project.mli: -------------------------------------------------------------------------------- 1 | val suite : unit -> OUnit2.test 2 | -------------------------------------------------------------------------------- /lib_test/bap_sema/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib_test/bap_sema/dune -------------------------------------------------------------------------------- /lib_test/bap_sema/test_ir.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib_test/bap_sema/test_ir.ml -------------------------------------------------------------------------------- /lib_test/bap_sema/test_ir.mli: -------------------------------------------------------------------------------- 1 | val suite : unit -> OUnit2.test 2 | -------------------------------------------------------------------------------- /lib_test/bap_traces/test_traces.mli: -------------------------------------------------------------------------------- 1 | val suite : unit -> OUnit2.test 2 | -------------------------------------------------------------------------------- /lib_test/bap_types/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib_test/bap_types/dune -------------------------------------------------------------------------------- /lib_test/bap_types/test_bili.mli: -------------------------------------------------------------------------------- 1 | val suite : unit -> OUnit2.test 2 | -------------------------------------------------------------------------------- /lib_test/bap_types/test_bitvector.mli: -------------------------------------------------------------------------------- 1 | val suite : unit -> OUnit2.test 2 | -------------------------------------------------------------------------------- /lib_test/bap_types/test_bytes.mli: -------------------------------------------------------------------------------- 1 | 2 | val suite : OUnit2.test 3 | -------------------------------------------------------------------------------- /lib_test/bap_types/test_graph.mli: -------------------------------------------------------------------------------- 1 | val suite : unit -> OUnit2.test 2 | -------------------------------------------------------------------------------- /lib_test/bap_types/test_optimizations.mli: -------------------------------------------------------------------------------- 1 | val suite : unit -> OUnit2.test 2 | -------------------------------------------------------------------------------- /lib_test/bap_types/test_trie.mli: -------------------------------------------------------------------------------- 1 | open OUnit2 2 | val suite : unit -> test 3 | -------------------------------------------------------------------------------- /lib_test/powerpc/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib_test/powerpc/dune -------------------------------------------------------------------------------- /lib_test/stub_resolver/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib_test/stub_resolver/dune -------------------------------------------------------------------------------- /lib_test/x86/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib_test/x86/dune -------------------------------------------------------------------------------- /lib_test/x86/run_x86_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib_test/x86/run_x86_tests.ml -------------------------------------------------------------------------------- /lib_test/x86/test_pcmp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib_test/x86/test_pcmp.ml -------------------------------------------------------------------------------- /lib_test/x86/test_pshufb.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/lib_test/x86/test_pshufb.ml -------------------------------------------------------------------------------- /man/bapbundle.1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/man/bapbundle.1 -------------------------------------------------------------------------------- /monads.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/monads.opam -------------------------------------------------------------------------------- /myocamlbuild.ml.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/myocamlbuild.ml.in -------------------------------------------------------------------------------- /oasis/abi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/abi -------------------------------------------------------------------------------- /oasis/analyze: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/analyze -------------------------------------------------------------------------------- /oasis/api: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/api -------------------------------------------------------------------------------- /oasis/api.files.ab.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/api.files.ab.in -------------------------------------------------------------------------------- /oasis/api.setup.ml.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/api.setup.ml.in -------------------------------------------------------------------------------- /oasis/arm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/arm -------------------------------------------------------------------------------- /oasis/bap-std: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/bap-std -------------------------------------------------------------------------------- /oasis/bare: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/bare -------------------------------------------------------------------------------- /oasis/beagle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/beagle -------------------------------------------------------------------------------- /oasis/benchmarks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/benchmarks -------------------------------------------------------------------------------- /oasis/bil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/bil -------------------------------------------------------------------------------- /oasis/bitvec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/bitvec -------------------------------------------------------------------------------- /oasis/bitvec-binprot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/bitvec-binprot -------------------------------------------------------------------------------- /oasis/bitvec-order: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/bitvec-order -------------------------------------------------------------------------------- /oasis/bitvec-sexp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/bitvec-sexp -------------------------------------------------------------------------------- /oasis/build: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/build -------------------------------------------------------------------------------- /oasis/bundle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/bundle -------------------------------------------------------------------------------- /oasis/bundle.files.ab.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/bundle.files.ab.in -------------------------------------------------------------------------------- /oasis/byteweight: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/byteweight -------------------------------------------------------------------------------- /oasis/byteweight-frontend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/byteweight-frontend -------------------------------------------------------------------------------- /oasis/c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/c -------------------------------------------------------------------------------- /oasis/cache: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/cache -------------------------------------------------------------------------------- /oasis/callgraph-collator: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/callgraph-collator -------------------------------------------------------------------------------- /oasis/callsites: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/callsites -------------------------------------------------------------------------------- /oasis/common: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/common -------------------------------------------------------------------------------- /oasis/common.files.ab.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/common.files.ab.in -------------------------------------------------------------------------------- /oasis/common.ocamlbuild.ml.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/common.ocamlbuild.ml.in -------------------------------------------------------------------------------- /oasis/common.omake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/common.omake -------------------------------------------------------------------------------- /oasis/common.setup.ml.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/common.setup.ml.in -------------------------------------------------------------------------------- /oasis/common.tags.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/common.tags.in -------------------------------------------------------------------------------- /oasis/constant-tracker: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/constant-tracker -------------------------------------------------------------------------------- /oasis/core-theory: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/core-theory -------------------------------------------------------------------------------- /oasis/cxxfilt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/cxxfilt -------------------------------------------------------------------------------- /oasis/cxxfilt.files.ab.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/cxxfilt.files.ab.in -------------------------------------------------------------------------------- /oasis/cxxfilt.setup.ml.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/cxxfilt.setup.ml.in -------------------------------------------------------------------------------- /oasis/demangle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/demangle -------------------------------------------------------------------------------- /oasis/dependencies: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/dependencies -------------------------------------------------------------------------------- /oasis/disassemble: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/disassemble -------------------------------------------------------------------------------- /oasis/dump-symbols: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/dump-symbols -------------------------------------------------------------------------------- /oasis/dwarf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/dwarf -------------------------------------------------------------------------------- /oasis/elementary: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/elementary -------------------------------------------------------------------------------- /oasis/elf-loader: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/elf-loader -------------------------------------------------------------------------------- /oasis/emit-ida-script: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/emit-ida-script -------------------------------------------------------------------------------- /oasis/flatten: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/flatten -------------------------------------------------------------------------------- /oasis/frontc-parser: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/frontc-parser -------------------------------------------------------------------------------- /oasis/frontend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/frontend -------------------------------------------------------------------------------- /oasis/future: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/future -------------------------------------------------------------------------------- /oasis/ghidra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/ghidra -------------------------------------------------------------------------------- /oasis/glibc-runtime: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/glibc-runtime -------------------------------------------------------------------------------- /oasis/graphlib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/graphlib -------------------------------------------------------------------------------- /oasis/ida: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/ida -------------------------------------------------------------------------------- /oasis/ida.files.ab.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/ida.files.ab.in -------------------------------------------------------------------------------- /oasis/ida.setup.ml.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/ida.setup.ml.in -------------------------------------------------------------------------------- /oasis/knowledge: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/knowledge -------------------------------------------------------------------------------- /oasis/language: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/language -------------------------------------------------------------------------------- /oasis/llvm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/llvm -------------------------------------------------------------------------------- /oasis/llvm.files.ab.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/llvm.files.ab.in -------------------------------------------------------------------------------- /oasis/llvm.ocamlbuild.ml.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/llvm.ocamlbuild.ml.in -------------------------------------------------------------------------------- /oasis/llvm.setup.ml.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/llvm.setup.ml.in -------------------------------------------------------------------------------- /oasis/llvm.tags.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/llvm.tags.in -------------------------------------------------------------------------------- /oasis/main: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/main -------------------------------------------------------------------------------- /oasis/main.files.ab.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/main.files.ab.in -------------------------------------------------------------------------------- /oasis/main.setup.ml.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/main.setup.ml.in -------------------------------------------------------------------------------- /oasis/map-terms: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/map-terms -------------------------------------------------------------------------------- /oasis/mc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/mc -------------------------------------------------------------------------------- /oasis/microx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/microx -------------------------------------------------------------------------------- /oasis/mips: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/mips -------------------------------------------------------------------------------- /oasis/monads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/monads -------------------------------------------------------------------------------- /oasis/objdump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/objdump -------------------------------------------------------------------------------- /oasis/objdump.files.ab.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/objdump.files.ab.in -------------------------------------------------------------------------------- /oasis/objdump.setup.ml.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/objdump.setup.ml.in -------------------------------------------------------------------------------- /oasis/ogre: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/ogre -------------------------------------------------------------------------------- /oasis/optimization: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/optimization -------------------------------------------------------------------------------- /oasis/patterns: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/patterns -------------------------------------------------------------------------------- /oasis/phoenix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/phoenix -------------------------------------------------------------------------------- /oasis/piqi-printers: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/piqi-printers -------------------------------------------------------------------------------- /oasis/plugins: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/plugins -------------------------------------------------------------------------------- /oasis/plugins.files.ab.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/plugins.files.ab.in -------------------------------------------------------------------------------- /oasis/powerpc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/powerpc -------------------------------------------------------------------------------- /oasis/primus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/primus -------------------------------------------------------------------------------- /oasis/primus-dictionary: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/primus-dictionary -------------------------------------------------------------------------------- /oasis/primus-exploring: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/primus-exploring -------------------------------------------------------------------------------- /oasis/primus-greedy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/primus-greedy -------------------------------------------------------------------------------- /oasis/primus-limit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/primus-limit -------------------------------------------------------------------------------- /oasis/primus-lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/primus-lisp -------------------------------------------------------------------------------- /oasis/primus-lisp.files.ab.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/primus-lisp.files.ab.in -------------------------------------------------------------------------------- /oasis/primus-lisp.setup.ml.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/primus-lisp.setup.ml.in -------------------------------------------------------------------------------- /oasis/primus-loader: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/primus-loader -------------------------------------------------------------------------------- /oasis/primus-machine: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/primus-machine -------------------------------------------------------------------------------- /oasis/primus-mark-visited: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/primus-mark-visited -------------------------------------------------------------------------------- /oasis/primus-powerpc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/primus-powerpc -------------------------------------------------------------------------------- /oasis/primus-print: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/primus-print -------------------------------------------------------------------------------- /oasis/primus-promiscuous: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/primus-promiscuous -------------------------------------------------------------------------------- /oasis/primus-propagate-taint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/primus-propagate-taint -------------------------------------------------------------------------------- /oasis/primus-random: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/primus-random -------------------------------------------------------------------------------- /oasis/primus-region: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/primus-region -------------------------------------------------------------------------------- /oasis/primus-round-robin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/primus-round-robin -------------------------------------------------------------------------------- /oasis/primus-symbolic-executor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/primus-symbolic-executor -------------------------------------------------------------------------------- /oasis/primus-systems: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/primus-systems -------------------------------------------------------------------------------- /oasis/primus-taint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/primus-taint -------------------------------------------------------------------------------- /oasis/primus-test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/primus-test -------------------------------------------------------------------------------- /oasis/primus-track-visited: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/primus-track-visited -------------------------------------------------------------------------------- /oasis/primus-wandering: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/primus-wandering -------------------------------------------------------------------------------- /oasis/primus-x86: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/primus-x86 -------------------------------------------------------------------------------- /oasis/print: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/print -------------------------------------------------------------------------------- /oasis/propagate-taint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/propagate-taint -------------------------------------------------------------------------------- /oasis/radare2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/radare2 -------------------------------------------------------------------------------- /oasis/raw: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/raw -------------------------------------------------------------------------------- /oasis/read-symbols: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/read-symbols -------------------------------------------------------------------------------- /oasis/recipe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/recipe -------------------------------------------------------------------------------- /oasis/recipe-command: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/recipe-command -------------------------------------------------------------------------------- /oasis/regular: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/regular -------------------------------------------------------------------------------- /oasis/relation: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/relation -------------------------------------------------------------------------------- /oasis/relocatable: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/relocatable -------------------------------------------------------------------------------- /oasis/report: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/report -------------------------------------------------------------------------------- /oasis/riscv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/riscv -------------------------------------------------------------------------------- /oasis/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/run -------------------------------------------------------------------------------- /oasis/specification: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/specification -------------------------------------------------------------------------------- /oasis/ssa: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/ssa -------------------------------------------------------------------------------- /oasis/strings: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/strings -------------------------------------------------------------------------------- /oasis/strings-library: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/strings-library -------------------------------------------------------------------------------- /oasis/stub-resolver: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/stub-resolver -------------------------------------------------------------------------------- /oasis/systemz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/systemz -------------------------------------------------------------------------------- /oasis/taint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/taint -------------------------------------------------------------------------------- /oasis/tests: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/tests -------------------------------------------------------------------------------- /oasis/text-tags: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/text-tags -------------------------------------------------------------------------------- /oasis/thumb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/thumb -------------------------------------------------------------------------------- /oasis/toplevel: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/toplevel -------------------------------------------------------------------------------- /oasis/trace: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/trace -------------------------------------------------------------------------------- /oasis/traces: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/traces -------------------------------------------------------------------------------- /oasis/trivial-condition-form: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/trivial-condition-form -------------------------------------------------------------------------------- /oasis/warn-unused: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/warn-unused -------------------------------------------------------------------------------- /oasis/x86: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/oasis/x86 -------------------------------------------------------------------------------- /ogre.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/ogre.opam -------------------------------------------------------------------------------- /plugins/abi/abi_main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/abi/abi_main.ml -------------------------------------------------------------------------------- /plugins/abi/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/abi/dune -------------------------------------------------------------------------------- /plugins/analyze/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/analyze/dune -------------------------------------------------------------------------------- /plugins/api/api/c/android.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/api/api/c/android.h -------------------------------------------------------------------------------- /plugins/api/api/c/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/api/api/c/dune -------------------------------------------------------------------------------- /plugins/api/api/c/gnu.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/api/api/c/gnu.h -------------------------------------------------------------------------------- /plugins/api/api/c/posix.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/api/api/c/posix.h -------------------------------------------------------------------------------- /plugins/api/api/c/windows.h: -------------------------------------------------------------------------------- 1 | void __security_init_cookie(void); 2 | -------------------------------------------------------------------------------- /plugins/api/api_main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/api/api_main.ml -------------------------------------------------------------------------------- /plugins/api/api_sites.ml.ab: -------------------------------------------------------------------------------- 1 | let paths = [${site_api}] -------------------------------------------------------------------------------- /plugins/api/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/api/dune -------------------------------------------------------------------------------- /plugins/arm/arm_gnueabi.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/arm/arm_gnueabi.ml -------------------------------------------------------------------------------- /plugins/arm/arm_gnueabi.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/arm/arm_gnueabi.mli -------------------------------------------------------------------------------- /plugins/arm/arm_main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/arm/arm_main.ml -------------------------------------------------------------------------------- /plugins/arm/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/arm/dune -------------------------------------------------------------------------------- /plugins/arm/semantics/arm.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/arm/semantics/arm.lisp -------------------------------------------------------------------------------- /plugins/arm/semantics/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/arm/semantics/dune -------------------------------------------------------------------------------- /plugins/beagle/beagle_main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/beagle/beagle_main.ml -------------------------------------------------------------------------------- /plugins/beagle/beagle_main.mli: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /plugins/beagle/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/beagle/dune -------------------------------------------------------------------------------- /plugins/bil/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/bil/Makefile -------------------------------------------------------------------------------- /plugins/bil/bil_float.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/bil/bil_float.ml -------------------------------------------------------------------------------- /plugins/bil/bil_float.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/bil/bil_float.mli -------------------------------------------------------------------------------- /plugins/bil/bil_ir.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/bil/bil_ir.ml -------------------------------------------------------------------------------- /plugins/bil/bil_ir.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/bil/bil_ir.mli -------------------------------------------------------------------------------- /plugins/bil/bil_lifter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/bil/bil_lifter.ml -------------------------------------------------------------------------------- /plugins/bil/bil_lifter.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/bil/bil_lifter.mli -------------------------------------------------------------------------------- /plugins/bil/bil_main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/bil/bil_main.ml -------------------------------------------------------------------------------- /plugins/bil/bil_semantics.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/bil/bil_semantics.ml -------------------------------------------------------------------------------- /plugins/bil/bil_semantics.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/bil/bil_semantics.mli -------------------------------------------------------------------------------- /plugins/bil/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/bil/dune -------------------------------------------------------------------------------- /plugins/byteweight/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/byteweight/dune -------------------------------------------------------------------------------- /plugins/cache/bap_cache.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/cache/bap_cache.ml -------------------------------------------------------------------------------- /plugins/cache/bap_cache.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/cache/bap_cache.mli -------------------------------------------------------------------------------- /plugins/cache/bap_cache_gc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/cache/bap_cache_gc.ml -------------------------------------------------------------------------------- /plugins/cache/bap_cache_gc.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/cache/bap_cache_gc.mli -------------------------------------------------------------------------------- /plugins/cache/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/cache/dune -------------------------------------------------------------------------------- /plugins/callsites/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/callsites/dune -------------------------------------------------------------------------------- /plugins/constant_tracker/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/constant_tracker/dune -------------------------------------------------------------------------------- /plugins/core_theory/core_theory_main.mli: -------------------------------------------------------------------------------- 1 | (* nothing is exported *) 2 | -------------------------------------------------------------------------------- /plugins/core_theory/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/core_theory/dune -------------------------------------------------------------------------------- /plugins/cxxfilt/cxxfilt_main.mli: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /plugins/cxxfilt/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/cxxfilt/dune -------------------------------------------------------------------------------- /plugins/demangle/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/demangle/dune -------------------------------------------------------------------------------- /plugins/dependencies/dependencies_main.mli: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /plugins/dependencies/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/dependencies/dune -------------------------------------------------------------------------------- /plugins/disassemble/disassemble_main.mli: -------------------------------------------------------------------------------- 1 | (* bap frontend *) 2 | -------------------------------------------------------------------------------- /plugins/disassemble/disassemble_main_rules.mli: -------------------------------------------------------------------------------- 1 | (* exports nothing *) 2 | -------------------------------------------------------------------------------- /plugins/disassemble/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/disassemble/dune -------------------------------------------------------------------------------- /plugins/dump_symbols/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/dump_symbols/dune -------------------------------------------------------------------------------- /plugins/elf_loader/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/elf_loader/dune -------------------------------------------------------------------------------- /plugins/elf_loader/elf_loader_main.mli: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /plugins/emit_ida_script/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/emit_ida_script/dune -------------------------------------------------------------------------------- /plugins/flatten/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/flatten/dune -------------------------------------------------------------------------------- /plugins/frontc_parser/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/frontc_parser/dune -------------------------------------------------------------------------------- /plugins/ghidra/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/ghidra/dune -------------------------------------------------------------------------------- /plugins/ghidra/ghidra_main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/ghidra/ghidra_main.ml -------------------------------------------------------------------------------- /plugins/ghidra/ghidra_main.mli: -------------------------------------------------------------------------------- 1 | (* a private module *) 2 | -------------------------------------------------------------------------------- /plugins/ghidra/semantics/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/ghidra/semantics/dune -------------------------------------------------------------------------------- /plugins/glibc_runtime/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/glibc_runtime/dune -------------------------------------------------------------------------------- /plugins/glibc_runtime/glibc_runtime_main.mli: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /plugins/ida/bap_ida_info.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/ida/bap_ida_info.ml -------------------------------------------------------------------------------- /plugins/ida/bap_ida_info.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/ida/bap_ida_info.mli -------------------------------------------------------------------------------- /plugins/ida/bap_ida_service.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/ida/bap_ida_service.ml -------------------------------------------------------------------------------- /plugins/ida/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/ida/dune -------------------------------------------------------------------------------- /plugins/ida/ida_main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/ida/ida_main.ml -------------------------------------------------------------------------------- /plugins/llvm/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/llvm/dune -------------------------------------------------------------------------------- /plugins/llvm/llvm_main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/llvm/llvm_main.ml -------------------------------------------------------------------------------- /plugins/llvm/llvm_main.mli: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /plugins/map_terms/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/map_terms/dune -------------------------------------------------------------------------------- /plugins/mc/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/mc/dune -------------------------------------------------------------------------------- /plugins/mc/mc_main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/mc/mc_main.ml -------------------------------------------------------------------------------- /plugins/mips/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/mips/dune -------------------------------------------------------------------------------- /plugins/mips/mips.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/mips/mips.ml -------------------------------------------------------------------------------- /plugins/mips/mips_abi.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/mips/mips_abi.ml -------------------------------------------------------------------------------- /plugins/mips/mips_abi.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/mips/mips_abi.mli -------------------------------------------------------------------------------- /plugins/mips/mips_branch.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/mips/mips_branch.ml -------------------------------------------------------------------------------- /plugins/mips/mips_cpu.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/mips/mips_cpu.ml -------------------------------------------------------------------------------- /plugins/mips/mips_divide.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/mips/mips_divide.ml -------------------------------------------------------------------------------- /plugins/mips/mips_dsl.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/mips/mips_dsl.ml -------------------------------------------------------------------------------- /plugins/mips/mips_dsl.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/mips/mips_dsl.mli -------------------------------------------------------------------------------- /plugins/mips/mips_load.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/mips/mips_load.ml -------------------------------------------------------------------------------- /plugins/mips/mips_logic.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/mips/mips_logic.ml -------------------------------------------------------------------------------- /plugins/mips/mips_main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/mips/mips_main.ml -------------------------------------------------------------------------------- /plugins/mips/mips_model.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/mips/mips_model.ml -------------------------------------------------------------------------------- /plugins/mips/mips_model.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/mips/mips_model.mli -------------------------------------------------------------------------------- /plugins/mips/mips_multiply.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/mips/mips_multiply.ml -------------------------------------------------------------------------------- /plugins/mips/mips_rtl.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/mips/mips_rtl.ml -------------------------------------------------------------------------------- /plugins/mips/mips_rtl.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/mips/mips_rtl.mli -------------------------------------------------------------------------------- /plugins/mips/mips_store.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/mips/mips_store.ml -------------------------------------------------------------------------------- /plugins/mips/mips_types.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/mips/mips_types.ml -------------------------------------------------------------------------------- /plugins/mips/mips_utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/mips/mips_utils.ml -------------------------------------------------------------------------------- /plugins/mips/mips_utils.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/mips/mips_utils.mli -------------------------------------------------------------------------------- /plugins/objdump/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/objdump/dune -------------------------------------------------------------------------------- /plugins/optimization/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/optimization/dune -------------------------------------------------------------------------------- /plugins/patterns/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/patterns/dune -------------------------------------------------------------------------------- /plugins/phoenix/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/phoenix/dune -------------------------------------------------------------------------------- /plugins/phoenix/phoenix_dot.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/phoenix/phoenix_dot.ml -------------------------------------------------------------------------------- /plugins/piqi_printers/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/piqi_printers/dune -------------------------------------------------------------------------------- /plugins/piqi_printers/piqi_printers_main.mli: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /plugins/powerpc/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/powerpc/dune -------------------------------------------------------------------------------- /plugins/powerpc/powerpc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/powerpc/powerpc.ml -------------------------------------------------------------------------------- /plugins/powerpc/powerpc.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/powerpc/powerpc.mli -------------------------------------------------------------------------------- /plugins/powerpc/powerpc_abi.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/powerpc/powerpc_abi.ml -------------------------------------------------------------------------------- /plugins/powerpc/powerpc_add.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/powerpc/powerpc_add.ml -------------------------------------------------------------------------------- /plugins/powerpc/powerpc_cpu.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/powerpc/powerpc_cpu.ml -------------------------------------------------------------------------------- /plugins/powerpc/powerpc_cr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/powerpc/powerpc_cr.ml -------------------------------------------------------------------------------- /plugins/powerpc/powerpc_div.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/powerpc/powerpc_div.ml -------------------------------------------------------------------------------- /plugins/powerpc/powerpc_dsl.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/powerpc/powerpc_dsl.ml -------------------------------------------------------------------------------- /plugins/powerpc/powerpc_mul.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/powerpc/powerpc_mul.ml -------------------------------------------------------------------------------- /plugins/powerpc/powerpc_rtl.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/powerpc/powerpc_rtl.ml -------------------------------------------------------------------------------- /plugins/powerpc/powerpc_sub.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/powerpc/powerpc_sub.ml -------------------------------------------------------------------------------- /plugins/powerpc/semantics/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/powerpc/semantics/dune -------------------------------------------------------------------------------- /plugins/primus_approximation/approximation.mli: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /plugins/primus_dictionary/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/primus_dictionary/dune -------------------------------------------------------------------------------- /plugins/primus_exploring/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/primus_exploring/dune -------------------------------------------------------------------------------- /plugins/primus_greedy/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/primus_greedy/dune -------------------------------------------------------------------------------- /plugins/primus_limit/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/primus_limit/dune -------------------------------------------------------------------------------- /plugins/primus_limit/primus_limit_main.mli: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /plugins/primus_lisp/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/primus_lisp/dune -------------------------------------------------------------------------------- /plugins/primus_lisp/lisp/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/primus_lisp/lisp/dune -------------------------------------------------------------------------------- /plugins/primus_lisp/primus_lisp_main.mli: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /plugins/primus_lisp/semantics/.gitignore: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /plugins/primus_lisp/site-lisp/char.lisp: -------------------------------------------------------------------------------- 1 | (in-package posix) 2 | -------------------------------------------------------------------------------- /plugins/primus_lisp/site-lisp/floats.lisp: -------------------------------------------------------------------------------- 1 | (require llvm-x86-64-floats) 2 | -------------------------------------------------------------------------------- /plugins/primus_loader/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/primus_loader/dune -------------------------------------------------------------------------------- /plugins/primus_powerpc/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/primus_powerpc/dune -------------------------------------------------------------------------------- /plugins/primus_print/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/primus_print/dune -------------------------------------------------------------------------------- /plugins/primus_random/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/primus_random/dune -------------------------------------------------------------------------------- /plugins/primus_random/primus_random_main.mli: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /plugins/primus_region/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/primus_region/dune -------------------------------------------------------------------------------- /plugins/primus_systems/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/primus_systems/dune -------------------------------------------------------------------------------- /plugins/primus_systems/primus_systems_config.ml.ab: -------------------------------------------------------------------------------- 1 | let path = "$primus_systems_path" 2 | -------------------------------------------------------------------------------- /plugins/primus_taint/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/primus_taint/dune -------------------------------------------------------------------------------- /plugins/primus_taint/lisp/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/primus_taint/lisp/dune -------------------------------------------------------------------------------- /plugins/primus_taint/primus_taint_main.mli: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /plugins/primus_test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/primus_test/dune -------------------------------------------------------------------------------- /plugins/primus_test/lisp/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/primus_test/lisp/dune -------------------------------------------------------------------------------- /plugins/primus_wandering/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/primus_wandering/dune -------------------------------------------------------------------------------- /plugins/primus_x86/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/primus_x86/dune -------------------------------------------------------------------------------- /plugins/print/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/print/dune -------------------------------------------------------------------------------- /plugins/print/print_main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/print/print_main.ml -------------------------------------------------------------------------------- /plugins/propagate_taint/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/propagate_taint/dune -------------------------------------------------------------------------------- /plugins/propagate_taint/propagate_taint_main.mli: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /plugins/radare2/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/radare2/dune -------------------------------------------------------------------------------- /plugins/radare2/radare2_main.mli: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /plugins/raw/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/raw/dune -------------------------------------------------------------------------------- /plugins/raw/raw_main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/raw/raw_main.ml -------------------------------------------------------------------------------- /plugins/raw/raw_main.mli: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /plugins/read_symbols/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/read_symbols/dune -------------------------------------------------------------------------------- /plugins/recipe_command/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/recipe_command/dune -------------------------------------------------------------------------------- /plugins/recipe_command/recipe_command_main.mli: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /plugins/relocatable/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/relocatable/dune -------------------------------------------------------------------------------- /plugins/report/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/report/dune -------------------------------------------------------------------------------- /plugins/report/report_main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/report/report_main.ml -------------------------------------------------------------------------------- /plugins/riscv/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/riscv/dune -------------------------------------------------------------------------------- /plugins/riscv/riscv_main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/riscv/riscv_main.ml -------------------------------------------------------------------------------- /plugins/riscv/riscv_main.mli: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /plugins/riscv/semantics/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/riscv/semantics/dune -------------------------------------------------------------------------------- /plugins/run/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/run/dune -------------------------------------------------------------------------------- /plugins/run/run_main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/run/run_main.ml -------------------------------------------------------------------------------- /plugins/specification/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/specification/dune -------------------------------------------------------------------------------- /plugins/ssa/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/ssa/dune -------------------------------------------------------------------------------- /plugins/ssa/ssa_main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/ssa/ssa_main.ml -------------------------------------------------------------------------------- /plugins/strings/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/strings/dune -------------------------------------------------------------------------------- /plugins/stub_resolver/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/stub_resolver/dune -------------------------------------------------------------------------------- /plugins/stub_resolver/stub_resolver_sites.ml.ab: -------------------------------------------------------------------------------- 1 | let paths = [${site_signatures}] -------------------------------------------------------------------------------- /plugins/systemz/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/systemz/dune -------------------------------------------------------------------------------- /plugins/systemz/systemz_main.mli: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /plugins/taint/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/taint/dune -------------------------------------------------------------------------------- /plugins/taint/taint_main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/taint/taint_main.ml -------------------------------------------------------------------------------- /plugins/thumb/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/thumb/dune -------------------------------------------------------------------------------- /plugins/thumb/thumb_bits.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/thumb/thumb_bits.ml -------------------------------------------------------------------------------- /plugins/thumb/thumb_bits.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/thumb/thumb_bits.mli -------------------------------------------------------------------------------- /plugins/thumb/thumb_branch.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/thumb/thumb_branch.ml -------------------------------------------------------------------------------- /plugins/thumb/thumb_branch.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/thumb/thumb_branch.mli -------------------------------------------------------------------------------- /plugins/thumb/thumb_core.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/thumb/thumb_core.ml -------------------------------------------------------------------------------- /plugins/thumb/thumb_core.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/thumb/thumb_core.mli -------------------------------------------------------------------------------- /plugins/thumb/thumb_main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/thumb/thumb_main.ml -------------------------------------------------------------------------------- /plugins/thumb/thumb_main.mli: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /plugins/thumb/thumb_mem.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/thumb/thumb_mem.ml -------------------------------------------------------------------------------- /plugins/thumb/thumb_mem.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/thumb/thumb_mem.mli -------------------------------------------------------------------------------- /plugins/thumb/thumb_mov.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/thumb/thumb_mov.ml -------------------------------------------------------------------------------- /plugins/thumb/thumb_mov.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/thumb/thumb_mov.mli -------------------------------------------------------------------------------- /plugins/thumb/thumb_opcodes.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/thumb/thumb_opcodes.ml -------------------------------------------------------------------------------- /plugins/trace/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/trace/dune -------------------------------------------------------------------------------- /plugins/trace/trace_main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/trace/trace_main.ml -------------------------------------------------------------------------------- /plugins/warn_unused/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/warn_unused/dune -------------------------------------------------------------------------------- /plugins/x86/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/x86/dune -------------------------------------------------------------------------------- /plugins/x86/patterns/cet.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/x86/patterns/cet.xml -------------------------------------------------------------------------------- /plugins/x86/semantics/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/x86/semantics/dune -------------------------------------------------------------------------------- /plugins/x86/semantics/test.t: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/x86/semantics/test.t -------------------------------------------------------------------------------- /plugins/x86/x86_backend.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/x86/x86_backend.ml -------------------------------------------------------------------------------- /plugins/x86/x86_backend.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/x86/x86_backend.mli -------------------------------------------------------------------------------- /plugins/x86/x86_btx.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/x86/x86_btx.ml -------------------------------------------------------------------------------- /plugins/x86/x86_btx.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/x86/x86_btx.mli -------------------------------------------------------------------------------- /plugins/x86/x86_cdq.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/x86/x86_cdq.ml -------------------------------------------------------------------------------- /plugins/x86/x86_cdq.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/x86/x86_cdq.mli -------------------------------------------------------------------------------- /plugins/x86/x86_cmpxchg.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/x86/x86_cmpxchg.ml -------------------------------------------------------------------------------- /plugins/x86/x86_cmpxchg.mli: -------------------------------------------------------------------------------- 1 | (** CMPXCHG instruction lifter *) 2 | 3 | -------------------------------------------------------------------------------- /plugins/x86/x86_disasm.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/x86/x86_disasm.ml -------------------------------------------------------------------------------- /plugins/x86/x86_disasm.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/x86/x86_disasm.mli -------------------------------------------------------------------------------- /plugins/x86/x86_endbr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/x86/x86_endbr.ml -------------------------------------------------------------------------------- /plugins/x86/x86_legacy_bil.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/x86/x86_legacy_bil.ml -------------------------------------------------------------------------------- /plugins/x86/x86_lifter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/x86/x86_lifter.ml -------------------------------------------------------------------------------- /plugins/x86/x86_lifter.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/x86/x86_lifter.mli -------------------------------------------------------------------------------- /plugins/x86/x86_main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/x86/x86_main.ml -------------------------------------------------------------------------------- /plugins/x86/x86_mov.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/x86/x86_mov.ml -------------------------------------------------------------------------------- /plugins/x86/x86_mov.mli: -------------------------------------------------------------------------------- 1 | (** MOV instruction lifter *) 2 | 3 | -------------------------------------------------------------------------------- /plugins/x86/x86_mov_offset.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/x86/x86_mov_offset.ml -------------------------------------------------------------------------------- /plugins/x86/x86_opcode_btx.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/x86/x86_opcode_btx.ml -------------------------------------------------------------------------------- /plugins/x86/x86_opcode_cdq.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/x86/x86_opcode_cdq.ml -------------------------------------------------------------------------------- /plugins/x86/x86_opcode_cmps.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/x86/x86_opcode_cmps.ml -------------------------------------------------------------------------------- /plugins/x86/x86_opcode_ins.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/x86/x86_opcode_ins.ml -------------------------------------------------------------------------------- /plugins/x86/x86_opcode_lods.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/x86/x86_opcode_lods.ml -------------------------------------------------------------------------------- /plugins/x86/x86_operands.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/x86/x86_operands.ml -------------------------------------------------------------------------------- /plugins/x86/x86_operands.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/x86/x86_operands.mli -------------------------------------------------------------------------------- /plugins/x86/x86_prefix.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/x86/x86_prefix.ml -------------------------------------------------------------------------------- /plugins/x86/x86_prefix.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/x86/x86_prefix.mli -------------------------------------------------------------------------------- /plugins/x86/x86_targets.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/x86/x86_targets.ml -------------------------------------------------------------------------------- /plugins/x86/x86_targets.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/x86/x86_targets.mli -------------------------------------------------------------------------------- /plugins/x86/x86_tools.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/x86/x86_tools.ml -------------------------------------------------------------------------------- /plugins/x86/x86_tools.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/x86/x86_tools.mli -------------------------------------------------------------------------------- /plugins/x86/x86_tools_imm.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/x86/x86_tools_imm.ml -------------------------------------------------------------------------------- /plugins/x86/x86_tools_imm.mli: -------------------------------------------------------------------------------- 1 | include X86_tools_types.IM 2 | -------------------------------------------------------------------------------- /plugins/x86/x86_tools_mem.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/x86/x86_tools_mem.ml -------------------------------------------------------------------------------- /plugins/x86/x86_tools_reg.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/x86/x86_tools_reg.ml -------------------------------------------------------------------------------- /plugins/x86/x86_tools_vector.mli: -------------------------------------------------------------------------------- 1 | include X86_tools_types.IV 2 | -------------------------------------------------------------------------------- /plugins/x86/x86_utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/plugins/x86/x86_utils.ml -------------------------------------------------------------------------------- /ppx_bap.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/ppx_bap.opam -------------------------------------------------------------------------------- /regular.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/regular.opam -------------------------------------------------------------------------------- /setup.ml.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/setup.ml.in -------------------------------------------------------------------------------- /setup.ml.pre.in: -------------------------------------------------------------------------------- 1 | module Pervasives = Stdlib 2 | -------------------------------------------------------------------------------- /src/bap_byteweight_main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/src/bap_byteweight_main.ml -------------------------------------------------------------------------------- /src/bap_byteweight_main.mli: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/bap_frontend.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/src/bap_frontend.ml -------------------------------------------------------------------------------- /src/bap_frontend.mli: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/bap_mc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/src/bap_mc.ml -------------------------------------------------------------------------------- /src/bap_mc.mli: -------------------------------------------------------------------------------- 1 | (* bap-mc disassembler *) 2 | -------------------------------------------------------------------------------- /src/baptop.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/src/baptop.ml -------------------------------------------------------------------------------- /src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/src/dune -------------------------------------------------------------------------------- /text-tags.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/text-tags.opam -------------------------------------------------------------------------------- /tools/bap_config.ab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/tools/bap_config.ab -------------------------------------------------------------------------------- /tools/bapbuild.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/tools/bapbuild.ml -------------------------------------------------------------------------------- /tools/bapbundle.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/tools/bapbundle.ml -------------------------------------------------------------------------------- /tools/bapbundle.mli: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tools/bapclean.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/tools/bapclean.sh -------------------------------------------------------------------------------- /tools/bapdoc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/tools/bapdoc.ml -------------------------------------------------------------------------------- /tools/baptop: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/tools/baptop -------------------------------------------------------------------------------- /tools/binary-release.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/tools/binary-release.sh -------------------------------------------------------------------------------- /tools/build_plugins.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/tools/build_plugins.sh -------------------------------------------------------------------------------- /tools/cat.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/tools/cat.ml -------------------------------------------------------------------------------- /tools/cat.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/tools/cat.mli -------------------------------------------------------------------------------- /tools/collect.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/tools/collect.ml -------------------------------------------------------------------------------- /tools/configure.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/tools/configure.ml -------------------------------------------------------------------------------- /tools/deb-build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/tools/deb-build.sh -------------------------------------------------------------------------------- /tools/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/tools/dune -------------------------------------------------------------------------------- /tools/install-ghidra.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/tools/install-ghidra.sh -------------------------------------------------------------------------------- /tools/oasis_sections.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/tools/oasis_sections.ml -------------------------------------------------------------------------------- /tools/ocp-indent-all.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/tools/ocp-indent-all.sh -------------------------------------------------------------------------------- /tools/opam-release.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/tools/opam-release.sh -------------------------------------------------------------------------------- /tools/postinstall.ml.ab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/tools/postinstall.ml.ab -------------------------------------------------------------------------------- /tools/ppx-bap: -------------------------------------------------------------------------------- 1 | ppx-jane -as-ppx -inline-test-lib bap $@ -------------------------------------------------------------------------------- /tools/release.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/tools/release.sh -------------------------------------------------------------------------------- /tools/rewrite.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/tools/rewrite.ml -------------------------------------------------------------------------------- /tools/rewrite.mli: -------------------------------------------------------------------------------- 1 | (* rewrites configuration variables *) 2 | -------------------------------------------------------------------------------- /vagrant/jessie64/Vagrantfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/vagrant/jessie64/Vagrantfile -------------------------------------------------------------------------------- /vagrant/trusty64/Vagrantfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/vagrant/trusty64/Vagrantfile -------------------------------------------------------------------------------- /vagrant/xenial64/Vagrantfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap/HEAD/vagrant/xenial64/Vagrantfile --------------------------------------------------------------------------------