├── .gitignore ├── .merlin ├── LICENSE ├── README.md ├── callstrings ├── .merlin ├── Makefile ├── README.md └── callstrings.ml ├── check-invariants └── check_invariants.ml ├── checkpath ├── Makefile ├── README.md ├── checkpath.ml └── checkpath.mli ├── deadcode └── deadcode.ml ├── fold_consts ├── .merlin ├── Makefile ├── README.md ├── fold_consts.itarget ├── fold_consts.ml ├── main.ml ├── main.mli ├── memdep.ml ├── memdep.mli ├── parameters.ml ├── utils.ml └── utils.mli ├── lifting-benchmark ├── Makefile ├── README.md ├── bench.ml └── bench.mli ├── mem-printer ├── Makefile ├── README.md ├── mem_printer.ml └── run.sh ├── minos ├── .merlin ├── Makefile ├── README.md ├── args.ml ├── binary │ └── test-system │ │ ├── Makefile │ │ ├── test1 │ │ └── test1.c ├── callstrings.ml ├── check.mli ├── check_suite.ml ├── check_tmpl.ml ├── check_tmpl.mli ├── check_util.ml ├── check_util.mli ├── checks │ ├── memcpy_check.ml │ ├── sql_check.ml │ ├── strtol_check.ml │ ├── system_check.ml │ └── system_simple_check.ml ├── color.ml ├── configs │ └── n-1-@system │ │ ├── sinks.txt │ │ └── srcs.txt ├── ctxt.mli ├── cut.ml ├── cut.mli ├── dependence.ml ├── filter.ml ├── filter.mli ├── fold_consts.ml ├── interprocedural.ml ├── interprocedural.mli ├── mem_to_reg.ml ├── minos.ml ├── minos_types.ml ├── normal_graph_view.dot ├── options.ml ├── options.mli ├── output.ml ├── output.mli ├── path_consumer.ml ├── path_consumer.mli ├── path_producer.ml ├── path_producer.mli ├── pathlib.ml ├── pathlib.mli ├── policy.ml ├── policy.mli ├── profile.ml ├── profile.mli ├── resolve_calls.ml ├── run-test-system.sh ├── simple.ml ├── simple_args.ml ├── simple_args.mli ├── summary.ml ├── test.ml ├── time.ml ├── time.mli ├── trim.ml ├── trim.mli ├── util.ml └── util.mli ├── saluki ├── .merlin ├── Makefile ├── README.md ├── match.ml ├── match.mli ├── paper.pdf ├── predicate.ml ├── predicate.mli ├── saluki.ml ├── solution.ml ├── solution.mli ├── solver.ml ├── solver.mli ├── spec.ml ├── spec.mli ├── spec_types.ml ├── specification.ml ├── state.ml ├── state.mli ├── tainter.ml ├── tainter.mli ├── tests │ ├── test0.c │ ├── test1.c │ ├── test10.c │ ├── test11.c │ ├── test12.c │ ├── test13.c │ ├── test14.c │ ├── test15.c │ ├── test16.c │ ├── test17.c │ ├── test18.c │ ├── test2.c │ ├── test3.c │ ├── test4.c │ ├── test5.c │ ├── test6.c │ ├── test7.c │ ├── test8.c │ └── test9.c ├── utilities.ml ├── utilities.mli ├── v.ml └── v.mli ├── staticstore ├── Makefile ├── README.md ├── printstats.ml ├── staticstore.itarget ├── staticstore.ml ├── staticstore.mli └── toida.ml ├── strings ├── Makefile ├── README.md ├── run.sh └── strings.ml ├── test-expect ├── .merlin ├── Makefile ├── README.md ├── _oasis ├── expect.ml ├── expect.mli └── test.ml ├── toy-debugger ├── Makefile ├── README.md ├── birasm.ml ├── cmdline.ml ├── color.ml ├── color.mli ├── debugger.ml ├── draw.ml ├── flag.ml ├── options.ml ├── output.ml ├── pngs │ └── debugger.png ├── run.sh ├── state_data.ml ├── state_data.mli ├── tests │ └── test1 └── viewer │ └── index.html ├── uaf-checker ├── .merlin ├── Makefile ├── README.md ├── cmdline.ml ├── debugger │ ├── .merlin │ ├── color.ml │ ├── color.mli │ ├── debugger.ml │ ├── debugger.mli │ ├── draw.ml │ ├── flag.ml │ ├── output.ml │ ├── state_data.ml │ └── state_data.mli ├── demo │ ├── gnome-nettool │ ├── microx.patch │ ├── posix.h │ ├── run.sh │ └── test-info_get_nic_information.py ├── expected │ ├── dead-simpl-uaf-arm-2.output │ ├── dead-simpl-uaf-arm.output │ ├── gnome-nettool.output │ ├── gueb-example-ite-uaf-arm-O0.output │ ├── gueb-example-uaf-arm-O0.output │ ├── gueb-full-arm-O0-buggy.output │ ├── gueb-full-arm-O0.output │ ├── simpl-uaf-arm-2.output │ ├── simpl-uaf-arm-bug.output │ ├── simpl-uaf-arm.output │ ├── structs-arm-2.output │ ├── structs-arm.output │ ├── structs.output │ ├── super-simpl-uaf-arm.output │ └── uaf-no-assign-arm.output ├── gen_test.sh ├── main.ml ├── microx.patch ├── options.ml ├── pngs │ └── ida-uaf.png ├── posix.h ├── test.ml ├── tests │ └── all │ │ ├── Makefile │ │ ├── dead-simpl-uaf-2.c │ │ ├── dead-simpl-uaf-arm │ │ ├── dead-simpl-uaf-arm-2 │ │ ├── dead-simpl-uaf.c │ │ ├── gnome-nettool │ │ ├── gueb-example-ite-uaf-arm-O0 │ │ ├── gueb-example-ite-uaf.c │ │ ├── gueb-example-uaf-arm-O0 │ │ ├── gueb-example-uaf.c │ │ ├── gueb-full-arm-O0 │ │ ├── gueb-full-arm-O0-buggy │ │ ├── gueb-full-uaf-buggy.c │ │ ├── gueb-full-uaf.c │ │ ├── libvector.so │ │ ├── simpl-uaf-2.c │ │ ├── simpl-uaf-arm │ │ ├── simpl-uaf-arm-2 │ │ ├── simpl-uaf-arm-bug │ │ ├── simpl-uaf-bug.c │ │ ├── simpl-uaf.c │ │ ├── simple-uaf-2.c │ │ ├── structs │ │ ├── structs-2.c │ │ ├── structs-arm │ │ ├── structs-arm-2 │ │ ├── structs.c │ │ ├── super-simpl-uaf-arm │ │ ├── super-simpl-uaf.c │ │ ├── uaf-no-assign-arm │ │ ├── uaf-no-assign.c │ │ ├── vector.c │ │ └── vector.h ├── toida.ml ├── uaf_error.ml ├── uaf_error.mli └── visual.ml └── validate_cfg └── validate_cfg.ml /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/.gitignore -------------------------------------------------------------------------------- /.merlin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/.merlin -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/README.md -------------------------------------------------------------------------------- /callstrings/.merlin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/callstrings/.merlin -------------------------------------------------------------------------------- /callstrings/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/callstrings/Makefile -------------------------------------------------------------------------------- /callstrings/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/callstrings/README.md -------------------------------------------------------------------------------- /callstrings/callstrings.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/callstrings/callstrings.ml -------------------------------------------------------------------------------- /check-invariants/check_invariants.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/check-invariants/check_invariants.ml -------------------------------------------------------------------------------- /checkpath/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/checkpath/Makefile -------------------------------------------------------------------------------- /checkpath/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/checkpath/README.md -------------------------------------------------------------------------------- /checkpath/checkpath.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/checkpath/checkpath.ml -------------------------------------------------------------------------------- /checkpath/checkpath.mli: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /deadcode/deadcode.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/deadcode/deadcode.ml -------------------------------------------------------------------------------- /fold_consts/.merlin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/fold_consts/.merlin -------------------------------------------------------------------------------- /fold_consts/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/fold_consts/Makefile -------------------------------------------------------------------------------- /fold_consts/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/fold_consts/README.md -------------------------------------------------------------------------------- /fold_consts/fold_consts.itarget: -------------------------------------------------------------------------------- 1 | fold_consts.plugin 2 | -------------------------------------------------------------------------------- /fold_consts/fold_consts.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/fold_consts/fold_consts.ml -------------------------------------------------------------------------------- /fold_consts/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/fold_consts/main.ml -------------------------------------------------------------------------------- /fold_consts/main.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/fold_consts/main.mli -------------------------------------------------------------------------------- /fold_consts/memdep.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/fold_consts/memdep.ml -------------------------------------------------------------------------------- /fold_consts/memdep.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/fold_consts/memdep.mli -------------------------------------------------------------------------------- /fold_consts/parameters.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/fold_consts/parameters.ml -------------------------------------------------------------------------------- /fold_consts/utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/fold_consts/utils.ml -------------------------------------------------------------------------------- /fold_consts/utils.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/fold_consts/utils.mli -------------------------------------------------------------------------------- /lifting-benchmark/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/lifting-benchmark/Makefile -------------------------------------------------------------------------------- /lifting-benchmark/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/lifting-benchmark/README.md -------------------------------------------------------------------------------- /lifting-benchmark/bench.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/lifting-benchmark/bench.ml -------------------------------------------------------------------------------- /lifting-benchmark/bench.mli: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /mem-printer/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/mem-printer/Makefile -------------------------------------------------------------------------------- /mem-printer/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/mem-printer/README.md -------------------------------------------------------------------------------- /mem-printer/mem_printer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/mem-printer/mem_printer.ml -------------------------------------------------------------------------------- /mem-printer/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/mem-printer/run.sh -------------------------------------------------------------------------------- /minos/.merlin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/.merlin -------------------------------------------------------------------------------- /minos/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/Makefile -------------------------------------------------------------------------------- /minos/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/README.md -------------------------------------------------------------------------------- /minos/args.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/args.ml -------------------------------------------------------------------------------- /minos/binary/test-system/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/binary/test-system/Makefile -------------------------------------------------------------------------------- /minos/binary/test-system/test1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/binary/test-system/test1 -------------------------------------------------------------------------------- /minos/binary/test-system/test1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/binary/test-system/test1.c -------------------------------------------------------------------------------- /minos/callstrings.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/callstrings.ml -------------------------------------------------------------------------------- /minos/check.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/check.mli -------------------------------------------------------------------------------- /minos/check_suite.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/check_suite.ml -------------------------------------------------------------------------------- /minos/check_tmpl.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/check_tmpl.ml -------------------------------------------------------------------------------- /minos/check_tmpl.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/check_tmpl.mli -------------------------------------------------------------------------------- /minos/check_util.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/check_util.ml -------------------------------------------------------------------------------- /minos/check_util.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/check_util.mli -------------------------------------------------------------------------------- /minos/checks/memcpy_check.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/checks/memcpy_check.ml -------------------------------------------------------------------------------- /minos/checks/sql_check.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/checks/sql_check.ml -------------------------------------------------------------------------------- /minos/checks/strtol_check.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/checks/strtol_check.ml -------------------------------------------------------------------------------- /minos/checks/system_check.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/checks/system_check.ml -------------------------------------------------------------------------------- /minos/checks/system_simple_check.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/checks/system_simple_check.ml -------------------------------------------------------------------------------- /minos/color.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/color.ml -------------------------------------------------------------------------------- /minos/configs/n-1-@system/sinks.txt: -------------------------------------------------------------------------------- 1 | @system 2 | -------------------------------------------------------------------------------- /minos/configs/n-1-@system/srcs.txt: -------------------------------------------------------------------------------- 1 | LCA:1 2 | -------------------------------------------------------------------------------- /minos/ctxt.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/ctxt.mli -------------------------------------------------------------------------------- /minos/cut.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/cut.ml -------------------------------------------------------------------------------- /minos/cut.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/cut.mli -------------------------------------------------------------------------------- /minos/dependence.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/dependence.ml -------------------------------------------------------------------------------- /minos/filter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/filter.ml -------------------------------------------------------------------------------- /minos/filter.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/filter.mli -------------------------------------------------------------------------------- /minos/fold_consts.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/fold_consts.ml -------------------------------------------------------------------------------- /minos/interprocedural.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/interprocedural.ml -------------------------------------------------------------------------------- /minos/interprocedural.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/interprocedural.mli -------------------------------------------------------------------------------- /minos/mem_to_reg.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/mem_to_reg.ml -------------------------------------------------------------------------------- /minos/minos.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/minos.ml -------------------------------------------------------------------------------- /minos/minos_types.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/minos_types.ml -------------------------------------------------------------------------------- /minos/normal_graph_view.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/normal_graph_view.dot -------------------------------------------------------------------------------- /minos/options.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/options.ml -------------------------------------------------------------------------------- /minos/options.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/options.mli -------------------------------------------------------------------------------- /minos/output.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/output.ml -------------------------------------------------------------------------------- /minos/output.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/output.mli -------------------------------------------------------------------------------- /minos/path_consumer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/path_consumer.ml -------------------------------------------------------------------------------- /minos/path_consumer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/path_consumer.mli -------------------------------------------------------------------------------- /minos/path_producer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/path_producer.ml -------------------------------------------------------------------------------- /minos/path_producer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/path_producer.mli -------------------------------------------------------------------------------- /minos/pathlib.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/pathlib.ml -------------------------------------------------------------------------------- /minos/pathlib.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/pathlib.mli -------------------------------------------------------------------------------- /minos/policy.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/policy.ml -------------------------------------------------------------------------------- /minos/policy.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/policy.mli -------------------------------------------------------------------------------- /minos/profile.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/profile.ml -------------------------------------------------------------------------------- /minos/profile.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/profile.mli -------------------------------------------------------------------------------- /minos/resolve_calls.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/resolve_calls.ml -------------------------------------------------------------------------------- /minos/run-test-system.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/run-test-system.sh -------------------------------------------------------------------------------- /minos/simple.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/simple.ml -------------------------------------------------------------------------------- /minos/simple_args.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/simple_args.ml -------------------------------------------------------------------------------- /minos/simple_args.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/simple_args.mli -------------------------------------------------------------------------------- /minos/summary.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/summary.ml -------------------------------------------------------------------------------- /minos/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/test.ml -------------------------------------------------------------------------------- /minos/time.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/time.ml -------------------------------------------------------------------------------- /minos/time.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/time.mli -------------------------------------------------------------------------------- /minos/trim.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/trim.ml -------------------------------------------------------------------------------- /minos/trim.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/trim.mli -------------------------------------------------------------------------------- /minos/util.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/util.ml -------------------------------------------------------------------------------- /minos/util.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/minos/util.mli -------------------------------------------------------------------------------- /saluki/.merlin: -------------------------------------------------------------------------------- 1 | REC 2 | B _build -------------------------------------------------------------------------------- /saluki/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/Makefile -------------------------------------------------------------------------------- /saluki/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/README.md -------------------------------------------------------------------------------- /saluki/match.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/match.ml -------------------------------------------------------------------------------- /saluki/match.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/match.mli -------------------------------------------------------------------------------- /saluki/paper.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/paper.pdf -------------------------------------------------------------------------------- /saluki/predicate.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/predicate.ml -------------------------------------------------------------------------------- /saluki/predicate.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/predicate.mli -------------------------------------------------------------------------------- /saluki/saluki.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/saluki.ml -------------------------------------------------------------------------------- /saluki/solution.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/solution.ml -------------------------------------------------------------------------------- /saluki/solution.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/solution.mli -------------------------------------------------------------------------------- /saluki/solver.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/solver.ml -------------------------------------------------------------------------------- /saluki/solver.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/solver.mli -------------------------------------------------------------------------------- /saluki/spec.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/spec.ml -------------------------------------------------------------------------------- /saluki/spec.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/spec.mli -------------------------------------------------------------------------------- /saluki/spec_types.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/spec_types.ml -------------------------------------------------------------------------------- /saluki/specification.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/specification.ml -------------------------------------------------------------------------------- /saluki/state.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/state.ml -------------------------------------------------------------------------------- /saluki/state.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/state.mli -------------------------------------------------------------------------------- /saluki/tainter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/tainter.ml -------------------------------------------------------------------------------- /saluki/tainter.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/tainter.mli -------------------------------------------------------------------------------- /saluki/tests/test0.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/tests/test0.c -------------------------------------------------------------------------------- /saluki/tests/test1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/tests/test1.c -------------------------------------------------------------------------------- /saluki/tests/test10.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/tests/test10.c -------------------------------------------------------------------------------- /saluki/tests/test11.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/tests/test11.c -------------------------------------------------------------------------------- /saluki/tests/test12.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/tests/test12.c -------------------------------------------------------------------------------- /saluki/tests/test13.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/tests/test13.c -------------------------------------------------------------------------------- /saluki/tests/test14.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/tests/test14.c -------------------------------------------------------------------------------- /saluki/tests/test15.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/tests/test15.c -------------------------------------------------------------------------------- /saluki/tests/test16.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/tests/test16.c -------------------------------------------------------------------------------- /saluki/tests/test17.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/tests/test17.c -------------------------------------------------------------------------------- /saluki/tests/test18.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/tests/test18.c -------------------------------------------------------------------------------- /saluki/tests/test2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/tests/test2.c -------------------------------------------------------------------------------- /saluki/tests/test3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/tests/test3.c -------------------------------------------------------------------------------- /saluki/tests/test4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/tests/test4.c -------------------------------------------------------------------------------- /saluki/tests/test5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/tests/test5.c -------------------------------------------------------------------------------- /saluki/tests/test6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/tests/test6.c -------------------------------------------------------------------------------- /saluki/tests/test7.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/tests/test7.c -------------------------------------------------------------------------------- /saluki/tests/test8.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/tests/test8.c -------------------------------------------------------------------------------- /saluki/tests/test9.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/tests/test9.c -------------------------------------------------------------------------------- /saluki/utilities.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/utilities.ml -------------------------------------------------------------------------------- /saluki/utilities.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/utilities.mli -------------------------------------------------------------------------------- /saluki/v.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/v.ml -------------------------------------------------------------------------------- /saluki/v.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/saluki/v.mli -------------------------------------------------------------------------------- /staticstore/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/staticstore/Makefile -------------------------------------------------------------------------------- /staticstore/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/staticstore/README.md -------------------------------------------------------------------------------- /staticstore/printstats.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/staticstore/printstats.ml -------------------------------------------------------------------------------- /staticstore/staticstore.itarget: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/staticstore/staticstore.itarget -------------------------------------------------------------------------------- /staticstore/staticstore.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/staticstore/staticstore.ml -------------------------------------------------------------------------------- /staticstore/staticstore.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/staticstore/staticstore.mli -------------------------------------------------------------------------------- /staticstore/toida.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/staticstore/toida.ml -------------------------------------------------------------------------------- /strings/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/strings/Makefile -------------------------------------------------------------------------------- /strings/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/strings/README.md -------------------------------------------------------------------------------- /strings/run.sh: -------------------------------------------------------------------------------- 1 | bap -lstrings -dbir --emit-attr=comment $1 2 | -------------------------------------------------------------------------------- /strings/strings.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/strings/strings.ml -------------------------------------------------------------------------------- /test-expect/.merlin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/test-expect/.merlin -------------------------------------------------------------------------------- /test-expect/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/test-expect/Makefile -------------------------------------------------------------------------------- /test-expect/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/test-expect/README.md -------------------------------------------------------------------------------- /test-expect/_oasis: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/test-expect/_oasis -------------------------------------------------------------------------------- /test-expect/expect.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/test-expect/expect.ml -------------------------------------------------------------------------------- /test-expect/expect.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/test-expect/expect.mli -------------------------------------------------------------------------------- /test-expect/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/test-expect/test.ml -------------------------------------------------------------------------------- /toy-debugger/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/toy-debugger/Makefile -------------------------------------------------------------------------------- /toy-debugger/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/toy-debugger/README.md -------------------------------------------------------------------------------- /toy-debugger/birasm.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/toy-debugger/birasm.ml -------------------------------------------------------------------------------- /toy-debugger/cmdline.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/toy-debugger/cmdline.ml -------------------------------------------------------------------------------- /toy-debugger/color.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/toy-debugger/color.ml -------------------------------------------------------------------------------- /toy-debugger/color.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/toy-debugger/color.mli -------------------------------------------------------------------------------- /toy-debugger/debugger.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/toy-debugger/debugger.ml -------------------------------------------------------------------------------- /toy-debugger/draw.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/toy-debugger/draw.ml -------------------------------------------------------------------------------- /toy-debugger/flag.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/toy-debugger/flag.ml -------------------------------------------------------------------------------- /toy-debugger/options.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/toy-debugger/options.ml -------------------------------------------------------------------------------- /toy-debugger/output.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/toy-debugger/output.ml -------------------------------------------------------------------------------- /toy-debugger/pngs/debugger.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/toy-debugger/pngs/debugger.png -------------------------------------------------------------------------------- /toy-debugger/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/toy-debugger/run.sh -------------------------------------------------------------------------------- /toy-debugger/state_data.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/toy-debugger/state_data.ml -------------------------------------------------------------------------------- /toy-debugger/state_data.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/toy-debugger/state_data.mli -------------------------------------------------------------------------------- /toy-debugger/tests/test1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/toy-debugger/tests/test1 -------------------------------------------------------------------------------- /toy-debugger/viewer/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/toy-debugger/viewer/index.html -------------------------------------------------------------------------------- /uaf-checker/.merlin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/.merlin -------------------------------------------------------------------------------- /uaf-checker/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/Makefile -------------------------------------------------------------------------------- /uaf-checker/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/README.md -------------------------------------------------------------------------------- /uaf-checker/cmdline.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/cmdline.ml -------------------------------------------------------------------------------- /uaf-checker/debugger/.merlin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/debugger/.merlin -------------------------------------------------------------------------------- /uaf-checker/debugger/color.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/debugger/color.ml -------------------------------------------------------------------------------- /uaf-checker/debugger/color.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/debugger/color.mli -------------------------------------------------------------------------------- /uaf-checker/debugger/debugger.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/debugger/debugger.ml -------------------------------------------------------------------------------- /uaf-checker/debugger/debugger.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/debugger/debugger.mli -------------------------------------------------------------------------------- /uaf-checker/debugger/draw.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/debugger/draw.ml -------------------------------------------------------------------------------- /uaf-checker/debugger/flag.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/debugger/flag.ml -------------------------------------------------------------------------------- /uaf-checker/debugger/output.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/debugger/output.ml -------------------------------------------------------------------------------- /uaf-checker/debugger/state_data.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/debugger/state_data.ml -------------------------------------------------------------------------------- /uaf-checker/debugger/state_data.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/debugger/state_data.mli -------------------------------------------------------------------------------- /uaf-checker/demo/gnome-nettool: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/demo/gnome-nettool -------------------------------------------------------------------------------- /uaf-checker/demo/microx.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/demo/microx.patch -------------------------------------------------------------------------------- /uaf-checker/demo/posix.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/demo/posix.h -------------------------------------------------------------------------------- /uaf-checker/demo/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/demo/run.sh -------------------------------------------------------------------------------- /uaf-checker/demo/test-info_get_nic_information.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/demo/test-info_get_nic_information.py -------------------------------------------------------------------------------- /uaf-checker/expected/dead-simpl-uaf-arm-2.output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/expected/dead-simpl-uaf-arm-2.output -------------------------------------------------------------------------------- /uaf-checker/expected/dead-simpl-uaf-arm.output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/expected/dead-simpl-uaf-arm.output -------------------------------------------------------------------------------- /uaf-checker/expected/gnome-nettool.output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/expected/gnome-nettool.output -------------------------------------------------------------------------------- /uaf-checker/expected/gueb-example-ite-uaf-arm-O0.output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/expected/gueb-example-ite-uaf-arm-O0.output -------------------------------------------------------------------------------- /uaf-checker/expected/gueb-example-uaf-arm-O0.output: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /uaf-checker/expected/gueb-full-arm-O0-buggy.output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/expected/gueb-full-arm-O0-buggy.output -------------------------------------------------------------------------------- /uaf-checker/expected/gueb-full-arm-O0.output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/expected/gueb-full-arm-O0.output -------------------------------------------------------------------------------- /uaf-checker/expected/simpl-uaf-arm-2.output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/expected/simpl-uaf-arm-2.output -------------------------------------------------------------------------------- /uaf-checker/expected/simpl-uaf-arm-bug.output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/expected/simpl-uaf-arm-bug.output -------------------------------------------------------------------------------- /uaf-checker/expected/simpl-uaf-arm.output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/expected/simpl-uaf-arm.output -------------------------------------------------------------------------------- /uaf-checker/expected/structs-arm-2.output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/expected/structs-arm-2.output -------------------------------------------------------------------------------- /uaf-checker/expected/structs-arm.output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/expected/structs-arm.output -------------------------------------------------------------------------------- /uaf-checker/expected/structs.output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/expected/structs.output -------------------------------------------------------------------------------- /uaf-checker/expected/super-simpl-uaf-arm.output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/expected/super-simpl-uaf-arm.output -------------------------------------------------------------------------------- /uaf-checker/expected/uaf-no-assign-arm.output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/expected/uaf-no-assign-arm.output -------------------------------------------------------------------------------- /uaf-checker/gen_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/gen_test.sh -------------------------------------------------------------------------------- /uaf-checker/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/main.ml -------------------------------------------------------------------------------- /uaf-checker/microx.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/microx.patch -------------------------------------------------------------------------------- /uaf-checker/options.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/options.ml -------------------------------------------------------------------------------- /uaf-checker/pngs/ida-uaf.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/pngs/ida-uaf.png -------------------------------------------------------------------------------- /uaf-checker/posix.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/posix.h -------------------------------------------------------------------------------- /uaf-checker/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/test.ml -------------------------------------------------------------------------------- /uaf-checker/tests/all/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/tests/all/Makefile -------------------------------------------------------------------------------- /uaf-checker/tests/all/dead-simpl-uaf-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/tests/all/dead-simpl-uaf-2.c -------------------------------------------------------------------------------- /uaf-checker/tests/all/dead-simpl-uaf-arm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/tests/all/dead-simpl-uaf-arm -------------------------------------------------------------------------------- /uaf-checker/tests/all/dead-simpl-uaf-arm-2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/tests/all/dead-simpl-uaf-arm-2 -------------------------------------------------------------------------------- /uaf-checker/tests/all/dead-simpl-uaf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/tests/all/dead-simpl-uaf.c -------------------------------------------------------------------------------- /uaf-checker/tests/all/gnome-nettool: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/tests/all/gnome-nettool -------------------------------------------------------------------------------- /uaf-checker/tests/all/gueb-example-ite-uaf-arm-O0: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/tests/all/gueb-example-ite-uaf-arm-O0 -------------------------------------------------------------------------------- /uaf-checker/tests/all/gueb-example-ite-uaf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/tests/all/gueb-example-ite-uaf.c -------------------------------------------------------------------------------- /uaf-checker/tests/all/gueb-example-uaf-arm-O0: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/tests/all/gueb-example-uaf-arm-O0 -------------------------------------------------------------------------------- /uaf-checker/tests/all/gueb-example-uaf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/tests/all/gueb-example-uaf.c -------------------------------------------------------------------------------- /uaf-checker/tests/all/gueb-full-arm-O0: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/tests/all/gueb-full-arm-O0 -------------------------------------------------------------------------------- /uaf-checker/tests/all/gueb-full-arm-O0-buggy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/tests/all/gueb-full-arm-O0-buggy -------------------------------------------------------------------------------- /uaf-checker/tests/all/gueb-full-uaf-buggy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/tests/all/gueb-full-uaf-buggy.c -------------------------------------------------------------------------------- /uaf-checker/tests/all/gueb-full-uaf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/tests/all/gueb-full-uaf.c -------------------------------------------------------------------------------- /uaf-checker/tests/all/libvector.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/tests/all/libvector.so -------------------------------------------------------------------------------- /uaf-checker/tests/all/simpl-uaf-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/tests/all/simpl-uaf-2.c -------------------------------------------------------------------------------- /uaf-checker/tests/all/simpl-uaf-arm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/tests/all/simpl-uaf-arm -------------------------------------------------------------------------------- /uaf-checker/tests/all/simpl-uaf-arm-2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/tests/all/simpl-uaf-arm-2 -------------------------------------------------------------------------------- /uaf-checker/tests/all/simpl-uaf-arm-bug: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/tests/all/simpl-uaf-arm-bug -------------------------------------------------------------------------------- /uaf-checker/tests/all/simpl-uaf-bug.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/tests/all/simpl-uaf-bug.c -------------------------------------------------------------------------------- /uaf-checker/tests/all/simpl-uaf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/tests/all/simpl-uaf.c -------------------------------------------------------------------------------- /uaf-checker/tests/all/simple-uaf-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/tests/all/simple-uaf-2.c -------------------------------------------------------------------------------- /uaf-checker/tests/all/structs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/tests/all/structs -------------------------------------------------------------------------------- /uaf-checker/tests/all/structs-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/tests/all/structs-2.c -------------------------------------------------------------------------------- /uaf-checker/tests/all/structs-arm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/tests/all/structs-arm -------------------------------------------------------------------------------- /uaf-checker/tests/all/structs-arm-2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/tests/all/structs-arm-2 -------------------------------------------------------------------------------- /uaf-checker/tests/all/structs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/tests/all/structs.c -------------------------------------------------------------------------------- /uaf-checker/tests/all/super-simpl-uaf-arm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/tests/all/super-simpl-uaf-arm -------------------------------------------------------------------------------- /uaf-checker/tests/all/super-simpl-uaf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/tests/all/super-simpl-uaf.c -------------------------------------------------------------------------------- /uaf-checker/tests/all/uaf-no-assign-arm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/tests/all/uaf-no-assign-arm -------------------------------------------------------------------------------- /uaf-checker/tests/all/uaf-no-assign.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/tests/all/uaf-no-assign.c -------------------------------------------------------------------------------- /uaf-checker/tests/all/vector.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/tests/all/vector.c -------------------------------------------------------------------------------- /uaf-checker/tests/all/vector.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/tests/all/vector.h -------------------------------------------------------------------------------- /uaf-checker/toida.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/toida.ml -------------------------------------------------------------------------------- /uaf-checker/uaf_error.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/uaf_error.ml -------------------------------------------------------------------------------- /uaf-checker/uaf_error.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/uaf_error.mli -------------------------------------------------------------------------------- /uaf-checker/visual.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/uaf-checker/visual.ml -------------------------------------------------------------------------------- /validate_cfg/validate_cfg.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-plugins/HEAD/validate_cfg/validate_cfg.ml --------------------------------------------------------------------------------