dune-project · d926369b3f4e103694595aa26e0bb100158a9122 · fact-depend / cwe_checker

Added brand new (and still experimental) checks for CWEs 415 and 416 together with a new interprocedural data-flow analysis engine written in Rust. Add `-partial=Memory` as command line flag to try out the new checks.

authored 4 years ago

8e575abc

dune-project 35 Bytes

1 2

(lang dune 2.0)
(name cwe_checker)

Replace dune-project