skills.rest
facebook
facebookOFFICIAL
Explore all skills by this author →
Website𝕏@MetaOpenSourceGitHub

architecture

Explain Pyre and Pysa architecture for code paths and module responsibilities.

7.2k|451|Updated Nov 10, 2017
Search Tags:#architecture#debugging#codebase#ocaml#pysa#pyre
One-click install
npx skills add https://github.com/facebook/pyre-check --skill architecture-facebook
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: architecture
Source: https://github.com/facebook/pyre-check/tree/main/.llms/skills/architecture
Command: npx skills add https://github.com/facebook/pyre-check --skill architecture-facebook

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Quickly grasp the Pyre and Pysa codebase architecture to locate where features are implemented and how components interact, reducing time spent digging through scattered files.

Core Features & Use Cases

  • Architecture map of the Type Checking Pipeline showing Python CLI flow, command routing, parsing, and environment construction.
  • Overview of the Pysa taint analysis pipeline, including orchestration, models, and call graphs.
  • Use cases include onboarding new contributors, debugging type checking or taint analysis issues, and exploring OCaml-based code and source layout.

Quick Start

Review the Pyre architecture to quickly locate where type checking and taint analysis components are implemented

Frequently Asked Questions about architecture

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How does the Pyre type checking pipeline work from the command line to environment construction?▼

The Pyre type checking pipeline routes Python CLI commands through a parsing pipeline to construct environments, enabling type inference and code navigation. It maps module responsibilities to show how source code components interact during analysis.

How do I debug taint analysis issues in Pysa?▼

To debug taint analysis issues in Pysa, review the taint analysis pipeline architecture covering orchestration, models, and call graphs. This module mapping helps locate where features are implemented and trace data flow issues.

Do I need to know OCaml to understand the Pyre and Pysa codebase architecture?▼

Understanding the Pyre and Pysa codebase architecture benefits from knowing OCaml, as core type checking and taint analysis components are OCaml-based. The architecture map clarifies source layout for navigating these components.

What is the best way to onboard new contributors to a codebase with complex type checking and taint analysis?▼

The best way to onboard new contributors is using an architecture map of the type checking and taint analysis pipelines. It reduces time spent digging through scattered files by clarifying module responsibilities and code paths.

Where are call graph generation and code navigation services implemented in the Pysa architecture?▼

Call graph generation and code navigation services are implemented within the Pysa taint analysis pipeline. The architecture overview details how these orchestration modules interact to support analysis and debugging.

Related Skills

Explore More Software Engineering Skills→
facebookfacebook
7.2k

commit-conventions

Enforce commit prefixes, reviewer tags, and default test plans for git commits.

Official
Basic
manuelbrandner85manuelbrandner85

trailmark

Parse source code into directed graphs for security-focused static analysis.

Community
Advanced
facebookfacebook
7.2k

pysa-false-negative-debugger

Compare two Pysa result directories to locate lost taint flow.

Official
Advanced
InditexTechInditexTech
195

zoom-out

Generate a high-level module-to-caller map aligned to the domain glossary.

Official
Intermediate