flycheck-elsaFlycheck integration for Elsa---Emacs lisp static analyzer
Stars: ✭ 25 (+13.64%)
flextoolC++ compile-time programming (serialization, reflection, code modification, enum to string, better enum, enum to json, extend or parse language, etc.)
Stars: ✭ 32 (+45.45%)
inline-plzInline your lint messages
Stars: ✭ 32 (+45.45%)
nestifDetect deeply nested if statements in Go source code
Stars: ✭ 30 (+36.36%)
localhost-sonarqubeAnalysing source code locally with SonarQube in a Docker environment.
Stars: ✭ 17 (-22.73%)
luliA static analysis and linter tool for Lua
Stars: ✭ 45 (+104.55%)
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 (+345.45%)
dmn-checkA tool which performs static analyses on Decision Model Notation (DMN) files to detect bugs
Stars: ✭ 34 (+54.55%)
save-cloudCluster-based cloud mechanism for running SAVE framework
Stars: ✭ 30 (+36.36%)
cmake-initThe missing CMake project initializer
Stars: ✭ 1,071 (+4768.18%)
jitanaA graph-based static-dynamic hybrid DEX code analysis tool
Stars: ✭ 35 (+59.09%)
quliceQuality Police for Java projects: aggregator of Checkstyle, PMD, and SpotBugs
Stars: ✭ 286 (+1200%)
subpyPython subsets
Stars: ✭ 41 (+86.36%)
LyraNo description or website provided.
Stars: ✭ 23 (+4.55%)
adelaideThe SECBIT Static Analysis Extension to Solidity Compiler
Stars: ✭ 16 (-27.27%)
binary-auditing-solutionsLearn the fundamentals of Binary Auditing. Know how HLL mapping works, get more inner file understanding than ever.
Stars: ✭ 61 (+177.27%)
klaraAutomatic test case generation for python and static analysis library
Stars: ✭ 250 (+1036.36%)
sturdySturdy is a library for developing sound static analyses in Haskell.
Stars: ✭ 49 (+122.73%)
logifixFixing static analysis violations in Java source code using Datalog
Stars: ✭ 17 (-22.73%)
bismonpersistent monitor (for static source code analysis, GCC based)
Stars: ✭ 45 (+104.55%)
sonar-scalaA free and open-source SonarQube plugin for static code analysis of Scala projects.
Stars: ✭ 113 (+413.64%)
lintsLint all your JavaScript, CSS, HTML, Markdown and Dockerfiles with a single command
Stars: ✭ 14 (-36.36%)
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.18%)
dlintDlint is a tool for encouraging best coding practices and helping ensure Python code is secure.
Stars: ✭ 130 (+490.91%)
rstaticAn R package for static analysis of R code.
Stars: ✭ 32 (+45.45%)
swap-detectorA library for detecting swapped arguments in function calls, and a Clang Static Analyzer plugin used to demonstrate the library.
Stars: ✭ 19 (-13.64%)
gqlanalysisgqlanalysis makes easy to develop static analysis tools for GraphQL in Go.
Stars: ✭ 36 (+63.64%)
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 (+204.55%)
kleverRead-only mirror of the Klever Git repository
Stars: ✭ 18 (-18.18%)
ScalpelScalpel: The Python Static Analysis Framework
Stars: ✭ 176 (+700%)
aparoidStatic and dynamic Android application security analysis
Stars: ✭ 62 (+181.82%)
go-mndMagic number detector for Go.
Stars: ✭ 153 (+595.45%)
phpcs-psr4-sniff[READ-ONLY] PHP_CodeSniffer sniff that checks class name matches PSR-4 project structure.
Stars: ✭ 23 (+4.55%)
Fortran-ToolsFortran compilers, preprocessors, static analyzers, transpilers, IDEs, build systems, etc.
Stars: ✭ 31 (+40.91%)
gospalGo static program analyser
Stars: ✭ 56 (+154.55%)
phpstan-netteNette Framework class reflection extension for PHPStan & framework-specific rules
Stars: ✭ 87 (+295.45%)
sbt-findbugsFindBugs static analysis plugin for sbt.
Stars: ✭ 47 (+113.64%)
kccA Small C Compiler
Stars: ✭ 18 (-18.18%)
checkupA health checkup for your project.
Stars: ✭ 76 (+245.45%)
iec-checkerStatic analysis of IEC 61131-3 programs
Stars: ✭ 36 (+63.64%)
go-perfguardCPU-guided performance analyzer for Go
Stars: ✭ 58 (+163.64%)
UTBotCppTool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
Stars: ✭ 59 (+168.18%)
phpstanPHP Static Analysis in Github Actions.
Stars: ✭ 41 (+86.36%)
SPDSEfficient and Precise Pointer-Tracking Data-Flow Framework
Stars: ✭ 38 (+72.73%)
PHPDoctor🏥 PHPDoctor: Check files, full directories or strings for missing or bad PHPDoc types.
Stars: ✭ 54 (+145.45%)
unimportunimport is a Go static analysis tool to find unnecessary import aliases.
Stars: ✭ 64 (+190.91%)
deps-inferInfer mvn deps from sources
Stars: ✭ 36 (+63.64%)
OCCAMOCCAM: Object Culling and Concretization for Assurance Maximization
Stars: ✭ 20 (-9.09%)
goreporterA Golang tool that does static analysis, unit testing, code review and generate code quality report.
Stars: ✭ 3,019 (+13622.73%)