Static Value-Flow Analysis Framework for Source Code
- static-analysis
- static-value-flow
- source-code-analysis
- pointer-analysis
Repository Index
78,850 visible repositories in the index
1–2 of 2 · Most stars
Verifying Signal's security at the machine-code level