Structured Acceptance TestAn open format definition for static analysis tools
Stars: ✭ 10 (-88.76%)
Mutual labels: checker, static-analysis
RascalThe implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)
Stars: ✭ 284 (+219.1%)
Mutual labels: checker, static-analysis
phantom-typesPhantom types for Python.
Stars: ✭ 120 (+34.83%)
Mutual labels: static-analysis, mypy
PhpmndPHP Magic Number Detector
Stars: ✭ 431 (+384.27%)
Mutual labels: checker, static-analysis
Forbidden ApisPoliceman's Forbidden API Checker
Stars: ✭ 216 (+142.7%)
Mutual labels: checker, static-analysis
lintsLint all your JavaScript, CSS, HTML, Markdown and Dockerfiles with a single command
Stars: ✭ 14 (-84.27%)
Mutual labels: checker, static-analysis
vim-phpstanA Vim plugin for PHPStan - https://github.com/phpstan/phpstan. It calls `phpstan` to do static analysis of your PHP code and displays the errors in Vim's quickfix list.
Stars: ✭ 26 (-70.79%)
Mutual labels: static-analysis, vim-plugins
nakedretnakedret is a Go static analysis tool to find naked returns in functions greater than a specified function length.
Stars: ✭ 82 (-7.87%)
Mutual labels: static-analysis
vim-mixVim plugin for using Elixir's build tool, mix
Stars: ✭ 63 (-29.21%)
Mutual labels: vim-plugins
custom-bytecode-analyzerJava bytecode analyzer customizable via JSON rules
Stars: ✭ 66 (-25.84%)
Mutual labels: static-analysis
vscode-checkstyleHaxe Checkstyle extension for Visual Studio Code
Stars: ✭ 24 (-73.03%)
Mutual labels: static-analysis
ebaEBA is a static bug finder for C.
Stars: ✭ 14 (-84.27%)
Mutual labels: static-analysis
quicktexA vim plugin for writing Latex quickly.
Stars: ✭ 110 (+23.6%)
Mutual labels: vim-plugins
denetmenuseful micro check library for Crystal Language.
Stars: ✭ 23 (-74.16%)
Mutual labels: checker
PaperMacheteA project that uses Binary Ninja and GRAKN.AI to perform static analysis on binary files with the goal of identifying bugs in software.
Stars: ✭ 49 (-44.94%)
Mutual labels: static-analysis
MailRipV3SMTP and IMAP checker / cracker for mailpass combolists with a user-friendly GUI, automated inbox test and many more features.
Stars: ✭ 28 (-68.54%)
Mutual labels: checker
snapSnap Programming Language
Stars: ✭ 20 (-77.53%)
Mutual labels: static-analysis
analysis-modelA library to read static analysis reports into a Java object model
Stars: ✭ 74 (-16.85%)
Mutual labels: static-analysis
compatipA simple tool to ensure compatibility between microservices
Stars: ✭ 13 (-85.39%)
Mutual labels: checker