plugins · 5ad922d2b89a0ffc772e7f7dfe76a45334b3c278 · fact-depend / cwe_checker

* Removes old version of log_utils, prototypes for new version.

* Implemented native logging

* Json-Output basically working.

* Added acceptance test for JSON parsing

* Adds some odoc to log_utils.

* Added support for file output (--cwe-checker-out)

* Add acceptance test for file output

authored Jul 24, 2019

1d9991f1

Name	Last commit	Last update
..
cwe_checker		Loading commit data...
cwe_checker_emulation		Loading commit data...
cwe_checker_type_inference		Loading commit data...
cwe_checker_type_inference_print		Loading commit data...