dataflow-analysis-framework
CommunityBuild static analysis tools.
Software Engineering#static analysis#program verification#compiler optimization#dataflow analysis#lattice theory#control flow graph
Authorrainoftime
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill provides a generalized framework for implementing dataflow analysis, a crucial technique for static program analysis, compiler optimizations, and program verification.
Core Features & Use Cases
- Lattice Definitions: Supports defining custom lattices for various analysis domains.
- Framework Implementation: Handles both forward and backward analyses, as well as 'may' and 'must' analysis variations.
- Equation Solving: Implements worklist algorithms for efficient solving of dataflow equations.
- Use Case: Develop a compiler pass to identify dead code by analyzing variable liveness across the program's control flow graph.
Quick Start
Implement a live variable analysis for the given control flow graph using the dataflow analysis framework.
Dependency Matrix
Required Modules
None requiredComponents
scriptsreferences
💻 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: dataflow-analysis-framework Download link: https://github.com/rainoftime/pl-skills/archive/main.zip#dataflow-analysis-framework 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 223,000+ vetted skills library on demand.