pyre-check vs FuncVul
Code analysis: Python type checking and vulnerability research
pyre-check checks Python type annotations and documents Pysa data-flow analysis, while FuncVul uses a fine-tuned GraphCodeBERT model to study function-level vulnerability detection. pyre-check is an archived type-checking project for existing setups; FuncVul is a research implementation with datasets and baselines.
pyre-check: Check Python Types and Find Data Flows
Pyre is an incremental, performant type checker for Python, with Pysa for security-focused data-flow analysis. The repository is archived: type checking has moved to Pyrefly, and Pysa is maintained in a separate repository.
FuncVul: Detect Vulnerabilities in Code Functions
FuncVul applies a fine-tuned GraphCodeBERT model to code chunks to detect vulnerable functions in C/C++ and Python. It is aimed at researchers and security teams evaluating function-level vulnerability detection, with datasets and baselines included.
| pyre-check | FuncVul | |
|---|---|---|
| Language | OCaml | Python |
| License | MIT | — |
| Stars | 7.2k | 21 |
| Forks | 450 | 6 |
| Last analyzed | Oct 3, 2026 | Oct 8, 2026 |
Key differences
- pyre-check checks Python types against annotations, while FuncVul detects vulnerable code in C/C++ and Python.
- pyre-check uses incremental analysis and a daemon for feedback as files change; FuncVul analyzes code chunks and includes extended chunk-size variants for experiments.
- pyre-check is implemented in OCaml and targets Python code; FuncVul is implemented in Python.
- pyre-check is archived, with type checking moved to Pyrefly and Pysa maintained separately; FuncVul is marked quiet, with limited recent maintenance signals.
- pyre-check is suited to legacy typed-Python setups, while FuncVul is aimed at research on vulnerability classifiers rather than production scanning.
Choose pyre-check if you…
- maintain an existing Pyre configuration or need a reference for a legacy setup.
- want incremental Python type checking for development feedback.
- need to understand Pysa data-flow analysis in an existing setup.
Choose FuncVul if you…
- study or reproduce function-level vulnerability detection experiments.
- want datasets and baselines for comparing code-chunk approaches.
- investigate a research prototype for C/C++ or Python vulnerability detection.
Compare the numbers side by side, or add more projects
This comparison is generated with AI from the OSRepos analyses of both projects. Always check each project's repository and documentation before choosing.