CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.

Clang's scan-build re-implementation in python

OPEM (Open Source PEM Fuel Cell Simulation Tool)

MATLAB Independent, Small & Safe, High Integrity Tools - code formatter and more

Generic SAST Library

A regex based source code scanner.

Static security checker for Dockerfiles

Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.

Pynblint is a linter for Python Jupyter notebooks.

Autogrep automates Semgrep rule generation and filtering by using LLMs to analyze vulnerability patches, enabling automatic creation of high-quality security rules without manual curation.

eBurger is a static analysis tool that provides a way to quickly query and analyze solidity smart contracts.

Static Python code analyzer, that tries to check if functions in code are pure or not and why.

A specialized tool for smart contract modifier analysis based on the Modifier Dependency Graph (MDG)

A set of scripts for aggregation, analysis and reporting of build and static analysis results.

Static Application Security Testing Analyzer for JavaScript Source Code

Generate a xcconfig including all Xcode compilation warnings with sensible defaults

A prototype API monitor for malware analysis based on deeper hooking.

Massive, automated code refactoring done better.

Static analyser to help developers working in Electron avoid the most common and serious security risks within the framework. It will not detect all issues, and like most static analysis tools it will have a high rate of false positives, but it is automatic and may lighten your load a bit

MIRROR of https://codeberg.org/catseye/Dieter : An experimental language conflating type qualifiers with modules