maxtac-sast-control-flow-graph
CommunityConstruct and analyze static reachability evidence for SAST
Software Engineering#static analysis#vulnerability analysis#control flow#security research#code graph
Authorphilo-groves
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill solves the challenge of statically analyzing source code or decompiler output to construct and evaluate reachability, guard coverage, and path feasibility for security research.
Core Features & Use Cases
- Static Analysis Graphs: Constructs static analysis graphs for call, control flow, and state transitions in code.
- Use Cases: Used in identifying unauthorized access paths, analyzing guard coverage for security invariants, and verifying cleanup and ownership paths.
- Quick Start: Utilize the skill by defining the analysis scope and using
maxtac-sast-control-flow-graphto build and assess graphs relevant to a specific security hypothesis.
Quick Start
Build a control-flow graph for the function handleData and identify paths from potential entry points to sensitive data within the codebase.
Dependency Matrix
Required Modules
None requiredComponents
scripts
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: maxtac-sast-control-flow-graph Download link: https://github.com/philo-groves/MaxTAC/archive/main.zip#maxtac-sast-control-flow-graph Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 620,000+ vetted skills library on demand.