🛠 before warned, be forewarned with a pedantic 𝚡𝚌𝚌𝚘𝚗𝚏𝚒𝚐 file for Xcode

Thesis project on the development of a framework for Value-Set Analysis

Massive, automated code refactoring done better.

Simple tool to analyze and split the words contained in your code to check your DDD approach.

A command line tool to enforce Swift style and conventions.

A simple way to analyze the line length of your PHP files.

Experimental neural static analyzer for Java programs, based on ML and LLM

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

Yet Another APK Static Analyzer

Yet another Verilog static analyzer

Taser is a Python-based system designed for automatic analysis, rating, comparison, and parsing of Android source code. It provides a command-line interface (CLI) for easy interaction with the system.

Track your variables' lifetime to encourage shorter scopes

Find cyclic references in code modules

A static analysis tool for PHP focused on developer experience

Package providing static analysis for simple to diagnose C# errors

identypo is a Go static analysis tool to find typos in identifiers (functions, function calls, variables, constants, type declarations, packages, labels).

Tasks for the information systems analysis course. University of Verona.

Static analyzer for the J* language

Static analyser for unsafe use of jQuery methods which are vulnerable to XSS attack. Also available as a Coala Bear.

Rust frontend for LiSA