JaadasJoint Advanced Defect assEsment for android applications
Stars: ✭ 304 (+112.59%)
BsodsurvivorThis project aims to facilitate debugging a kernel driver in windows by adding support for a code change on the fly without reboot/unload, and more!
Stars: ✭ 122 (-14.69%)
Reviewdog🐶 Automated code review tool integrated with any code analysis tools regardless of programming language
Stars: ✭ 4,541 (+3075.52%)
Speedy.jsAccelerate JavaScript Applications by Compiling to WebAssembly
Stars: ✭ 300 (+109.79%)
Jpacman FrameworkPacman-inspired game, for teaching testing purposes.
Stars: ✭ 95 (-33.57%)
ZionA statically-typed strictly-evaluated garbage-collected readable programming language.
Stars: ✭ 33 (-76.92%)
TipStatic program analysis for TIP
Stars: ✭ 140 (-2.1%)
Freki🐺 Malware analysis platform
Stars: ✭ 285 (+99.3%)
Cfmtcfmt is a tool to wrap Go comments over a certain length to a new line.
Stars: ✭ 28 (-80.42%)
NullawayA tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead
Stars: ✭ 3,035 (+2022.38%)
FlowdroidFlowDroid Static Data Flow Tracker
Stars: ✭ 471 (+229.37%)
ChronosChronos - A static race detector for the go language
Stars: ✭ 272 (+90.21%)
VoltaCompiler for the Volt Programming Language
Stars: ✭ 118 (-17.48%)
Lycaprogramming language compiler w/ llvm
Stars: ✭ 9 (-93.71%)
WhackThe Whack Programming Language
Stars: ✭ 61 (-57.34%)
Sonar DotnetCode analyzer for C# and VB.NET projects https://redirect.sonarsource.com/plugins/vbnet.html
Stars: ✭ 466 (+225.87%)
GoreporterA Golang tool that does static analysis, unit testing, code review and generate code quality report.
Stars: ✭ 2,943 (+1958.04%)
AmdhAndroid Mobile Device Hardening
Stars: ✭ 95 (-33.57%)
PhpdeprecationdetectorAnalyzer of PHP code to search issues with deprecated functionality in newer interpreter versions.
Stars: ✭ 263 (+83.92%)
LlhttpPort of http_parser to llparse
Stars: ✭ 841 (+488.11%)
KraneKubernetes RBAC static Analysis & visualisation tool
Stars: ✭ 254 (+77.62%)
RstcheckChecks syntax of reStructuredText and code blocks nested within it
Stars: ✭ 130 (-9.09%)
OlifantA simple programming language targeting LLVM
Stars: ✭ 58 (-59.44%)
programanalysiscourseCOM S 413/513 and CPR E 513 Foundations and Applications of Program Analysis @ Iowa State University
Stars: ✭ 19 (-86.71%)
ExposeA Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modelling of strings and regular expressions.
Stars: ✭ 94 (-34.27%)
cppcheck-configsConfiguration files that allow cppcheck to provide better static analysis results
Stars: ✭ 15 (-89.51%)
LdcThe LLVM-based D Compiler.
Stars: ✭ 937 (+555.24%)
freki🐺 Malware analysis platform
Stars: ✭ 327 (+128.67%)
Config LintCommand line tool to validate configuration files
Stars: ✭ 118 (-17.48%)
flycheck-elsaFlycheck integration for Elsa---Emacs lisp static analyzer
Stars: ✭ 25 (-82.52%)
Sonarondocker🐳 📡 Docker way of running SonarQube + any DB
Stars: ✭ 25 (-82.52%)
blSimple imperative programming language created for fun.
Stars: ✭ 57 (-60.14%)
libebpfExperiemental userspace eBPF library
Stars: ✭ 14 (-90.21%)
AvrdEmbedded Systems in D - Port of avr-libc headers and most avr-gcc processor defines
Stars: ✭ 17 (-88.11%)
MalScanA Simple PE File Heuristics Scanners
Stars: ✭ 41 (-71.33%)
JucippA lightweight & cross-platform IDE supporting the most recent C++ standards. This project has moved to https://gitlab.com/cppit/jucipp.
Stars: ✭ 887 (+520.28%)
qccqcc is a small toy C compiler
Stars: ✭ 37 (-74.13%)
MbaMalware Behavior Analyzer
Stars: ✭ 125 (-12.59%)
Zapcczapcc is a caching C++ compiler based on clang, designed to perform faster compilations
Stars: ✭ 1,109 (+675.52%)
Staticscript🚀 TypeScript compiler on top of TypeScript as frontend and LLVM as backend
Stars: ✭ 447 (+212.59%)
dmr cdmr_C is a C parser and JIT compiler with LLVM, Eclipse OMR and NanoJIT backends
Stars: ✭ 45 (-68.53%)
GrinGRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
Stars: ✭ 834 (+483.22%)
llvm-svnArch Linux PKGBUILD for LLVM, Clang et al. (latest SVN code)
Stars: ✭ 18 (-87.41%)
Setup PhpGitHub action to set up PHP with extensions, php.ini configuration, coverage drivers, and various tools.
Stars: ✭ 1,945 (+1260.14%)
Awesome LintersA community-driven list of awesome linters.
Stars: ✭ 439 (+206.99%)
SobelowSecurity-focused static analysis for the Phoenix Framework
Stars: ✭ 1,103 (+671.33%)
SalusSecurity scanner coordinator
Stars: ✭ 441 (+208.39%)
CppinsightsC++ Insights - See your source code with the eyes of a compiler
Stars: ✭ 1,382 (+866.43%)
CombInteractive code auditing and grep tool in Emacs Lisp
Stars: ✭ 58 (-59.44%)