Search Results for "static analysis tools for python"
Sort By:
Showing 2 open source projects for "static analysis tools for python"
View related business solutions-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
1
papermill
Parameterize, execute, and analyze notebooks
...This capability is particularly useful in data science and analytics, where a template notebook might be reused for batching reports across dates, customers, or other variables without rewriting code or duplicating notebooks. Papermill supports both Python API usage and a command-line interface, making it flexible for integration with CI/CD systems, shells, and workflow orchestration tools like Airflow. -
2
Souper
A superoptimizer for LLVM IR
Souper is a superoptimizer for LLVM IR designed to automatically discover missed optimization opportunities within LLVM’s mid-end optimizers. By leveraging SMT (Satisfiability Modulo Theories) solvers, Souper symbolically analyzes LLVM Intermediate Representation (IR) to synthesize equivalent, more efficient expressions. It identifies peephole optimizations—small instruction-level improvements—that LLVM’s optimizer may overlook, thereby improving compiled code quality. Souper can operate in...
- Previous
- You're on page 1
- Next
