AI Agent Skills

A powerful C# Roslyn analyzer that uses static analysis to detect bugs, surface security issues, and enforce best practices—helping developers and AI write more reliable…

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

Jar Analyzer - 一个 JAR 包 GUI 分析工具，内置 AI 助手协助分析，支持 JAR DIFF 分析，方法调用关系搜索，方法调用链 DFS 算法分析，模拟 JVM 的污点分析验证 DFS 结果，字符串搜索，Java Web 组件入口分析，CFG 程序分析，JVM 栈帧分析，自定义表达式搜索等

Static Value-Flow Analysis Framework for Source Code

SonarSource Static Analyzer for JavaScript and TypeScript

A reviewed list of useful PHP static analysis tools

Outstatic - A Static Site CMS for Markdown. A dashboard to write, edit, and publish Markdown and MDX stored in your GitHub repository.

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

:coffee: SonarSource Static Analyzer for Java Code Quality and Security

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

Static Analyzer for Solidity and Vyper

An extensible multilanguage static code analyzer.

One-click WordPress plugin that converts all posts, pages, taxonomies, metadata, and settings to Markdown and YAML which can be dropped into Jekyll (or Hugo or any other…

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…

A static type analyzer for Python code

Static analyzer for C/C++ based on the theory of Abstract Interpretation.