CfripperLibrary and CLI tool for analysing CloudFormation templates and check them for security compliance.
Stars: ✭ 265 (-47.32%)
PmdAn extensible multilanguage static code analyzer.
Stars: ✭ 3,667 (+629.03%)
CredoA static code analysis tool for the Elixir language with a focus on code consistency and teaching.
Stars: ✭ 4,144 (+723.86%)
DlintDlint is a tool for encouraging best coding practices and helping ensure we're writing secure Python code.
Stars: ✭ 320 (-36.38%)
GosecGolang security checker
Stars: ✭ 5,694 (+1032.01%)
HorusecHorusec is an open source tool that improves identification of vulnerabilities in your project with just one command.
Stars: ✭ 311 (-38.17%)
RapidusA toy JavaScript engine implemented in Rust from scratch
Stars: ✭ 390 (-22.47%)
FalconBinary Analysis Framework in Rust
Stars: ✭ 307 (-38.97%)
FlowdroidFlowDroid Static Data Flow Tracker
Stars: ✭ 471 (-6.36%)
Go ToolsStaticcheck - The advanced Go linter
Stars: ✭ 4,317 (+758.25%)
JaadasJoint Advanced Defect assEsment for android applications
Stars: ✭ 304 (-39.56%)
EnzymeHigh-performance automatic differentiation of LLVM.
Stars: ✭ 418 (-16.9%)
Reviewdog🐶 Automated code review tool integrated with any code analysis tools regardless of programming language
Stars: ✭ 4,541 (+802.78%)
NlvmLLVM-based compiler for the Nim language
Stars: ✭ 380 (-24.45%)
Speedy.jsAccelerate JavaScript Applications by Compiling to WebAssembly
Stars: ✭ 300 (-40.36%)
ElsaEmacs Lisp Static Analyzer
Stars: ✭ 485 (-3.58%)
Cwe checkercwe_checker finds vulnerable patterns in binary executables
Stars: ✭ 372 (-26.04%)
LlvmIntel staging area for llvm.org contribution. Home for Intel LLVM-based projects.
Stars: ✭ 424 (-15.71%)
Freki🐺 Malware analysis platform
Stars: ✭ 285 (-43.34%)
GrypeA vulnerability scanner for container images and filesystems
Stars: ✭ 362 (-28.03%)
NullawayA tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead
Stars: ✭ 3,035 (+503.38%)
CodegenExperimental wrapper over LLVM for generating and compiling code at run-time.
Stars: ✭ 362 (-28.03%)
ChronosChronos - A static race detector for the go language
Stars: ✭ 272 (-45.92%)
Preallocprealloc is a Go static analysis tool to find slice declarations that could potentially be preallocated.
Stars: ✭ 419 (-16.7%)
Easy Just In TimeLLVM Optimization to extract a function, embedded in its intermediate representation in the binary, and execute it using the LLVM Just-In-Time compiler.
Stars: ✭ 361 (-28.23%)
GoreporterA Golang tool that does static analysis, unit testing, code review and generate code quality report.
Stars: ✭ 2,943 (+485.09%)
CirctCircuit IR Compilers and Tools
Stars: ✭ 491 (-2.39%)
PhpdeprecationdetectorAnalyzer of PHP code to search issues with deprecated functionality in newer interpreter versions.
Stars: ✭ 263 (-47.71%)
Clang Tools Extra Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
Stars: ✭ 358 (-28.83%)
Deepcvendor independent deep learning library, compiler and inference framework microcomputers and micro-controllers
Stars: ✭ 260 (-48.31%)
KraneKubernetes RBAC static Analysis & visualisation tool
Stars: ✭ 254 (-49.5%)
Scala NativeYour favorite language gets closer to bare metal.
Stars: ✭ 4,053 (+705.77%)
DetektStatic code analysis for Kotlin
Stars: ✭ 4,169 (+728.83%)
mobsfscanmobsfscan is a static analysis tool that can find insecure code patterns in your Android and iOS source code. Supports Java, Kotlin, Swift, and Objective C Code. mobsfscan uses MobSF static analysis rules and is powered by semgrep and libsast pattern matcher.
Stars: ✭ 148 (-70.58%)
OlifantA simple programming language targeting LLVM
Stars: ✭ 58 (-88.47%)
ReekCode smell detector for Ruby
Stars: ✭ 3,693 (+634.19%)
programanalysiscourseCOM S 413/513 and CPR E 513 Foundations and Applications of Program Analysis @ Iowa State University
Stars: ✭ 19 (-96.22%)
Awesome LintersA community-driven list of awesome linters.
Stars: ✭ 439 (-12.72%)
SqlvetGo fearless SQL. Sqlvet performs static analysis on raw SQL queries in your Go code base.
Stars: ✭ 410 (-18.49%)
ExakatThe Exakat Engine : smart static analysis for PHP
Stars: ✭ 346 (-31.21%)
cppcheck-configsConfiguration files that allow cppcheck to provide better static analysis results
Stars: ✭ 15 (-97.02%)
DecompComponents of a decompilation pipeline.
Stars: ✭ 343 (-31.81%)
unimportA linter, formatter for finding and removing unused import statements.
Stars: ✭ 119 (-76.34%)
freki🐺 Malware analysis platform
Stars: ✭ 327 (-34.99%)
BineeBinee: binary emulation environment
Stars: ✭ 408 (-18.89%)
CodecompassCodeCompass is a software comprehension tool for large scale software written in C/C++ and Java
Stars: ✭ 342 (-32.01%)
Ruscall自作言語処理系のコンパイラ制作
Stars: ✭ 41 (-91.85%)
flycheck-elsaFlycheck integration for Elsa---Emacs lisp static analyzer
Stars: ✭ 25 (-95.03%)
Wasi SdkWASI-enabled WebAssembly C/C++ toolchain
Stars: ✭ 342 (-32.01%)
KRFAnalysisCollection of LLVM passes and triage tools for use with the KRF fuzzer
Stars: ✭ 26 (-94.83%)
blSimple imperative programming language created for fun.
Stars: ✭ 57 (-88.67%)
LlvmProject moved to: https://github.com/llvm/llvm-project
Stars: ✭ 4,461 (+786.88%)
SalusSecurity scanner coordinator
Stars: ✭ 441 (-12.33%)
BytecoderRich Domain Model for JVM Bytecode and Framework to interpret and transpile it.
Stars: ✭ 401 (-20.28%)
Cppcheckstatic analysis of C/C++ code
Stars: ✭ 3,845 (+664.41%)