1 repository
Awesome GitHub RepositoriesProgram Dependence Query Engines
Driver interfaces and query scripts for inspecting program dependencies and points-to relations.
Distinct from Module Dependency Analysis: Distinct from Module Dependency Analysis: focuses on programmatic querying of fine-grained program dependence using custom driver scripts.
Explore 1 awesome GitHub repository matching software engineering & architecture · Program Dependence Query Engines. Refine with filters or upvote what's useful.
Awesome Program Dependence Query Engines GitHub Repositories
Găsește cele mai bune repo-uri cu AI.Vom căuta cele mai potrivite repository-uri folosind AI.
- svf-tools/svf
SVF-tools/SVF
1,684Vezi pe 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
Inspects points-to relationships and program dependence information programmatically using custom driver scripts.
C++code-analysiscode-securitydependency-analysis
