src/cwe_checker_lib/src/utils · e82519169623a79f1f551916c46a1d6809d6d6c8 · fact-depend / cwe_checker · GitLab

History Find file

Abstract string domains (#235) · e8251916

Adds a string abstraction analysis and includes a rewrite of the CWE-78 check using the new abstract string domains.

authored Oct 22, 2021

Name	Last commit	Last update
..
arguments		Loading commit data...
arguments.rs		Loading commit data...
binary.rs		Loading commit data...
graph_utils.rs		Loading commit data...
log.rs		Loading commit data...
mod.rs		Loading commit data...
symbol_utils.rs		Loading commit data...