Dagdaa tool to perform static analysis of known vulnerabilities, trojans, viruses, malware & other malicious threats in docker images/containers and to monitor the docker daemon and running docker containers for detecting anomalous activities
Stars: ✭ 820 (+230.65%)
Cfn nagLinting tool for CloudFormation templates
Stars: ✭ 808 (+225.81%)
Awesome Go LintersA curated list of awesome Go linters. More than 60 linters and tools!
Stars: ✭ 801 (+222.98%)
SonartsStatic code analyzer for TypeScript
Stars: ✭ 776 (+212.9%)
SlitherStatic Analyzer for Solidity
Stars: ✭ 759 (+206.05%)
ZpaA parser and source code analyzer for PL/SQL and Oracle SQL.
Stars: ✭ 124 (-50%)
Npgsql.fsharp.analyzerF# analyzer that provides embedded SQL syntax analysis, type-checking for parameters and result sets and nullable column detection when writing queries using Npgsql.FSharp.
Stars: ✭ 103 (-58.47%)
Awesome LintersA community-driven list of awesome linters.
Stars: ✭ 439 (+77.02%)
CrabCoRnucopia of ABstractions: a library for building abstract interpretation-based analyses
Stars: ✭ 102 (-58.87%)
Checkstyle IdeaCheckStyle plug-in for IntelliJ IDEA
Stars: ✭ 738 (+197.58%)
SyftCLI tool and library for generating a Software Bill of Materials from container images and filesystems
Stars: ✭ 196 (-20.97%)
SouffleSoufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Stars: ✭ 426 (+71.77%)
IkosStatic analyzer for C/C++ based on the theory of Abstract Interpretation.
Stars: ✭ 1,368 (+451.61%)
ApkleaksScanning APK file for URIs, endpoints & secrets.
Stars: ✭ 2,707 (+991.53%)
Delivery Pipeline PluginJenkins plugin for pipeline visualisation, perfect for Continuous Delivery
Stars: ✭ 122 (-50.81%)
SaferwallA hackable malware sandbox for the 21st Century
Stars: ✭ 419 (+68.95%)
SquealerTelling tales on you for leaking secrets!
Stars: ✭ 97 (-60.89%)
D ScannerSwiss-army knife for D source code
Stars: ✭ 221 (-10.89%)
Go RuleguardDefine and run pattern-based custom linting rules.
Stars: ✭ 402 (+62.1%)
Phpstan DrupalExtension for PHPStan to allow analysis of Drupal code.
Stars: ✭ 97 (-60.89%)
BrakemanA static analysis security vulnerability scanner for Ruby on Rails applications
Stars: ✭ 6,281 (+2432.66%)
ApplicationinspectorA source code analyzer built for surfacing features of interest and other characteristics to answer the question 'What's in the code?' quickly using static analysis with a json based rules engine. Ideal for scanning components before use or detecting feature level changes.
Stars: ✭ 3,873 (+1461.69%)
FeramFeram finds & fixes bugs in your commits
Stars: ✭ 122 (-50.81%)
Tslint🚦 An extensible linter for the TypeScript language
Stars: ✭ 5,922 (+2287.9%)
AmdhAndroid Mobile Device Hardening
Stars: ✭ 95 (-61.69%)
TajsType Analyzer for JavaScript
Stars: ✭ 150 (-39.52%)
JpeekJava Code Static Metrics (Cohesion, Coupling, etc.)
Stars: ✭ 168 (-32.26%)
ReadingA list of computer-science readings I recommend
Stars: ✭ 1,919 (+673.79%)
StacoanStaCoAn is a crossplatform tool which aids developers, bugbounty hunters and ethical hackers performing static code analysis on mobile applications.
Stars: ✭ 707 (+185.08%)
Dss📄 Documented Style Sheets Parser
Stars: ✭ 375 (+51.21%)
Standard🌟 JavaScript Style Guide, with linter & automatic code fixer
Stars: ✭ 26,433 (+10558.47%)
Clang Tools Extra Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
Stars: ✭ 358 (+44.35%)
FlorentinoFast Static File Analysis Framework
Stars: ✭ 92 (-62.9%)
ReekCode smell detector for Ruby
Stars: ✭ 3,693 (+1389.11%)
Ts MorphTypeScript Compiler API wrapper for static analysis and programmatic code changes.
Stars: ✭ 2,384 (+861.29%)
ExakatThe Exakat Engine : smart static analysis for PHP
Stars: ✭ 346 (+39.52%)
Sea DsaA new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
Stars: ✭ 90 (-63.71%)
Cppcheckstatic analysis of C/C++ code
Stars: ✭ 3,845 (+1450.4%)
Woke✊ Detect non-inclusive language in your source code.
Stars: ✭ 190 (-23.39%)
R2frida WikiThis repo aims at providing practical examples on how to use r2frida
Stars: ✭ 168 (-32.26%)
GrepbugsA regex based source code scanner.
Stars: ✭ 118 (-52.42%)
Modern Cpp TemplateA template for modern C++ projects using CMake, Clang-Format, CI, unit testing and more, with support for downstream inclusion.
Stars: ✭ 690 (+178.23%)
WpbulletA static code analysis for WordPress (and PHP)
Stars: ✭ 148 (-40.32%)
SonarqubeContinuous Inspection
Stars: ✭ 6,365 (+2466.53%)
Argus SafArgus static analysis framework
Stars: ✭ 117 (-52.82%)
Error ProneCatch common Java mistakes as compile-time errors
Stars: ✭ 5,799 (+2238.31%)
JackhammerJackhammer - One Security vulnerability assessment/management tool to solve all the security team problems.
Stars: ✭ 633 (+155.24%)
TwigcsThe missing checkstyle for twig!
Stars: ✭ 166 (-33.06%)