pysa-integration-tests
OfficialCoordinate end-to-end Pysa integration tests.
Authorfacebook
Version1.0.0
Installs0
System Documentation
What problem does it solve?
End-to-end integration testing for Pysa taint analysis, enabling reliable validation of test pipelines, expected outputs, and configurations across the integration suite.
Core Features & Use Cases
- Run and debug taint integration tests located under source/interprocedural_analyses/taint/test/integration/.
- Update and verify expected outputs including .models, .cg, .hofcg, and .overrides files to reflect changes in the analysis behavior.
- Use when creating or updating integration tests to ensure end-to-end correctness within the Pyre/Pysa workflow.
Quick Start
Run all integration tests from the source/ directory using the dune-based test runner and refer to the SKILL.md instructions for per-test invocation.
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-integration-tests Download link: https://github.com/facebook/pyre-check/archive/main.zip#pysa-integration-tests 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.