Awesome List Updates on Sep 24, 2022

7 awesome lists updated today.

🏠 Home · 🔍 Search · 🔥 Feed · 📮 Subscribe · ❤️ Sponsor

1. Awesome Productivity

Tools and Apps / Password Manager

NordPass - A freemium password manager created by the team from NordVPN. Store unlimited passwords and access them from anywhere with apps on all platforms.

2. Static Analysis

Programming Languages / Other

abapOpenChecks — Enhances the SAP Code Inspector with new and customizable checks.

Polyspace for Ada ©️ — Provide code verification that proves the absence of overflow, divide-by-zero, out-of-bounds array access, and certain other run-time errors in source code.

SPARK ©️ — Static analysis and formal verification toolset for Ada.

CBMC — Bounded model-checker for C programs, user-defined assertions, standard assertions, several coverage metric analyses.

clazy (⭐705) — Qt-oriented static code analyzer based on the Clang framework. clazy is a compiler plugin which allows clang to understand Qt semantics. You get more than 50 Qt related compiler warnings, ranging from unneeded memory allocations to misusage of API, including fix-its for automatic refactoring.

CMetrics (⭐73) — Measures size and complexity for C files.

CPAchecker — A tool for configurable software verification of C programs. The name CPAchecker was chosen to reflect that the tool is based on the CPA concepts and is used for checking software programs.

cpplint (⭐38k) — Automated C++ checker that follows Google's style guide.

cqmetrics (⭐66) — Quality metrics for C code.

ESBMC — ESBMC is an open source, permissively licensed, context-bounded model checker based on satisfiability modulo theories for the verification of single- and multi-threaded C/C++ programs.

Helix QAC ©️ — Enterprise-grade static analysis for embedded software. Supports MISRA, CERT, and AUTOSAR coding standards.

IKOS (⭐3k) — A sound static analyzer for C/C++ code based on LLVM.

Joern — Open-source code analysis platform for C/C++ based on code property graphs

LDRA ©️ — A tool suite including static analysis (TBVISION) to various standards including MISRA C & C++, JSF++ AV, CWE, CERT C, CERT C++ & Custom Rules.

Phasar — A LLVM-based static analysis framework which comes with a taint and type state analysis.

Polyspace Bug Finder ©️ — Identifies run-time errors, concurrency issues, security vulnerabilities, and other defects in C and C++ embedded software.

Polyspace Code Prover ©️ — Provide code verification that proves the absence of overflow, divide-by-zero, out-of-bounds array access, and certain other run-time errors in C and C++ source code.

splint — Annotation-assisted static program checker.

ArchUnitNET (⭐1.1k) — A C# architecture test library to specify and assert architecture rules in C# for automated testing.

Designite ©️ — Designite supports detection of various architecture, design, and implementation smells, computation of various code quality metrics, and trend analysis.

Gendarme — Gendarme inspects programs and libraries that contain code in ECMA CIL format (Mono and .NET).

NDepend ©️ — Measure, query and visualize your code and avoid unexpected issues, technical debt and complexity.

Puma Scan — Puma Scan provides real time secure code analysis for common vulnerabilities (XSS, SQLi, CSRF, LDAPi, crypto, deserialization, etc.) as development teams write code in Visual Studio.

Roslynator (⭐3.2k) — A collection of 190+ analyzers and 190+ refactorings for C#, powered by Roslyn.

Wintellect.Analyzers (⭐89) — .NET Compiler Platform ("Roslyn") diagnostic analyzers and code fixes.

crystal — The Crystal compiler has built-in linting functionality.

Linter for dart — Style linter for Dart.

Pascal Analyzer ©️ — A static code analysis tool with numerous reports. A free Lite version is available with limited reporting.

Pascal Expert ©️ — IDE plugin for code analysis. Includes a subset of Pascal Analyzer reporting capabilities and is available for Delphi versions 2007 and later.

dialyxir (⭐1.8k) — Mix tasks to simplify use of Dialyzer in Elixir projects.

sobelow (⭐1.7k) — Security-focused static analysis for the Phoenix Framework.

aligncheck — Find inefficiently packed structs.

bodyclose (⭐318) — Checks whether HTTP response body is closed.

deadcode (⭐53) — Finds unused code.

dogsled (⭐73) — Finds assignments/declarations with too many blank identifiers.

errcheck (⭐2.4k) — Check that error return values are used.

errwrap (⭐377) — Wrap and fix Go errors with the new %w verb directive. This tool analyzes fmt.Errorf() calls and reports calls that contain a verb directive that is different than the new %w verb directive introduced in Go v1.13. It's also capable of rewriting calls to use the new %w wrap verb directive.

flen (⭐51) — Get info on length of functions in a Go package.

go tool vet --shadow — Reports variables that may have been unintentionally shadowed.

go vet — Examines Go source code and reports suspicious.

go-critic (⭐2k) — Go source code linter that maintains checks which are currently not implemented in other linters.

go/ast — Package ast declares the types used to represent syntax trees for Go packages.

goconst (⭐309) — Finds repeated strings that could be replaced by a constant.

gofmt -s — Checks if the code is properly formatted and could not be further simplified.

gofumpt (⭐3.6k) — Enforce a stricter format than gofmt, while being backwards-compatible. That is, gofumpt is happy with a subset of the formats that gofmt is happy with. The tool is a fork of gofmt as of Go 1.19, and requires Go 1.18 or later. It can be used as a drop-in replacement to format your Go code, and running gofmt after gofumpt should produce no changes. gofumpt will never add rules which disagree with gofmt formatting. So we extend gofmt rather than compete with it.

goimports — Checks missing or unreferenced package imports.

GolangCI-Lint — Alternative to Go Meta Linter: GolangCI-Lint is a linters aggregator.

golint (⭐4k) — Prints out coding style mistakes in Go source code.

goroutine-inspect (⭐474) — An interactive tool to analyze Golang goroutine dump.

gosec (gas) — Inspects source code for security problems by scanning the Go AST.

gotype — Syntactic and semantic analysis similar to the Go compiler.

govulncheck — Govulncheck reports known vulnerabilities that affect Go code. It uses static analysis of source code or a binary's symbol table to narrow down reports to only those that could affect the application. By default, govulncheck makes requests to the Go vulnerability database at https://vuln.go.dev. Requests to the vulnerability database contain only module paths, not code or other properties of your program.

interfacer (⭐688) ⚠️ — Suggest narrower interfaces that can be used.

misspell (⭐1.4k) — Finds commonly misspelled English words.

nakedret (⭐130) — Finds naked returns.

nargs (⭐86) — Finds unused arguments in function declarations.

prealloc (⭐655) — Finds slice declarations that could potentially be preallocated.

revive — Fast, configurable, extensible, flexible, and beautiful linter for Go. Drop-in replacement of golint.

staticcheck — Go static analysis that specialises in finding bugs, simplifying code and improving performance.

structcheck — Find unused struct fields.

structslop (⭐823) — Static analyzer for Go that recommends struct field rearrangements to provide for maximum space/allocation efficiency

unparam (⭐558) — Find unused function parameters.

varcheck — Find unused global variables and constants.

wsl (⭐310) — Enforces empty lines at the right places.

CodeNarc — A static analysis tool for Groovy source code, enabling monitoring and enforcement of many coding standards and best practices.

HLint (⭐1.5k) — HLint is a tool for suggesting possible improvements to Haskell code.

Liquid Haskell — Liquid Haskell is a refinement type checker for Haskell programs.

Stan — Stan is a command-line tool for analysing Haskell projects and outputting discovered vulnerabilities in a helpful way with possible solutions for detected problems.

Weeder (⭐177) — A tool for detecting dead exports or package imports in Haskell code.

checkstyle — Checking Java source code for adherence to a Code Standard or set of validation rules (best practices).

ck (⭐409) — Calculates Chidamber and Kemerer object-oriented metrics by processing the source Java files.

ckjm — Calculates Chidamber and Kemerer object-oriented metrics by processing the bytecode of compiled Java files.

DesigniteJava ©️ — DesigniteJava supports detection of various architecture, design, and implementation smells along with computation of various code quality metrics.

fb-contrib — A plugin for FindBugs with additional bug detectors.

forbidden-apis (⭐351) — Detects and forbids invocations of specific method/class/field (like reading from a text stream without a charset). Maven/Gradle/Ant compatible.

HuntBugs (⭐304) ⚠️ — Bytecode static analyzer tool based on Procyon Compiler Tools aimed to supersede FindBugs.

IntelliJ IDEA ©️ — Comes bundled with a lot of inspections for Java and Kotlin and includes tools for refactoring, formatting and more.

JArchitect ©️ — Measure, query and visualize your code and avoid unexpected issues, technical debt and complexity.

JBMC — Bounded model-checker for Java (bytecode), verifies user-defined assertions, standard assertions, several coverage metric analyses.

NullAway (⭐3.8k) — Type-based null-pointer checker with low build-time overhead; an Error Prone plugin.

OWASP Dependency Check — Checks dependencies for known, publicly disclosed, vulnerabilities.

qulice — Combines a few (pre-configured) static analysis tools (checkstyle, PMD, Findbugs, ...).

Soot — A framework for analyzing and transforming Java and Android applications.

SpotBugs — SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.

Closure Compiler — A compiler tool to increase efficiency, reduce size, and provide code warnings in JavaScript files.

ClosureLinter (⭐113) ⚠️ — Ensures that all of your project's JavaScript code follows the guidelines in the Google JavaScript Style Guide. It can also automatically fix many common errors.

complexity-report (⭐209) ⚠️ — Software complexity analysis for JavaScript projects.

DeepScan ©️ — An analyzer for JavaScript which targets runtime errors and quality issues rather than coding conventions.

flow — A static type checker for JavaScript.

jshint ℹ️ (⭐14k) — Detect errors and potential problems in JavaScript code and enforce your team's coding conventions.

JSLint (⭐3.6k) ℹ️ (⭐14k) — The JavaScript Code Quality Tool.

plato (⭐4.6k) ⚠️ — Visualize JavaScript source complexity.

tern — A JavaScript code analyzer for deep, cross-editor language support.

xo (⭐7.8k) — Opinionated but configurable ESLint wrapper with lots of goodies included. Enforces strict and readable code.

yardstick (⭐27) ⚠️ — Javascript code metrics.

StaticLint (⭐151) — Static Code Analysis for Julia

detekt — Static code analysis for Kotlin code.

diktat — Strict coding standard for Kotlin and a linter that detects and auto-fixes code smells.

ktlint — An anti-bikeshedding Kotlin linter with built-in formatter.

lualint (⭐85) — lualint performs luac-based static analysis of global variable usage in Lua source code.

DrNim — DrNim combines the Nim frontend with the Z3 proof engine in order to allow verify / validate software written in Nim.

Sys (⭐229) — A static/symbolic Tool for finding bugs in (browser) code. It uses the LLVM AST to find bugs like uninitialized memory access.

VeriFast (⭐415) — A tool for modular formal verification of correctness properties of single-threaded and multithreaded C and Java programs annotated with preconditions and postconditions written in separation logic. To express rich specifications, the programmer can define inductive datatypes, primitive recursive pure functions over these datatypes, and abstract separation logic predicates.

churn-php (⭐1.4k) — Helps discover good candidates for refactoring.

dephpend (⭐537) — Dependency analysis tool.

deprecation-detector (⭐393) — Finds usages of deprecated (Symfony) code.

deptrac (⭐2.8k) — Enforce rules for dependencies between software layers.

DesignPatternDetector (⭐117) — Detection of design patterns in PHP code.

EasyCodingStandard — Combine PHP_CodeSniffer (⭐11k) and PHP-CS-Fixer (⭐13k).

GrumPHP (⭐4.2k) — Checks code on every commit.

parallel-lint (⭐337) — This tool checks syntax of PHP files faster than serial check with a fancier output.

Parse (⭐374) — A Static Security Scanner.

pdepend — Calculates software metrics like cyclomatic complexity for PHP code.

phan (⭐5.6k) — A modern static analyzer from etsy.

PHP Architecture Tester (⭐1.2k) — Easy to use architecture testing tool for PHP.

PHP Assumptions (⭐162) — Checks for weak assumptions.

PHP Coding Standards Fixer — Fixes your code according to standards like PSR-1, PSR-2, and the Symfony standard.

php-speller (⭐68) — PHP spell check library.

php7cc (⭐1.5k) ⚠️ — PHP 7 Compatibility Checker.

php7mar (⭐791) ⚠️ — Assist developers in porting their code quickly to PHP 7.

phpdcd (⭐414) ⚠️ — Dead Code Detector (DCD) for PHP code.

phpDocumentor — Analyzes PHP source code to generate documentation.

PHPMD — Finds possible bugs in your code.

PhpMetrics — Calculates and visualizes various code quality metrics.

phpmnd (⭐568) — Helps to detect magic numbers.

phpqa - jakzal (⭐1.3k) — Many tools for PHP static analysis in one container.

phpqa - jmolivas (⭐325) — PHPQA all-in-one Analyzer CLI tool.

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

Progpilot (⭐343) — A static analysis tool for security purposes.

Psalm — Static analysis tool for finding type errors in PHP applications.

Tuli (⭐171) — A static analysis engine.

twig-lint (⭐117) — twig-lint is a lint tool for your twig files.

WAP — Tool to detect and correct input validation vulnerabilities in PHP (4.0 or higher) web applications and predicts false positives by combining static analysis and data mining.

Perl::Critic — Critique Perl source code for best-practices.

bandit — A tool to find common security issues in Python code.

Black — The uncompromising Python code formatter.

fixit — A framework for creating lint rules and corresponding auto-fixes for source code.

jedi — Autocompletion/static analysis library for Python.

linty fresh (⭐184) — Parse lint errors and report them to Github as comments on a pull request.

mypy — A static type checker that aims to combine the benefits of duck typing and static typing, frequently used with MonkeyType (⭐4.9k).

py-find-injection (⭐129) ⚠️ — Find SQL injection vulnerabilities in Python code.

pyanalyze — A tool for programmatically detecting common mistakes in Python code, such as references to undefined variables and type errors. It can be extended to add additional rules and perform checks specific to particular functions.

pycodestyle — (Formerly pep8) Check Python code against some of the style conventions in PEP 8.

pyflakes — Check Python source files for errors.

pylint — Looks for programming errors, helps enforcing a coding standard and sniffs for some code smells. It additionally includes pyreverse (an UML diagram generator) and symilar (a similarities checker).

pyre-check — A fast, scalable type checker for large Python codebases.

pyright (⭐15k) — Static type checker for Python, created to address gaps in existing tools like mypy.

Pysa — A tool based on Facebook's pyre-check to identify potential security issues in Python code identified with taint analysis.

PyT - Python Taint (⭐2.2k) ⚠️ — A static analysis tool for detecting security vulnerabilities in Python web applications.

pytype — A static type analyzer for Python code.

vulture (⭐3.9k) — Find unused classes, functions and variables in Python code.

lintr (⭐1.2k) — Static Code Analysis for R.

styler — Formatting of R source code files and pretty-printing of R code.

bundler-audit (⭐2.7k) — Audit Gemfile.lock for gems with security vulnerabilities reported in Ruby Advisory Database (⭐1k).

Fasterer (⭐1.8k) — Common Ruby idioms checker.

Fukuzatsu (⭐31) — A tool for measuring code complexity in Ruby class files. Its analysis generates scores based on cyclomatic complexity algorithms with no added "opinions".

laser (⭐386) ⚠️ — Static analysis and style linter for Ruby code.

pelusa (⭐438) — Static analysis Lint-type tool to improve your OO Ruby code.

reek (⭐4.1k) — Code smell detector for Ruby.

RuboCop — A Ruby static code analyzer, based on the community Ruby style guide.

Rubrowser (⭐640) — Ruby classes interactive dependency graph generator.

rubycritic (⭐3.4k) — A Ruby code quality reporter.

SandiMeter ⚠️ — Static analysis tool for checking Ruby code for Sandi Metz' rules.

Sorbet — A fast, powerful type checker designed for Ruby.

Standard Ruby (⭐2.8k) — Ruby Style Guide, with linter & automatic code fixer

Steep (⭐1.4k) — Gradual Typing for Ruby.

C2Rust — C2Rust helps you migrate C99-compliant code to Rust. The translator (or transpiler) produces unsafe Rust code that closely mirrors the input C code.

cargo udeps (⭐2k) — Find unused dependencies in Cargo.toml. It either prints out a "unused crates" line listing the crates, or it prints out a line saying that no crates were unused.

cargo-audit — Audit Cargo.lock for crates with security vulnerabilities reported to the RustSec Advisory Database (⭐997).

cargo-deny — A cargo plugin for linting your dependencies. It can be used either as a command line too, a Rust crate, or a Github action for CI. It checks for valid license information, duplicate crates, security vulnerabilities, and more.

cargo-expand (⭐2.9k) — Cargo subcommand to show result of macro expansion and #[derive] expansion applied to the current crate. This is a wrapper around a more verbose compiler command.

cargo-spellcheck (⭐349) — Checks all your documentation for spelling and grammar mistakes with hunspell (ready) and languagetool (preview)

clippy — A code linter to catch common mistakes and improve your Rust code.

dylint — A tool for running Rust lints from dynamic libraries. Dylint makes it easy for developers to maintain their own personal lint collections.

MIRAI (⭐1k) — And abstract interpreter operating on Rust's mid-level intermediate language, and providing warnings based on taint analysis.

rust-analyzer — Supports functionality such as 'goto definition', type inference, symbol search, reformatting, and code completion, and enables renaming and refactorings.

rustfmt (⭐6.4k) — A tool for formatting Rust code according to style guidelines.

RustViz (⭐2.8k) — RustViz is a tool that generates visualizations from simple Rust programs to assist users in better understanding the Rust Lifetime and Borrowing mechanism. It generates SVG files with graphical indicators that integrate with mdbook to render visualizations of data-flow in Rust programs.

SQLFluff — Multiple dialect SQL linter and formatter.

sqlint (⭐430) — Simple SQL linter.

squawk — Linter for PostgreSQL, focused on migrations. Prevents unexpected downtime caused by database migrations and encourages best practices around Postgres schemas and SQL.

tsqllint (⭐220) — T-SQL-specific linter.

Visual Expert ©️ — Code analysis for PowerBuilder, Oracle, and SQL Server Explores, analyzes, and documents Code

Scalastyle — Scalastyle examines your Scala code and indicates potential problems with it.

scapegoat (⭐543) — Scala compiler plugin for static code analysis.

WartRemover — A flexible Scala code linting tool.

bashate (⭐375) — Code style enforcement for bash programs. The output format aims to follow pycodestyle (pep8) default output format.

sh — A shell parser, formatter, and interpreter with bash support; includes shfmt

shellcheck — ShellCheck, a static analysis tool that gives warnings and suggestions for bash/sh shell scripts.

shellharden (⭐4.7k) — A syntax highlighter and a tool to semi-automate the rewriting of scripts to ShellCheck conformance, mainly focused on quoting.

SwiftFormat (⭐8.4k) — A library and command-line formatting tool for reformatting Swift code.

SwiftLint — A tool to enforce Swift style and conventions.

Tailor ⚠️ — A static analysis and lint tool for source code written in Apple's Swift programming language.

Frink — A Tcl formatting and static check program (can prettify the program, minimise, obfuscate or just sanity check it).

Nagelfar — A static syntax checker for Tcl.

tclchecker (⭐75) — A static syntax analysis module (as part of TDK (⭐75)).

Codelyzer ⚠️ — A set of tslint rules for static code analysis of Angular 2 TypeScript projects.

tslint ⚠️ — TSLint has been deprecated as of 2019. Please see this issue (⭐5.9k) for more details. typescript-eslint is now your best option for linting TypeScript. TSLint is an extensible static analysis tool that checks TypeScript code for readability, maintainability, and functionality errors. It is widely supported across modern editors & build systems and can be customized with your own lint rules, configurations, and formatters.

tslint-clean-code — A set of TSLint rules inspired by the Clean Code handbook.

tslint-microsoft-contrib (⭐700) ⚠️ — A set of tslint rules for static code analysis of TypeScript projects maintained by Microsoft.

TypeScript ESLint (⭐16k) — TypeScript language extension for eslint.

zod — TypeScript-first schema validation with static type inference. The goal is to eliminate duplicative type declarations. With Zod, you declare a validator once and Zod will automatically infer the static TypeScript type. It is easy to compose simpler types into complex data structures.

Icarus Verilog (⭐3.1k) — A Verilog simulation and synthesis tool that operates by compiling source code written in IEEE-1364 Verilog into some target format

svls (⭐516) — A Language Server Protocol implementation for Verilog and SystemVerilog, including lint capabilities.

verible-linter-action (⭐34) — Automatic SystemVerilog linting in github actions with the help of Verible Used to lint Verilog and SystemVerilog source files and comment erroneous lines of code in Pull Requests automatically.

Verilator — A tool which converts Verilog to a cycle-accurate behavioral model in C++ or SystemC. Performs lint code-quality checks.

vscode-verilog-hdl-support (⭐327) — Verilog HDL/SystemVerilog/Bluespec SystemVerilog support for VS Code. Provides syntax highlighting and Linting support from Icarus Verilog, Vivado Logical Simulation, Modelsim and Verilator

Other / Other

Goblint — A static analyzer for the analysis of multi-threaded C programs. Its primary focus is the detection of data races, but it also reports other runtime errors, such as buffer overflows and null-pointer dereferences.

Go Meta Linter (⭐3.5k) ⚠️ — Concurrently run Go lint tools and normalise their output. Use golangci-lint for new projects.

gokart (⭐2.2k) — Golang security analysis with a focus on minimizing false positives. It is capable of tracing the source of variables and function arguments to determine whether input sources are safe.

goreporter (⭐3.1k) — Concurrently runs many linters and normalises their output to a report.

Reviewdog (⭐8.5k) — A tool for posting review comments from any linter in any code hosting service.

Violations Lib (⭐150) — Java library for parsing report files from static code analysis. Used by a bunch of Jenkins, Maven and Gradle plugins.

Polymer-analyzer (⭐434) — A static analysis framework for Web Components.

standard — An npm module that checks for Javascript Styleguide issues.

exakat — An automated code reviewing engine for PHP.

Symfony Insight ©️ — Detect security risks, find bugs and provide actionable metrics for PHP projects.

flake8 (⭐3.6k) — A wrapper around pyflakes, pycodestyle and mccabe.

prospector (⭐2k) — A wrapper around pylint, pep8, mccabe and others.

QuantifiedCode (⭐109) ⚠️ — Automated code review & repair. It helps you to keep track of issues and metrics in your software projects, and can be easily extended to support new types of analyses.

brakeman — A static analysis security vulnerability scanner for Ruby on Rails applications.

ERB Lint (⭐724) — Lint your ERB or HTML files

rust-audit (⭐744) — Audit Rust binaries for known bugs or security vulnerabilities. This works by embedding data about the dependency tree (Cargo.lock) in JSON format into a dedicated linker section of the compiled executable.

alquitran (⭐21) — Inspects tar archives and tries to spot portability issues in regard to POSIX 2017 pax specification and common tar implementations. This project is intended to be used by maintainers of projects who want to offer portable source code archives for as many systems as possible. Checking tar archives with alquitran before publishing them should help spotting issues before they reach distributors and users.

angr (⭐8k) — Binary code analysis tool that also supports symbolic execution.

binbloom (⭐543) — Analyzes a raw binary firmware and determines features like endianness or the loading address. The tool is compatible with all architectures. Loading address: binbloom can parse a raw binary firmware and determine its loading address. Endianness: binbloom can use heuristics to determine the endianness of a firmware. UDS Database: binbloom can parse a raw binary firmware and check if it contains an array containing UDS command IDs.

BinSkim (⭐816) — A binary static analysis tool that provides security and correctness results for Windows portable executables.

Black Duck ©️ — Tool to analyze source code and binaries for reusable code, necessary licenses and potential security aspects.

bloaty (⭐5.1k) — Ever wondered what's making your binary big? Bloaty McBloatface will show you a size profile of the binary so you can understand what's taking up space inside. Bloaty performs a deep analysis of the binary. Using custom ELF, DWARF, and Mach-O parsers, Bloaty aims to accurately attribute every byte of the binary to the symbol or compileunit that produced it. It will even disassemble the binary looking for references to anonymous data. F

cwe_checker (⭐1.2k) — cwe_checker finds vulnerable patterns in binary executables.

Ghidra — A software reverse engineering (SRE) suite of tools developed by NSA's Research Directorate in support of the Cybersecurity mission

IDA Free ©️ — Binary code analysis tool.

Jakstab (⭐159) — Jakstab is an Abstract Interpretation-based, integrated disassembly and static analysis framework for designing analyses on executables and recovering reliable control flow graphs.

JEB Decompiler ©️ — Decompile and debug binary code. Break down and analyze document files. Android Dalvik, MIPS, ARM, Intel x86, Java, WebAssembly & Ethereum Decompilers.

Nauz File Detector (⭐558) — Static Linker/Compiler/Tool detector for Windows, Linux and MacOS.

VMware chap (⭐377) — chap analyzes un-instrumented ELF core files for leaks, memory growth, and corruption. It is sufficiently reliable that it can be used in automation to catch leaks before they are committed. As an interactive tool, it helps explain memory growth, can identify some forms of corruption, and supplements a debugger by giving the status of various memory locations.

zydis — Fast and lightweight x86/x86-64 disassembler library

portlint — A verifier for FreeBSD and DragonFlyBSD port directories.

CSS Stats — Potentially interesting stats on stylesheets.

CSScomb (⭐3.3k) — A coding style formatter for CSS. Supports own configurations to make style sheets beautiful and consistent.

CSSLint — Does basic syntax checking and finds problematic patterns or signs of inefficiency.

GraphMyCSS.com — CSS Specificity Graph Generator.

Nu Html Checker — Helps you catch problems in your HTML/CSS/SVG

PostCSS — A tool for transforming styles with JS plugins. These plugins can lint your CSS, support variables and mixins, transpile future CSS syntax, inline images, and more.

Project Wallace CSS Analyzer — Analytics for CSS, part of Project Wallace.

sass-lint (⭐1.8k) ⚠️ — A Node-only Sass linter for both sass and scss syntax.

Specificity Graph — CSS Specificity Graph Generator.

Stylelint — Linter for SCSS/CSS files.

dotenv-linter — Linting dotenv files like a charm.

dotenv-linter (Rust) — Lightning-fast linter for .env files. Written in Rust

ansible-lint — Checks playbooks for practices and behaviour that could potentially be improved.

AWS CloudFormation Guard (⭐1.3k) — Check local CloudFormation templates against policy-as-code rules and generate rules from existing templates.

cfn-lint (⭐2.6k) — AWS Labs CloudFormation linter.

cfn_nag (⭐1.3k) — A linter for AWS CloudFormation templates.

checkov — Static analysis tool for Terraform files (tf>=v0.12), preventing cloud misconfigs at build time.

foodcritic — A lint tool that checks Chef cookbooks for common problems.

terraform-compliance — A lightweight, compliance- and security focused, BDD test framework against Terraform.

terrascan (⭐5k) — Collection of security and best practice tests for static code analysis of Terraform templates.

tflint (⭐5.3k) — A Terraform linter for detecting errors that can not be detected by terraform plan.

tfsec (⭐6.9k) — Terraform static analysis tool that prevents potential security issues by checking cloud misconfigurations at build time and directly integrates with the HCL parser for better results. Checks for violations of AWS, Azure and GCP security best practice recommendations.

anchore — Discover, analyze, and certify container images. A service that analyzes Docker images and applies user-defined acceptance policies to allow automated container image validation and certification

clair (⭐11k) — Vulnerability Static Analysis for Containers.

Haskell Dockerfile Linter (⭐11k) — A smarter Dockerfile linter that helps you build best practice Docker images.

OpenSCAP — Suite of automated audit tools to examine the configuration and known vulnerabilities following the NIST-certified Security Content Automation Protocol (SCAP).

Qualys Container Security ©️ — Container native application protection to provide visibility and control of containerized applications.

sysdig ©️ — A secure DevOps platform for cloud and container forensics. Built on an open source stack, Sysdig provides Docker image scanning and created Falco, the open standard for runtime threat detection for containers, Kubernetes and cloud.

Vuls — Agent-less Linux vulnerability scanner based on information from NVD, OVAL, etc. It has some container image support, although is not a container specific tool.

actionlint — Static checker for GitHub Actions workflow files. Provides an online version.

Code Climate — The open and extensible static analysis platform, for everyone.

PullRequest ©️ — Code review as a service with built-in static analysis. Increase velocity and reduce technical debt through quality code review by expert engineers backed by best-in-class automation.

HTML Inspector (⭐2.3k) ⚠️ — HTML Inspector is a code quality tool to help you and your team write better markup.

HTML Tidy — Corrects and cleans up HTML and XML documents by fixing markup errors and upgrading legacy code to modern standards.

HTMLHint — A Static Code Analysis Tool for HTML.

clusterlint (⭐569) — Clusterlint queries live Kubernetes clusters for resources, executes common and platform specific checks against these resources and provides actionable feedback to cluster operators. It is a non invasive tool that is run externally. Clusterlint does not alter the resource configurations.

Datree — A CLI tool to prevent Kubernetes misconfigurations by ensuring that manifests and Helm charts follow best practices as well as your organization’s policies

kube-lint (⭐156) — A linter for Kubernetes resources with a customizable rule set. You define a list of rules that you would like to validate against your resources and kube-lint will evaluate those rules against them.

kubeconform (⭐2.7k) — A fast Kubernetes manifests validator with support for custom resources.

lacheck — A tool for finding common mistakes in LaTeX documents.

TeXLab — A Language Server Protocol implementation for TeX/LaTeX, including lint capabilities.

remark-lint — Pluggable Markdown code style linter written in JavaScript.

FlowDroid (⭐1.1k) — Static taint analysis tool for Android applications.

Oversecured ©️ — Enterprise vulnerability scanner for Android and iOS apps. It allows app owners and developers to secure each new version of a mobile app by integrating Oversecured into the development process.

redex — Redex provides a framework for reading, writing, and analyzing .dex files, and a set of optimization passes that use this framework to improve the bytecode. An APK optimized by Redex should be smaller and faster.

statix — Lints and suggestions for the Nix programming language. "statix check" highlights antipatterns in Nix code. "statix fix" can fix several such occurrences.

lockfile-lint (⭐807) — Lint an npm or yarn lockfile to analyze and detect security issues

njsscan — A static application testing (SAST) tool that can find insecure code patterns in your node.js applications using simple pattern matcher from libsast and syntax-aware semantic code pattern search tool semgrep.

rpmlint (⭐151) — Tool for checking common errors in rpm packages.

protolint (⭐638) — Pluggable linter and fixer to enforce Protocol Buffer style and conventions.

detect-secrets (⭐4.1k) — An enterprise friendly way of detecting and preventing secrets in code. It does this by running periodic diff outputs against heuristically crafted regex statements, to identify whether any new secret has been committed. This way, it avoids the overhead of digging through all git history, as well as the need to scan the entire repository every time.

Gitleaks (⭐21k) — A SAST tool for detecting hardcoded secrets like passwords, api keys, and tokens in git repos.

PT Application Inspector ©️ — Identifies code flaws and detects vulnerabilities to prevent web attacks. Demonstrates remote code execution by presenting possible exploits.

scorecard (⭐5k) — Security Scorecards - Security health metrics for Open Source

SearchDiggity ©️ — Identifies vulnerabilities in open source code projects hosted on Github, Google Code, MS CodePlex, SourceForge, and more. The tool comes with over 130 default searches that identify SQL injection, cross-site scripting (XSS), insecure remote and local file includes, hard-coded passwords, etc.

trufflehog — Find credentials all over the place TruffleHog is an open source secret-scanning engine that resolves exposed secrets across your company’s entire tech stack.

Tsunami Security Scanner (⭐8.4k) — A general purpose network security scanner with an extensible plugin system for detecting high severity RCE-like vulnerabilities with high confidence. Custom detectors for finding vulnerabilities (e.g. open APIs) can be added.

MythX ©️ — MythX is an easy to use analysis platform which integrates several analysis methods like fuzzing, symbolic execution and static analysis to find vulnerabilities with high precision. It can be integrated with toolchains like Remix or VSCode or called from the command-line.

slither (⭐5.8k) — Static analysis framework that runs a suite of vulnerability detectors, prints visual information about contract details, and provides an API to easily write custom analyses.

solium — Solium is a linter to identify and fix style and security issues in Solidity smart contracts.

haml-lint (⭐325) — Tool for writing clean and consistent HAML.

slim-lint (⭐220) — Configurable tool for analyzing Slim templates.

yamllint — Checks YAML files for syntax validity, key repetition and cosmetic problems such as lines length, trailing spaces, and indentation.

alex — Catch insensitive, inconsiderate writing

languagetool — Style and grammar checker for 25+ languages. It finds many errors that a simple spell checker cannot detect.

Misspelled Words In Context — A spell-checker that groups possible misspellings and shows them in their contexts.

write-good (⭐5k) — A linter with a focus on eliminating "weasel words".

Multiple languages / Other

ale (⭐14k) — Asynchronous Lint Engine for Vim and NeoVim with support for many languages.

Android Studio — Based on IntelliJ IDEA, and comes bundled with tools for Android including Android Lint.

ApplicationInspector (⭐4.3k) — Creates reports of over 400 rule patterns for feature detection (e.g. the use of cryptography or version control in apps).

ArchUnit — Unit test your Java or Kotlin architecture.

Axivion Bauhaus Suite ©️ — Tracks down error-prone code locations, style violations, cloned or dead code, cyclic dependencies and more for C/C++, C#/.NET, Java and Ada 83/Ada 95.

Better Code Hub ©️ — Better Code Hub checks your GitHub codebase against 10 engineering guidelines devised by the authority in software quality, Software Improvement Group.

callGraph (⭐303) — Statically generates a call graph image and displays it on screen.

CAST Highlight ©️ — Commercial Static Code Analysis which runs locally, but uploads the results to its cloud for presentation.

ClassGraph (⭐2.9k) — A classpath and module path scanner for querying or visualizing class metadata or class relatedness.

Clayton ©️ — AI-powered code reviews for Salesforce. Secure your developments, enforce best practice and control your technical debt in real-time.

Code Intelligence ©️ — CI/CD-agnostic DevSecOps platform which combines industry-leading fuzzing engines for finding bugs and visualizing code coverage

Codeac ©️ — Automated code review tool integrates with GitHub, Bitbucket and GitLab (even self-hosted). Available for JavaScript, TypeScript, Python, Ruby, Go, PHP, Java, Docker, and more. (open-source free)

codechecker — A defect database and viewer extension for the Clang Static Analyzer with web GUI.

CodeFlow ©️ — Automated code analysis tool to deal with technical depth. Integrates with Bitbucket and Gitlab. (free for Open Source Projects)

CodeIt.Right ©️ — CodeIt.Right™ provides a fast, automated way to ensure that your source code adheres to (your) predefined design and style guidelines as well as best coding practices.

codeql (⭐8.5k) — Deep code analysis - semantic queries and dataflow for several languages with VSCode plugin support.

CodeRush ©️ — Code creation, debugging, navigation, refactoring, analysis and visualization tools that use the Roslyn engine in Visual Studio 2015 and up.

CodeScan ©️ — Code Quality and Security for Salesforce Developers. Made exclusively for the Salesforce platform, CodeScan’s code analysis solutions provide you with total visibility into your code health.

CodeScene ©️ — CodeScene is a quality visualization tool for software. Prioritize technical debt, detect delivery risks, and measure organizational aspects. Fully automated.

Corrode (⭐2.2k) ⚠️ — Semi-automatic translation from C to Rust. Could reveal bugs in the original implementation by showing Rust compiler warnings and errors. Superseded by C2Rust.

Coverity ©️ — Synopsys Coverity supports 20 languages and over 70 frameworks including Ruby on rails, Scala, PHP, Python, JavaScript, TypeScript, Java, Fortran, C, C++, C#, VB.NET.

cpp-linter-action — A Github Action for linting C/C++ code integrating clang-tidy and clang-format to collect feedback provided in the form of thread comments and/or annotations.

Depends (⭐228) — Analyses the comprehensive dependencies of code elements for Java, C/C++, Ruby.

DevSkim (⭐950) — Regex-based static analysis tool for Visual Studio, VS Code, and Sublime Text - C/C++, C#, PHP, ASP, Python, Ruby, Java, and others.

Embold ©️ — Intelligent software analytics platform that identifies design issues, code issues, duplication and metrics. Supports Java, C, C++, C#, JavaScript, TypeScript, Python, Go, Kotlin and more.

ESLint (⭐26k) — An extensible linter for JS, following the ECMAScript standard.

Find Security Bugs — The SpotBugs plugin for security audits of Java web applications and Android applications. (Also work with Kotlin, Groovy and Scala projects)

Hopper (⭐58) ⚠️ — A static analysis tool written in scala for languages that run on JVM.

Infer — A static analyzer for Java, C and Objective-C

Kiuwan ©️ — Identify and remediate cyber threats in a blazingly fast, collaborative environment, with seamless integration in your SDLC. Python, C\C++, Java, C#, PHP and more.

LGTM ©️ — Find security vulnerabilities, variants, and critical code quality issues using CodeQL queries over source code. Automatic PR code review; free for open source. Formerly semmle. It supports public Git repositories hosted on Bitbucket Cloud, GitHub.com, GitLab.com.

lizard (⭐2k) — Lizard is an extensible Cyclomatic Complexity Analyzer for many programming languages including C/C++ (doesn't require all the header files or Java imports). It also does copy-paste detection (code clone detection/code duplicate detection) and many other forms of static code analysis. Counts lines of code without comments, CCN (cyclomatic complexity number), token count of functions, parameter count of functions.

Mega-Linter — Mega-Linter can handle any type of project thanks to its 70+ embedded Linters, its advanced reporting, runnable on any CI system or locally, with assisted installation and configuration, able to apply formatting and fixes

parasoft ©️ — Automated Software Testing Solutions for unit-, API-, and web UI testing. Complies with MISRA, OWASP, and others.

PMD — A source code analyzer for Java, Salesforce Apex, Javascript, PLSQL, XML, XSL and others.

pre-commit — A framework for managing and maintaining multi-language pre-commit hooks.

Prettier — An opinionated code formatter.

Pronto (⭐2.6k) — Quick automated code review of your changes. Supports more than 40 runners for various languages, including Clang, Elixir, JavaScript, PHP, Ruby and more.

PT.PM (⭐60) ⚠️ — An engine for searching patterns in the source code, based on Unified AST or UST. At present time C#, Java, PHP, PL/SQL, T-SQL, and JavaScript are supported. Patterns can be described within the code or using a DSL.

Putout (⭐756) — Pluggable and configurable code transformer with built-in eslint, babel plugins support for js, jsx typescript, flow, markdown, yaml and json.

pylama — Code audit tool for Python and JavaScript. Wraps pycodestyle, pydocstyle, PyFlakes, Mccabe, Pylint, and more

relint (⭐63) — A static file linter that allows you to write custom rules using regular expressions (RegEx).

ReSharper ©️ — Extends Visual Studio with on-the-fly code inspections for C#, VB.NET, ASP.NET, JavaScript, TypeScript and other technologies.

Roslyn Analyzers (⭐1.7k) — Roslyn-based implementation of FxCop analyzers.

Roslyn Security Guard — Project that focuses on the identification of potential vulnerabilities such as SQL injection, cross-site scripting (XSS), CSRF, cryptography weaknesses, hardcoded passwords and many more.

Security Code Scan — Security code analyzer for C# and VB.NET. Detects various security vulnerability patterns: SQLi, XSS, CSRF, XXE, Open Redirect, etc. Integrates into Visual Studio 2015 and newer. Detects various security vulnerability patterns: SQLi, XSS, CSRF, XXE, Open Redirect, etc.

Semgrep — A fast, open-source, static analysis tool for finding bugs and enforcing code standards at editor, commit, and CI time. Its rules look like the code you already write; no abstract syntax trees or regex wrestling. Supports 17+ languages.

shipshape (⭐271) ⚠️ — Static program analysis platform that allows custom analyzers to plug in through a common interface.

Sigrid ©️ — Sigrid helps you to improve your software by measuring your system's code quality, and then compares the results against a benchmark of thousands of industry systems to give you concrete advice on areas where you can improve.

Similarity Tester — A tool that finds similarities between or within files to support you encountering DRY principle violations.

Sonatype ©️ — Reports known vulnerabilities in common dependencies and recommends updated packages to minimize breaking changes

Soto Platform ©️ — Suite of static analysis tools consisting of the three components Sotoarc (Architecture Analysis), Sotograph (Quality Analysis), and Sotoreport (Quality report). Helps find differences between architecture and implementation, interface violations (e.g. external access of private parts of subsystems, detection of all classes, files, packages and subsystems which are strongly coupled by cyclical relationships and more. The Sotograph product family runs on Windows and Linux.

SourceMeter ©️ — Static Code Analysis for C/C++, Java, C#, Python, and RPG III and RPG IV versions (including free-form).

sqlvet (⭐493) — Performs static analysis on raw SQL queries in your Go code base to surface potential runtime errors. It checks for SQL syntax error, identifies unsafe queries that could potentially lead to SQL injections makes sure column count matches value count in INSERT statements and validates table- and column names.

Super-Linter (⭐130) — Combination of multiple linters to install as a GitHub Action.

Synopsys ©️ — A commercial static analysis platform that allows for scanning of multiple languages (C/C++, Android, C#, Java, JS, PHP, Python, Node.JS, Ruby, Fortran, and Swift).

Teamscale ©️ — Static and dynamic analysis tool supporting more than 25 languages and direct IDE integration. Free hosting for Open Source projects available on request. Free academic licenses available.

TencentCodeAnalysis — Tencent Cloud Code Analysis (TCA for short, code-named CodeDog inside the company early) is a comprehensive platform for code analysis and issue tracking. TCA consist of three components, server, web and client. It integrates of a number of self-developed tools, and also supports dynamic integration of code analysis tools in various programming languages.

ThreatMapper (⭐5k) — Vulnerability Scanner and Risk Evaluation for containers, serverless and hosts at runtime. ThreatMapper generates runtime BOMs from dependencies and operating system packages, matches against multiple threat feeds, scans for unprotected secrets, and scores issues based on severity and risk-of-exploit.

todocheck (⭐434) — Linter for integrating annotated TODOs with your issue trackers

trivy (⭐27k) — A Simple and Comprehensive Vulnerability Scanner for Containers and other Artifacts, Suitable for CI. Trivy detects vulnerabilities of OS packages (Alpine, RHEL, CentOS, etc.) and application dependencies (Bundler, Composer, npm, yarn, etc.). Checks containers and filesystems.

trunk ©️ — Modern repositories include many technologies, each with its own set of linters. With 30+ linters and counting, Trunk makes it dead-simple to identify, install, configure, and run the right linters, static analyzers, and formatters for all your repos.

TscanCode (⭐2.1k) — A fast and accurate static analysis solution for C/C++, C#, Lua codes provided by Tencent. Using GPLv3 license.

Undebt (⭐1.6k) — Language-independent tool for massive, automatic, programmable refactoring based on simple pattern definitions.

Understand ©️ — Code visualization tool that provides code analysis, standards testing, metrics, graphing, dependency analysis and more for Ada, VHDL, and others.

WALA (⭐806) — Static analysis capabilities for Java bytecode and related languages and for JavaScript.

weggli (⭐2.4k) — A fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interesting functionality in large codebases.

3. Awesome React Components

Form Components / Image Editing

react-advanced-cropper (⭐808) - A react cropper library to create the cropper exactly suited for your website design.

react-mobile-cropper (⭐41) - A ready-to-use image cropping library highly inspirited by popular Android croppers. Based on react-advanced-cropper.

4. Awesome Quantum Computing

Videos

Ph/CS 219A at Caltech: Quantum Computation - Lectures for the first term of a course on quantum computation taught at Caltech in Fall 2020, by John Preskill.

5. Awesome Github Wiki

Examples

guard/guard (⭐6.4k)

google/guava (⭐51k)

Useful links with tips & tricks

Creating a GitHub Wiki documentation for your repository

6. Awesome Web Archiving

Tools & Software / Acquisition

Auto Archiver (⭐718) - Python script to automatically archive social media posts, videos, and images from a Google Sheets document. Read the article about Auto Archiver on bellingcat.com.

7. Awesome Agi Cocosci

Methodologies for Experiments / Association Test

A Meta-Analysis on the Correlation Between the Implicit Association Test and Explicit Self-Report Measures - Personality and Social Psychology Bulletin, 2005. [All Versions].

Prev: Sep 25, 2022
Next: Sep 23, 2022