An High-Performance Python and Rust SAST Framework

PySpector is a static analysis security testing (SAST) Framework engineered for modern Python development workflows. It leverages a powerful Rust core to deliver high-speed, accurate vulnerability scanning, wrapped in a developer-friendly Python CLI. By compiling the analysis engine to a native binary, PySpector avoids the performance overhead of traditional Python-based tools, making it an ideal choice for integration into CI/CD pipelines and local development environments where speed is critical.

The tool is designed to be both comprehensive and intuitive, offering a multi-layered analysis approach that goes beyond simple pattern matching to understand the structure and data flow of your application.

Getting Started

Prerequisites

• Python: Version 3.12 or lower (Python 3.9+ required).
• Rust: The Rust compiler (rustc) and Cargo package manager are required. You can easily install the Rust toolchain via rustup and verify your installation by running cargo --version.

Installation

1. Create a Virtual Environment: It is highly recommended to install PySpector in a dedicated Python3.12 venv.

   python3.12 -m venv venv
   source venv/bin/activate

• In Windows, just download Python 3.12 from the Microsoft Store and run:

    python3.12 -m venv venv
    .\venv\Scripts\Activate.ps1
    # or, depending on the Python3.12 installation source: .\venv\bin\Activate.ps1

With PySpector now officially on PyPI(🎉), installation is as simple as running:

pip install pyspector

Key Features

• Multi-Layered Analysis Engine: PySpector employs a sophisticated, multi-layered approach to detect a broad spectrum of vulnerabilities:

• • Regex-Based Pattern Matching: Scans all files for specific patterns, ideal for identifying hardcoded secrets, insecure configurations in Dockerfiles, and weak settings in framework files.
• • Abstract Syntax Tree (AST) Analysis: For Python files, the tool parses the code into an AST to analyze its structure. This enables precise detection of vulnerabilities tied to code constructs, such as the use of eval(), insecure deserialization with pickle, or weak hashing algorithms.
• • Inter-procedural Taint Analysis: The engine builds a comprehensive call graph of the entire application to perform taint analysis. It tracks the flow of data from input sources (like web requests) to dangerous sinks (like command execution functions), allowing it to identify complex injection vulnerabilities with high accuracy.

• Comprehensive and Customizable Ruleset: PySpector comes with 241 built-in rules that cover common vulnerabilities, including those from the OWASP Top 10. The rules are defined in a simple TOML format, making them easy to understand and extend.

• Versatile Reporting: Generates clear and actionable reports in multiple formats, including a developer-friendly console output, JSON, HTML, and SARIF for seamless integration with other security tools and platforms.

• Efficient Baselining: The interactive triage mode simplifies the process of establishing a security baseline, allowing teams to focus on new and relevant findings in each scan.

How It Works

PySpector's hybrid architecture is key to its performance and effectiveness.

• Python CLI Orchestration: The process begins with the Python-based CLI. It handles command-line arguments, loads the configuration and rules, and prepares the target files for analysis. For each Python file, it uses the native ast module to generate an Abstract Syntax Tree, which is then serialized to JSON.

• Invocation of the Rust Core: The serialized ASTs, along with the ruleset and configuration, are passed to the compiled Rust core. The handoff from Python to Rust is managed by the pyo3 library.

• Parallel Analysis in Rust: The Rust engine takes over and performs the heavy lifting. It leverages the rayon crate to execute file scans and analysis in parallel, maximizing the use of available CPU cores. It builds a complete call graph of the application to understand inter-file function calls, which is essential for the taint analysis module.

• Results and Reporting: Once the analysis is complete, the Rust core returns a structured list of findings to the Python CLI. The Python wrapper then handles the final steps of filtering the results based on the severity threshold and the baseline file, and generating the report in the user-specified format.

This architecture combines the best of both worlds: a flexible, user-friendly interface in Python and a high-performance, memory-safe analysis engine in Rust :)

Performance Benchmarks

Independent performance testing demonstrates PySpector's competitive advantages in SAST scanning speed while maintaining comprehensive security analysis.

Benchmark Results

Comparative analysis across major Python codebases (Django, Flask, Pandas, Scikit-learn, Requests) shows:

Metric	PySpector	Bandit	Semgrep
Throughput	25,607 lines/sec	14,927 lines/sec	1,538 lines/sec
Performance Advantage	71% faster than Bandit	Baseline	16.6x slower
Memory Usage	1.4 GB average	111 MB average	277 MB average
CPU Utilization	120% (multi-core)	100% (single-core)	40%

Key Performance Characteristics

• Speed: Delivers 71% faster scanning than traditional tools through Rust-powered parallel analysis
• Scalability: Maintains high throughput on large codebases (500k+ lines of code)
• Resource Profile: Optimized for modern multi-core environments with adequate memory allocation
• Consistency: Stable performance across different project types and sizes

System Requirements for Optimal Performance

• Minimum: 2 CPU cores, 2 GB RAM
• Recommended: 4+ CPU cores, 4+ GB RAM for large codebases
• Storage: SSD recommended for large repository scanning

Benchmark Methodology

Performance testing conducted on:

• Test Environment: Debian-based Linux VM (2 cores, 4GB RAM)
• Test Projects: 5 major Python repositories (13k-530k lines of code)
• Measurement: Average of multiple runs with CPU settling periods
• Comparison: Head-to-head against Bandit and Semgrep using identical configurations

Benchmark data available in the project repository for transparency and reproducibility.

Usage

PySpector is operated through a straightforward command-line interface.

Running a Scan

The primary command is scan, which can target a local file, a directory, or even a remote Git repository.

pyspector scan [PATH or --url REPO_URL] [OPTIONS]

Examples:

• Scan a single file

pyspector scan project/main.py

• Scan a local directory and save the report as HTML:

pyspector scan /path/to/your/project -o report.html -f html

• Scan a public GitHub repository:

pyspector scan --url https://github.com/username/repo.git

Scan for AI and LLM Vulnerabilities (NEW FEATURE🚀)

• Use the --ai flag to enable a specialized ruleset, for projects using Large Language Models:

pyspector scan /path/to/your/project --ai

Triaging and Baselining Findings

PySpector includes an interactive triage mode to help manage and baseline findings. This allows you to review issues and mark them as "ignored" so they don't appear in future scans.

• Generate a JSON report:

pyspector scan /path/to/your/project -o report.json -f json

• Start the triage TUI:

pyspector triage report.json

Inside the TUI, you can navigate with the arrow keys, press i to toggle the "ignored" status of an issue, and s to save your changes to a .pyspector_baseline.json file. This baseline file will be automatically loaded on subsequent scans.

Automation and Integration

PySpector includes Shell helper scripts to integrate security scanning directly into your development and operational workflows.

Git Pre-Commit Hook

To ensure that no new high-severity issues are introduced into the codebase, you can set up a Git pre-commit hook. This hook will automatically scan staged Python files before each commit and block the commit if any HIGH or CRITICAL issues are found.

To set up the hook, run the following script from the root of your Git repository:

./scripts/setup_hooks.sh

This script creates an executable .git/hooks/pre-commit file that performs the check. You can bypass the hook for a specific commit by using the --no-verify flag with your git commit command.

Scheduled Scans with Cron

For continuous monitoring, you can schedule regular scans of your projects using a cron job. PySpector provides an interactive script to help you generate the correct crontab entry.

To generate your cron job command, run:

./scripts/setup_cron.sh

The script will prompt you for the project path, desired scan frequency (daily, weekly, monthly), and a location to store the JSON reports. It will then output the command to add to your crontab, automating your security scanning and reporting process.