├── LICENSE ├── README.md └── src └── path_check ├── .merlin ├── path_check.ml └── path_check.py /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-tutorial/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-tutorial/HEAD/README.md -------------------------------------------------------------------------------- /src/path_check/.merlin: -------------------------------------------------------------------------------- 1 | PKG bap 2 | FLG -short-paths 3 | -------------------------------------------------------------------------------- /src/path_check/path_check.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-tutorial/HEAD/src/path_check/path_check.ml -------------------------------------------------------------------------------- /src/path_check/path_check.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BinaryAnalysisPlatform/bap-tutorial/HEAD/src/path_check/path_check.py --------------------------------------------------------------------------------