cwe_checker_rs/src/analysis · 542db66e6e1d2523a03d4f3822a698ff18aa1e98 · fact-depend / cwe_checker

Adds CallSource nodes to the control flow graph, which have the same role for backwards analysis as the CallReturn nodes have for forward analysis.

authored 4 years ago

Name	Last commit	Last update
..
pointer_inference	Direction independent graph (#118)	4 years ago
fixpoint.rs	Assume standard calling convention for internal function calls (#112)	4 years ago
graph.rs	Direction independent graph (#118)	4 years ago
interprocedural_fixpoint.rs	Direction independent graph (#118)	4 years ago
mod.rs	Domain refactor (#76)	4 years ago