1 dépôt
Awesome GitHub RepositoriesMemory SSA Form Constructions
Annotates indirect memory accesses with explicit definition and use functions to convert address-taken variables into static single assignment form.
Distinct from Static Single Assignment Forms: Distinct from general static single assignment forms by focusing specifically on memory-level SSA for indirect accesses and address-taken variables.
Explore 1 awesome GitHub repository matching programming languages & runtimes · Memory SSA Form Constructions. Refine with filters or upvote what's useful.
Awesome Memory SSA Form Constructions GitHub Repositories
Trouvez les meilleurs dépôts grâce à l'IA.Nous recherchons les dépôts les plus pertinents grâce à l'IA.
- svf-tools/svf
SVF-tools/SVF
1,684Voir sur GitHubSVF is an open-source static program analysis framework and points-to analysis library that tracks memory references, variable aliases, and data dependencies across whole programs. The platform translates compiled intermediate code formats into unified internal representations, constructing constraint graphs, call graphs, and control-flow graphs to model interprocedural execution behavior and memory state. The framework incorporates specialized engines for flow-sensitive, flow-insensitive, and context-sensitive pointer analysis alongside sparse value-flow graph generation. It features memory
Annotates indirect memory accesses with explicit definition and use functions to convert address-taken variables into static single assignment form.
C++code-analysiscode-securitydependency-analysis
