Static analyzer for C/C++ based on the theory of Abstract Interpretation.
- static-analysis
- software-verification
- abstract-interpretation
- program-analysis
Repository Index
47,133 repositories indexed
25–48 of 133 · Most stars
🦀 Supercharge your Rust experience in Neovim! A heavily modified fork of rust-tools.nvim
- dap
- debug-adapter-protocol
- language-server-protocol
- lsp
A well-structured production-ready frontend boilerplate with Typescript, React Testing Library, styled-component, React Query, .env, Axios, Bundle Analyzer, Prettier and 30+ plugins. superplate creates projects for React.js, Next.js, and refine. https://pankod.github.io/superplate/
An implementation of StyleCop rules using the .NET Compiler Platform
- csharp
- linting
A fast, feature-rich static code analyzer & language server for Python
Lightweight Lua-based IDE for Lua with code completion, syntax highlighting, live coding, remote debugger, and code analyzer; supports Lua 5.1, 5.2, 5.3, 5.4, LuaJIT and other Lua interpreters on Windows, macOS, and Linux
- lua
- ide
- syntax-highlighting
- zerobrane-studio
GoogleSQL(formerly ZetaSQL) - Analyzer Framework for SQL
CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
- clang
- cpp
- c
- clang-tidy
Beautiful and understandable static analysis tool for PHP
- static-analyzer
- quality
- php
- metrics
PyGraphistry is a Python library to quickly load, shape, embed, and explore big graphs with the GPU-accelerated Graphistry visual graph analyzer
- graph
- visualization
- gpu
- graphistry
PHPMD is a spin-off project of PHP Depend and aims to be a PHP equivalent of the well known Java tool PMD. PHPMD can be seen as an user friendly frontend application for the raw metrics stream measured by PHP Depend.
- mess-detector
- php
- pmd
- static-analysis
Mutation testing for Ruby. AI writes your code. AI writes your tests. But who tests the tests?
A tool for analyzing the size of compiled Go binaries, offering cross-platform support, detailed breakdowns, and multiple output formats.
- binary
- golang
- symbol
- visualization
Incremental rust builds up to 92x faster than cargo/rustc
- cargo
- compiler
- cranelift
- developer-tools
Static analyzer and linter for Clojure code that sparks joy
- clojure
- clojurescript
- linter
- static-analysis
Analyze the security of any domain by finding all the information possible. Made in python.
Variety: a MongoDB schema analyzer
- database-tools
- mongodb
- mongodb-schema
- mongosh
BirdNET analyzer for scientific audio data processing.
- bioacoustics
- birds
- birdsong
- acoustic-monitoring
The repository host gives no description.
- hacktoberfest
A well-structured production ready Next.js boilerplate with Typescript, Redux, Jest, Enzyme, Express.js, Sass, Css, EnvConfig, Fetch, Reverse Proxy, Bundle Analyzer and Built-in Project CLI. https://pankod.github.io/next-boilerplate/
Next-gen phpDoc parser with support for intersection types and generics
- phpstan
- static-analysis
- php
- php7
Cross-platform static analyzer and linter for Swift.
- swift
- linter
- static-analyzer
- apple
cwe_checker finds vulnerable patterns in binary executables
- cwe
- binary-analysis
- static-analyzer
- vulnerability-scanner
:coffee: SonarSource Static Analyzer for Java Code Quality and Security
- java
- sonarqube
- static-code-analysis
- static-analyzer