analysis-netStatic analysis framework for .NET programs.
Stars: ✭ 19 (-40.62%)
PytA Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
Stars: ✭ 2,061 (+6340.63%)
quliceQuality Police for Java projects: aggregator of Checkstyle, PMD, and SpotBugs
Stars: ✭ 286 (+793.75%)
kccA Small C Compiler
Stars: ✭ 18 (-43.75%)
LyraNo description or website provided.
Stars: ✭ 23 (-28.12%)
cmake-initThe missing CMake project initializer
Stars: ✭ 1,071 (+3246.88%)
ScalpelScalpel: The Python Static Analysis Framework
Stars: ✭ 176 (+450%)
subpyPython subsets
Stars: ✭ 41 (+28.13%)
goreporterA Golang tool that does static analysis, unit testing, code review and generate code quality report.
Stars: ✭ 3,019 (+9334.38%)
binary-auditing-solutionsLearn the fundamentals of Binary Auditing. Know how HLL mapping works, get more inner file understanding than ever.
Stars: ✭ 61 (+90.63%)
PHPDoctor🏥 PHPDoctor: Check files, full directories or strings for missing or bad PHPDoc types.
Stars: ✭ 54 (+68.75%)
iec-checkerStatic analysis of IEC 61131-3 programs
Stars: ✭ 36 (+12.5%)
gqlanalysisgqlanalysis makes easy to develop static analysis tools for GraphQL in Go.
Stars: ✭ 36 (+12.5%)
inline-plzInline your lint messages
Stars: ✭ 32 (+0%)
klaraAutomatic test case generation for python and static analysis library
Stars: ✭ 250 (+681.25%)
localhost-sonarqubeAnalysing source code locally with SonarQube in a Docker environment.
Stars: ✭ 17 (-46.87%)
Fortran-ToolsFortran compilers, preprocessors, static analyzers, transpilers, IDEs, build systems, etc.
Stars: ✭ 31 (-3.12%)
jitanaA graph-based static-dynamic hybrid DEX code analysis tool
Stars: ✭ 35 (+9.38%)
luliA static analysis and linter tool for Lua
Stars: ✭ 45 (+40.63%)
go-perfguardCPU-guided performance analyzer for Go
Stars: ✭ 58 (+81.25%)
SDASDA is a rich cross-platform tool for reverse engineering that focused firstly on analysis of computer games. I'm trying to create a mix of the Ghidra, Cheat Engine and x64dbg. My tool will combine static and dynamic analysis of programs. Now SDA is being developed.
Stars: ✭ 98 (+206.25%)
save-cloudCluster-based cloud mechanism for running SAVE framework
Stars: ✭ 30 (-6.25%)
UTBotCppTool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
Stars: ✭ 59 (+84.38%)
yair🦜 yair - a high-level compiler IR entirely written in Rust
Stars: ✭ 34 (+6.25%)
nestifDetect deeply nested if statements in Go source code
Stars: ✭ 30 (-6.25%)
lintsLint all your JavaScript, CSS, HTML, Markdown and Dockerfiles with a single command
Stars: ✭ 14 (-56.25%)
phpstan-netteNette Framework class reflection extension for PHPStan & framework-specific rules
Stars: ✭ 87 (+171.88%)
dlintDlint is a tool for encouraging best coding practices and helping ensure Python code is secure.
Stars: ✭ 130 (+306.25%)
swap-detectorA library for detecting swapped arguments in function calls, and a Clang Static Analyzer plugin used to demonstrate the library.
Stars: ✭ 19 (-40.62%)
sonar-scalaA free and open-source SonarQube plugin for static code analysis of Scala projects.
Stars: ✭ 113 (+253.13%)
flextoolC++ compile-time programming (serialization, reflection, code modification, enum to string, better enum, enum to json, extend or parse language, etc.)
Stars: ✭ 32 (+0%)
kleverRead-only mirror of the Klever Git repository
Stars: ✭ 18 (-43.75%)
phpstanPHP Static Analysis in Github Actions.
Stars: ✭ 41 (+28.13%)
aparoidStatic and dynamic Android application security analysis
Stars: ✭ 62 (+93.75%)
adelaideThe SECBIT Static Analysis Extension to Solidity Compiler
Stars: ✭ 16 (-50%)
phpcs-psr4-sniff[READ-ONLY] PHP_CodeSniffer sniff that checks class name matches PSR-4 project structure.
Stars: ✭ 23 (-28.12%)
gospalGo static program analyser
Stars: ✭ 56 (+75%)
sbt-findbugsFindBugs static analysis plugin for sbt.
Stars: ✭ 47 (+46.88%)
logifixFixing static analysis violations in Java source code using Datalog
Stars: ✭ 17 (-46.87%)
checkupA health checkup for your project.
Stars: ✭ 76 (+137.5%)
carbon-irThe carbon intermediate representation language
Stars: ✭ 24 (-25%)
mllint`mllint` is a command-line utility to evaluate the technical quality of Python Machine Learning (ML) projects by means of static analysis of the project's repository.
Stars: ✭ 67 (+109.38%)
sturdySturdy is a library for developing sound static analyses in Haskell.
Stars: ✭ 49 (+53.13%)
ramllintRAML Linter
Stars: ✭ 18 (-43.75%)
SPDSEfficient and Precise Pointer-Tracking Data-Flow Framework
Stars: ✭ 38 (+18.75%)
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 (-18.75%)
lint-checksA set of opinionated and useful lint checks
Stars: ✭ 61 (+90.63%)
dmn-checkA tool which performs static analyses on Decision Model Notation (DMN) files to detect bugs
Stars: ✭ 34 (+6.25%)
OCCAMOCCAM: Object Culling and Concretization for Assurance Maximization
Stars: ✭ 20 (-37.5%)