value-analysis
CommunityCompute program variable values.
Software Engineering#static analysis#program verification#compiler optimization#abstract interpretation#value analysis#constant propagation
Authorrainoftime
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill addresses the challenge of understanding the precise values program variables hold at different points in execution, which is crucial for optimization and bug detection.
Core Features & Use Cases
- Value Tracking: Computes concrete or abstract values for variables at each program point.
- Optimization & Bug Detection: Enables compiler optimizations like constant propagation and helps identify bugs such as null pointer dereferences.
- Use Case: Analyze a C program to determine the possible range of values for a loop counter, ensuring it never exceeds array bounds.
Quick Start
Perform value analysis on the provided C code snippet to identify constant propagation opportunities.
Dependency Matrix
Required Modules
abstract-interpretation-enginedataflow-analysis-framework
Components
references
💻 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: value-analysis Download link: https://github.com/rainoftime/pl-skills/archive/main.zip#value-analysis 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.