BapBinary Analysis Platform
Stars: ✭ 1,385 (-32.8%)
TritonTriton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64, ARM32 and AArch64 Instructions Set Architecture (ISA), SMT simplification passes, an SMT solver interface and, the last but not least, Python bindings.
Stars: ✭ 1,934 (-6.16%)
PsalmA static analysis tool for finding errors in PHP applications
Stars: ✭ 4,523 (+119.46%)
SonarjsSonarSource Static Analyzer for JavaScript and TypeScript
Stars: ✭ 696 (-66.23%)
NullawayA tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead
Stars: ✭ 3,035 (+47.26%)
PhpinspectionseaA Static Code Analyzer for PHP (a PhpStorm/Idea Plugin)
Stars: ✭ 1,211 (-41.24%)
CrabCoRnucopia of ABstractions: a library for building abstract interpretation-based analyses
Stars: ✭ 102 (-95.05%)
PhpstanPHP Static Analysis Tool - discover bugs in your code without running it!
Stars: ✭ 10,534 (+411.11%)
PhanPhan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
Stars: ✭ 5,194 (+152.01%)
Cfmtcfmt is a tool to wrap Go comments over a certain length to a new line.
Stars: ✭ 28 (-98.64%)
SpotbugsSpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.
Stars: ✭ 2,569 (+24.65%)
BellybuttonCustom Python linting through AST expressions
Stars: ✭ 196 (-90.49%)
Larastan⚗️ Adds code analysis to Laravel improving developer productivity and code quality.
Stars: ✭ 3,554 (+72.44%)
Freki🐺 Malware analysis platform
Stars: ✭ 285 (-86.17%)
TipStatic program analysis for TIP
Stars: ✭ 140 (-93.21%)
tryceratopsA linter to prevent exception handling antipatterns in Python (limited only for those who like dinosaurs).
Stars: ✭ 381 (-81.51%)
iec-checkerStatic analysis of IEC 61131-3 programs
Stars: ✭ 36 (-98.25%)
Phpstan PhpunitPHPUnit extensions and rules for PHPStan
Stars: ✭ 247 (-88.02%)
klaraAutomatic test case generation for python and static analysis library
Stars: ✭ 250 (-87.87%)
auraPython source code auditing and static analysis on a large scale
Stars: ✭ 101 (-95.1%)
nakedretnakedret is a Go static analysis tool to find naked returns in functions greater than a specified function length.
Stars: ✭ 82 (-96.02%)
unimportunimport is a Go static analysis tool to find unnecessary import aliases.
Stars: ✭ 64 (-96.89%)
phan-taint-check-pluginGithub mirror of "mediawiki/tools/phan/SecurityCheckPlugin" - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for contributing)
Stars: ✭ 21 (-98.98%)
analysis-modelA library to read static analysis reports into a Java object model
Stars: ✭ 74 (-96.41%)
analysis-netStatic analysis framework for .NET programs.
Stars: ✭ 19 (-99.08%)
Perl CriticThe leading static analyzer for Perl. Configurable, extensible, powerful.
Stars: ✭ 149 (-92.77%)
progge.rsProgram analysis playground for a simple, imperative language
Stars: ✭ 29 (-98.59%)
qodana-action⚙️ Scan your Java, Kotlin, PHP, Python, JavaScript, TypeScript projects at GitHub with Qodana
Stars: ✭ 112 (-94.57%)
SeahornSeaHorn Verification Framework
Stars: ✭ 270 (-86.9%)
static-code-analysis-pluginA plugin to simplify Static Code Analysis on Gradle. Not restricted to, but specially useful, in Android projects, by making sure all analysis can access the SDK classes.
Stars: ✭ 36 (-98.25%)
Phpdoc ParserNext-gen phpDoc parser with support for intersection types and generics
Stars: ✭ 569 (-72.39%)
IkosStatic analyzer for C/C++ based on the theory of Abstract Interpretation.
Stars: ✭ 1,368 (-33.62%)
AbaplintStandalone linter for ABAP
Stars: ✭ 111 (-94.61%)
InferA static analyzer for Java, C, C++, and Objective-C
Stars: ✭ 12,823 (+522.17%)
WpbulletA static code analysis for WordPress (and PHP)
Stars: ✭ 148 (-92.82%)
Umbrella"A collection of functional programming libraries that can be composed together.
Unlike a framework, thi.ng is a suite of instruments and you (the user) must be
the composer of. Geared towards versatility, not any specific type of music."
— @loganpowell via Twitter
Stars: ✭ 2,186 (+6.07%)
Docker Flask Celery RedisDocker-Compose template for orchestrating a Flask app with a Celery queue using Redis
Stars: ✭ 165 (-91.99%)
Dash Flask LoginImplementation of Flask-login on top of Dash.
Stars: ✭ 158 (-92.33%)
RubocopA Ruby static code analyzer and formatter, based on the community Ruby style guide.
Stars: ✭ 11,593 (+462.49%)
PervanePlain text file based note taking and knowledge base building tool, markdown editor, simple browser IDE.
Stars: ✭ 159 (-92.29%)
Proxy poolPython爬虫代理IP池(proxy pool)
Stars: ✭ 13,964 (+577.54%)
Upload DemoUploading a large file by fragmentation, powered by Flask and WebUploader.
Stars: ✭ 144 (-93.01%)
Mybolgpython+flask做的一个小blog
Stars: ✭ 142 (-93.11%)
Bytecode ViewerA Java 8+ Jar & Android APK Reverse Engineering Suite (Decompiler, Editor, Debugger & More)
Stars: ✭ 12,606 (+511.64%)
DinoDistributed notifications using websockets
Stars: ✭ 142 (-93.11%)
Js Sql ParserSQL(select) parser written with jison. parse SQL into abstract syntax tree(AST) and stringify back to SQL. sql grammar follows https://dev.mysql.com/doc/refman/5.7/en/select.html
Stars: ✭ 141 (-93.16%)
FluskBoilerplate API on how to structure big Flask applications (includes SQLAlchemy, Docker, nginx)
Stars: ✭ 165 (-91.99%)
ZappaServerless Python
Stars: ✭ 11,859 (+475.4%)
Tedivms FlaskFlask starter app with celery, bootstrap, and docker environment
Stars: ✭ 142 (-93.11%)
SootSoot - A Java optimization framework
Stars: ✭ 2,049 (-0.58%)
PhpmdPHPMD 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.
Stars: ✭ 1,992 (-3.35%)
Nn dataflowExplore the energy-efficient dataflow scheduling for neural networks.
Stars: ✭ 141 (-93.16%)