AI Agent Skills

A static analyzer for Java, C, C++, and Objective-C

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

Mobile Security Framework (MobSF) is an automated, all-in-one mobile application (Android/iOS/Windows) pen-testing, malware analysis and security assessment framework ca…

PHP Static Analysis Tool - discover bugs in your code without running it!

Vulnerability Static Analysis for Containers

A static analysis security vulnerability scanner for Ruby on Rails applications

Static code analysis for Kotlin

static analysis of C/C++ code

Static Analyzer for Solidity and Vyper

Static analysis for GitHub Actions

A PHP static analysis tool for finding errors and security vulnerabilities in PHP applications

An extensible multilanguage static code analyzer.

A static code analysis tool for the Elixir language with a focus on code consistency and teaching.

A source code analyzer built for surfacing features of interest and other characteristics to answer the question 'What's in the code?' quickly using static analysis with…

TypeScript Compiler API wrapper for static analysis and programmatic code changes.

Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.