PhasarA LLVM-based static analysis framework.
Stars: ✭ 503 (+182.58%)
mongodb-chemistryIdeas for chemical similarity searches in MongoDB.
Stars: ✭ 23 (-87.08%)
RstcheckChecks syntax of reStructuredText and code blocks nested within it
Stars: ✭ 130 (-26.97%)
ElsaEmacs Lisp Static Analyzer
Stars: ✭ 485 (+172.47%)
auraPython source code auditing and static analysis on a large scale
Stars: ✭ 101 (-43.26%)
twlyWanna get DRY? Static analysis tool for detecting repeat code.
Stars: ✭ 42 (-76.4%)
SarkIDAPython Made Easy
Stars: ✭ 477 (+167.98%)
interceptINTERCEPT / Policy as Code Static Analysis Auditing / SAST
Stars: ✭ 54 (-69.66%)
CrepeDatalog compiler in Rust as a procedural macro
Stars: ✭ 175 (-1.69%)
FlowdroidFlowDroid Static Data Flow Tracker
Stars: ✭ 471 (+164.61%)
phpstan.elInterface to PHPStan (PHP static analyzer)
Stars: ✭ 22 (-87.64%)
Mobile Security Framework MobsfMobile Security Framework (MobSF) is an automated, all-in-one mobile application (Android/iOS/Windows) pen-testing, malware analysis and security assessment framework capable of performing static and dynamic analysis.
Stars: ✭ 10,212 (+5637.08%)
go-mndMagic number detector for Go.
Stars: ✭ 153 (-14.04%)
rstaticAn R package for static analysis of R code.
Stars: ✭ 32 (-82.02%)
Ruby Type InferenceDynamic definitions and types provider for ruby static analysis
Stars: ✭ 129 (-27.53%)
SalusSecurity scanner coordinator
Stars: ✭ 441 (+147.75%)
sonar-scalaA free and open-source SonarQube plugin for static code analysis of Scala projects.
Stars: ✭ 113 (-36.52%)
Anchore EngineA service that analyzes docker images and applies user-defined acceptance policies to allow automated container image validation and certification
Stars: ✭ 1,192 (+569.66%)
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 (-62.36%)
GosecGolang security checker
Stars: ✭ 5,694 (+3098.88%)
Ts MorphTypeScript Compiler API wrapper for static analysis and programmatic code changes.
Stars: ✭ 2,384 (+1239.33%)
klaraAutomatic test case generation for python and static analysis library
Stars: ✭ 250 (+40.45%)
PsalmA static analysis tool for finding errors in PHP applications
Stars: ✭ 4,523 (+2441.01%)
nxontologyNetworkX-based Python library for representing ontologies
Stars: ✭ 45 (-74.72%)
RltkRecord Linkage ToolKit (Find and link entities)
Stars: ✭ 71 (-60.11%)
SaferwallA hackable malware sandbox for the 21st Century
Stars: ✭ 419 (+135.39%)
save-cloudCluster-based cloud mechanism for running SAVE framework
Stars: ✭ 30 (-83.15%)
Find Sec BugsThe SpotBugs plugin for security audits of Java web applications and Android applications. (Also work with Kotlin, Groovy and Scala projects)
Stars: ✭ 1,748 (+882.02%)
nestifDetect deeply nested if statements in Go source code
Stars: ✭ 30 (-83.15%)
BineeBinee: binary emulation environment
Stars: ✭ 408 (+129.21%)
Static Analysis⚙️ A curated list of static analysis (SAST) tools for all programming languages, config files, build tools, and more.
Stars: ✭ 9,310 (+5130.34%)
Duplicate-Image-FinderdifPy - Python package for finding duplicate or similar images within folders
Stars: ✭ 187 (+5.06%)
HuskyciPerforming security tests inside your CI
Stars: ✭ 398 (+123.6%)
flextoolC++ compile-time programming (serialization, reflection, code modification, enum to string, better enum, enum to json, extend or parse language, etc.)
Stars: ✭ 32 (-82.02%)
Phpstan Deprecation RulesPHPStan rules for detecting usage of deprecated classes, methods, properties, constants and traits.
Stars: ✭ 160 (-10.11%)
adelaideThe SECBIT Static Analysis Extension to Solidity Compiler
Stars: ✭ 16 (-91.01%)
CredoA static code analysis tool for the Elixir language with a focus on code consistency and teaching.
Stars: ✭ 4,144 (+2228.09%)
vektonnvektonn.github.io/vektonn
Stars: ✭ 109 (-38.76%)
Flake8The official GitHub mirror of https://gitlab.com/pycqa/flake8
Stars: ✭ 1,112 (+524.72%)
EngineDroidefense: Advance Android Malware Analysis Framework
Stars: ✭ 386 (+116.85%)
ZpaA parser and source code analyzer for PL/SQL and Oracle SQL.
Stars: ✭ 124 (-30.34%)
EnlightnYour performance & security consultant, an artisan command away.
Stars: ✭ 378 (+112.36%)
Securify[DEPRECATED] Security Scanner for Ethereum Smart Contracts
Stars: ✭ 177 (-0.56%)
Rubysonaran advanced semantic indexer for Ruby
Stars: ✭ 175 (-1.69%)
JpeekJava Code Static Metrics (Cohesion, Coupling, etc.)
Stars: ✭ 168 (-5.62%)
ApkleaksScanning APK file for URIs, endpoints & secrets.
Stars: ✭ 2,707 (+1420.79%)
I18n TasksManage translation and localization with static analysis, for Ruby i18n
Stars: ✭ 1,748 (+882.02%)
Modern Cpp TemplateA template for modern C++ projects using CMake, Clang-Format, CI, unit testing and more, with support for downstream inclusion.
Stars: ✭ 690 (+287.64%)
averroesJava bytecode generator for sound and precise partial program analysis
Stars: ✭ 19 (-89.33%)