Commit 4981dc94 by Thomas Barabosch

Added test automation to make and updated README.

parent e6937fe0
.phony: all .PHONY: all clean test uninstall
all: all:
cd src; bapbuild -r -Is checkers,utils -pkgs yojson,unix cwe_checker.plugin; bapbundle install cwe_checker.plugin; cd .. cd src; bapbuild -r -Is checkers,utils -pkgs yojson,unix cwe_checker.plugin; bapbundle install cwe_checker.plugin; cd ..
test: test:
bapbuild -r -Is src,src/checkers,src/utils,test -pkgs yojson,unix,alcotest test/test_cwe_checker.byte pytest -v
./test/test_cwe_checker.byte
clean: clean:
bapbuild -clean bapbuild -clean
......
...@@ -41,10 +41,12 @@ The three way is to build it using the provided `Makefile`. In this case you mus ...@@ -41,10 +41,12 @@ The three way is to build it using the provided `Makefile`. In this case you mus
- Ocaml 4.05.0 - Ocaml 4.05.0
- Opam 2.0.2 - Opam 2.0.2
- BAP 1.5 (and its dependencies) - BAP 1.5 (and its dependencies)
- yojson <= 1.4.1 - yojson >= 1.4.1
- alcotest <= 0.8.3 - alcotest >= 0.8.3
- Sark for IDA Pro annotations - Sark for IDA Pro annotations
Just run `make all` to compile and register the plugin with BAP. - pytest >= 3.5.1
Just run `make all` to compile and register the plugin with BAP. You can run the test suite via `make test`.
## How to use cwe_checker? ## ## How to use cwe_checker? ##
The usage is straight forward: adjust the `config.json` (if needed) and call BAP with *cwe_checker* as a pass. The usage is straight forward: adjust the `config.json` (if needed) and call BAP with *cwe_checker* as a pass.
``` bash ``` bash
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment