PylintIt's not just a linter that annoys you!
Stars: ✭ 3,733 (+2405.37%)
Llvm MirrorNOTE: The LLVM project now operates official Git mirrors as well: http://llvm.org/docs/GettingStarted.html#git-mirror -- An automated mirror of llvm/trunk from LLVM's SVN. Updates hourly. Release branches and tags are tracked manually. This mirror is *not* commit-ID compatible with the official Git mirrors.
Stars: ✭ 122 (-18.12%)
PytypeA static type analyzer for Python code
Stars: ✭ 3,545 (+2279.19%)
Phpstan DrupalExtension for PHPStan to allow analysis of Drupal code.
Stars: ✭ 97 (-34.9%)
JaadasJoint Advanced Defect assEsment for android applications
Stars: ✭ 304 (+104.03%)
Reviewdog🐶 Automated code review tool integrated with any code analysis tools regardless of programming language
Stars: ✭ 4,541 (+2947.65%)
ElsaEmacs Lisp Static Analyzer
Stars: ✭ 485 (+225.5%)
Speedy.jsAccelerate JavaScript Applications by Compiling to WebAssembly
Stars: ✭ 300 (+101.34%)
ZionA statically-typed strictly-evaluated garbage-collected readable programming language.
Stars: ✭ 33 (-77.85%)
XchainA cross compiler toolchain targeting macOS/iOS/etc.
Stars: ✭ 95 (-36.24%)
MedusaAn open source interactive disassembler
Stars: ✭ 946 (+534.9%)
Freki🐺 Malware analysis platform
Stars: ✭ 285 (+91.28%)
Llvm Pass TutorialA step-by-step tutorial for building an LLVM sample pass
Stars: ✭ 122 (-18.12%)
NullawayA tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead
Stars: ✭ 3,035 (+1936.91%)
Befa LibraryHigh-level library for executable binary file analysis
Stars: ✭ 12 (-91.95%)
LinterStatic Analysis Compiler Plugin for Scala
Stars: ✭ 273 (+83.22%)
Termux Ndkandroid-ndk for termux
Stars: ✭ 91 (-38.93%)
ChronosChronos - A static race detector for the go language
Stars: ✭ 272 (+82.55%)
PhpqaDocker image that provides static analysis tools for PHP
Stars: ✭ 853 (+472.48%)
SarkIDAPython Made Easy
Stars: ✭ 477 (+220.13%)
GoreporterA Golang tool that does static analysis, unit testing, code review and generate code quality report.
Stars: ✭ 2,943 (+1875.17%)
DatunerDATuner Repository
Stars: ✭ 8 (-94.63%)
PhpdeprecationdetectorAnalyzer of PHP code to search issues with deprecated functionality in newer interpreter versions.
Stars: ✭ 263 (+76.51%)
Llvm Sys.rsRust bindings to LLVM. (Mirror of https://gitlab.com/taricorp/llvm-sys.rs/)
Stars: ✭ 93 (-37.58%)
KraneKubernetes RBAC static Analysis & visualisation tool
Stars: ✭ 254 (+70.47%)
Cfla Compileable statically typed Functional programming Language
Stars: ✭ 7 (-95.3%)
OlifantA simple programming language targeting LLVM
Stars: ✭ 58 (-61.07%)
ReadingA list of computer-science readings I recommend
Stars: ✭ 1,919 (+1187.92%)
cppcheck-configsConfiguration files that allow cppcheck to provide better static analysis results
Stars: ✭ 15 (-89.93%)
smooshThe Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
Stars: ✭ 86 (-42.28%)
Llvm TutorA collection of out-of-tree LLVM passes for teaching and learning
Stars: ✭ 941 (+531.54%)
malware-s2eCode for my blog post on using S2E for malware analysis
Stars: ✭ 21 (-85.91%)
flycheck-elsaFlycheck integration for Elsa---Emacs lisp static analyzer
Stars: ✭ 25 (-83.22%)
Wasabi AegYet another implementation of AEG (Automated Exploit Generation) using symbolic execution engine Triton.
Stars: ✭ 23 (-84.56%)
blSimple imperative programming language created for fun.
Stars: ✭ 57 (-61.74%)
FlorentinoFast Static File Analysis Framework
Stars: ✭ 92 (-38.26%)
AvrdEmbedded Systems in D - Port of avr-libc headers and most avr-gcc processor defines
Stars: ✭ 17 (-88.59%)
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 (+1073.15%)
Sast ScanFully open-source SAST scanner supporting a range of languages and frameworks. Integrates with major CI pipelines and IDE such as Azure DevOps, Google CloudBuild, VS Code and Visual Studio. No server required!
Stars: ✭ 104 (-30.2%)
Flake8The official GitHub mirror of https://gitlab.com/pycqa/flake8
Stars: ✭ 1,112 (+646.31%)
LlvmProject moved to: https://github.com/llvm/llvm-project
Stars: ✭ 4,461 (+2893.96%)
Dogma🔐 A code style linter for Elixir
Stars: ✭ 472 (+216.78%)
WhackThe Whack Programming Language
Stars: ✭ 61 (-59.06%)
FlowdroidFlowDroid Static Data Flow Tracker
Stars: ✭ 471 (+216.11%)
Sonar DotnetCode analyzer for C# and VB.NET projects https://redirect.sonarsource.com/plugins/vbnet.html
Stars: ✭ 466 (+212.75%)
S2eS2E: A platform for multi-path program analysis with selective symbolic execution.
Stars: ✭ 102 (-31.54%)
Zapcczapcc is a caching C++ compiler based on clang, designed to perform faster compilations
Stars: ✭ 1,109 (+644.3%)
Staticscript🚀 TypeScript compiler on top of TypeScript as frontend and LLVM as backend
Stars: ✭ 447 (+200%)