├── .gitignore ├── .merlin ├── Makefile ├── README.md ├── _oasis ├── lib ├── veri.ml ├── veri.mli ├── veri_error.ml ├── veri_policy.ml ├── veri_policy.mli ├── veri_report.ml ├── veri_report.mli ├── veri_rule.ml ├── veri_rule.mli ├── veri_stat.ml ├── veri_stat.mli ├── veri_tab.ml ├── veri_tab.mli ├── veri_traci.ml └── veri_traci.mli ├── opam └── opam ├── plugin ├── veri_bil.ml └── veri_out.ml ├── rules ├── arm_qemu ├── x86 ├── x86_no_errors └── x86_qemu ├── tests ├── run_pin.sh ├── run_tests.ml ├── run_veri.sh ├── veri_policy_test.ml ├── veri_policy_test.mli ├── veri_rule_test.ml ├── veri_rule_test.mli ├── veri_stat_test.ml ├── veri_stat_test.mli ├── veri_test.ml └── veri_test.mli └── tools └── build_plugin.sh /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-veri/HEAD/.gitignore -------------------------------------------------------------------------------- /.merlin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-veri/HEAD/.merlin -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-veri/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-veri/HEAD/README.md -------------------------------------------------------------------------------- /_oasis: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-veri/HEAD/_oasis -------------------------------------------------------------------------------- /lib/veri.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-veri/HEAD/lib/veri.ml -------------------------------------------------------------------------------- /lib/veri.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-veri/HEAD/lib/veri.mli -------------------------------------------------------------------------------- /lib/veri_error.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-veri/HEAD/lib/veri_error.ml -------------------------------------------------------------------------------- /lib/veri_policy.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-veri/HEAD/lib/veri_policy.ml -------------------------------------------------------------------------------- /lib/veri_policy.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-veri/HEAD/lib/veri_policy.mli -------------------------------------------------------------------------------- /lib/veri_report.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-veri/HEAD/lib/veri_report.ml -------------------------------------------------------------------------------- /lib/veri_report.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-veri/HEAD/lib/veri_report.mli -------------------------------------------------------------------------------- /lib/veri_rule.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-veri/HEAD/lib/veri_rule.ml -------------------------------------------------------------------------------- /lib/veri_rule.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-veri/HEAD/lib/veri_rule.mli -------------------------------------------------------------------------------- /lib/veri_stat.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-veri/HEAD/lib/veri_stat.ml -------------------------------------------------------------------------------- /lib/veri_stat.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-veri/HEAD/lib/veri_stat.mli -------------------------------------------------------------------------------- /lib/veri_tab.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-veri/HEAD/lib/veri_tab.ml -------------------------------------------------------------------------------- /lib/veri_tab.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-veri/HEAD/lib/veri_tab.mli -------------------------------------------------------------------------------- /lib/veri_traci.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-veri/HEAD/lib/veri_traci.ml -------------------------------------------------------------------------------- /lib/veri_traci.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-veri/HEAD/lib/veri_traci.mli -------------------------------------------------------------------------------- /opam/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-veri/HEAD/opam/opam -------------------------------------------------------------------------------- /plugin/veri_bil.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-veri/HEAD/plugin/veri_bil.ml -------------------------------------------------------------------------------- /plugin/veri_out.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-veri/HEAD/plugin/veri_out.ml -------------------------------------------------------------------------------- /rules/arm_qemu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-veri/HEAD/rules/arm_qemu -------------------------------------------------------------------------------- /rules/x86: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-veri/HEAD/rules/x86 -------------------------------------------------------------------------------- /rules/x86_no_errors: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-veri/HEAD/rules/x86_no_errors -------------------------------------------------------------------------------- /rules/x86_qemu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-veri/HEAD/rules/x86_qemu -------------------------------------------------------------------------------- /tests/run_pin.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-veri/HEAD/tests/run_pin.sh -------------------------------------------------------------------------------- /tests/run_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-veri/HEAD/tests/run_tests.ml -------------------------------------------------------------------------------- /tests/run_veri.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-veri/HEAD/tests/run_veri.sh -------------------------------------------------------------------------------- /tests/veri_policy_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-veri/HEAD/tests/veri_policy_test.ml -------------------------------------------------------------------------------- /tests/veri_policy_test.mli: -------------------------------------------------------------------------------- 1 | 2 | val suite : unit -> OUnit2.test 3 | -------------------------------------------------------------------------------- /tests/veri_rule_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-veri/HEAD/tests/veri_rule_test.ml -------------------------------------------------------------------------------- /tests/veri_rule_test.mli: -------------------------------------------------------------------------------- 1 | 2 | val suite : unit -> OUnit2.test 3 | -------------------------------------------------------------------------------- /tests/veri_stat_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-veri/HEAD/tests/veri_stat_test.ml -------------------------------------------------------------------------------- /tests/veri_stat_test.mli: -------------------------------------------------------------------------------- 1 | 2 | val suite : unit -> OUnit2.test 3 | -------------------------------------------------------------------------------- /tests/veri_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-veri/HEAD/tests/veri_test.ml -------------------------------------------------------------------------------- /tests/veri_test.mli: -------------------------------------------------------------------------------- 1 | 2 | val suite : unit -> OUnit2.test 3 | -------------------------------------------------------------------------------- /tools/build_plugin.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-veri/HEAD/tools/build_plugin.sh --------------------------------------------------------------------------------