pysa-json-models
OfficialInterpret and debug Pysa JSON taint models.
Authorfacebook
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Pysa JSON model outputs provide structured taint information for static analysis, but they can be hard to read, validate, and reason about without tooling. This skill helps engineers interpret, verify, and debug taint models and issues described in newline-delimited JSON.
Core Features & Use Cases
- Parse and inspect NDJSON lines representing taint models and issues.
- Validate field structure (callable, filename, line numbers, sources, sinks, tito) and their relationships.
- Troubleshoot taint flows by correlating sources, sinks, and taint-in-taint-out data across modules.
Quick Start
Inspect a .models file produced by Pysa and identify the taint sources, sinks, and tito mappings.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 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: pysa-json-models Download link: https://github.com/facebook/pyre-check/archive/main.zip#pysa-json-models 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 471,000+ vetted skills library on demand.