test/unit/utils/serde_json_test.mli · 64238b180fc058f673d3edcef981a18896d1c18f · fact-depend / cwe_checker · GitLab

Blame History Permalink

Rust interface (#70) · 8e575abc

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

serde_json_test.mli

115 Bytes

open Bap.Std
open Core_kernel

val example_project: Project.t option ref

val tests: unit Alcotest.test_case list