Skip to main content

Code analysis

Static-analysis surface: call graphs, symbol definitions, taint flows.