IkosStatic analyzer for C/C++ based on the theory of Abstract Interpretation.
Stars: ✭ 1,368 (+465.29%)
BapBinary Analysis Platform
Stars: ✭ 1,385 (+472.31%)
UnimportA linter, formatter for finding and removing unused import statements.
Stars: ✭ 96 (-60.33%)
S2eS2E: A platform for multi-path program analysis with selective symbolic execution.
Stars: ✭ 102 (-57.85%)
InsiderStatic Application Security Testing (SAST) engine focused on covering the OWASP Top 10, to make source code analysis to find vulnerabilities right in the source code, focused on a agile and easy to implement software inside your DevOps pipeline. Support the following technologies: Java (Maven and Android), Kotlin (Android), Swift (iOS), .NET Full Framework, C#, and Javascript (Node.js).
Stars: ✭ 216 (-10.74%)
SysSys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
Stars: ✭ 149 (-38.43%)
GrepbugsA regex based source code scanner.
Stars: ✭ 118 (-51.24%)
AbaplintStandalone linter for ABAP
Stars: ✭ 111 (-54.13%)
ZpaA parser and source code analyzer for PL/SQL and Oracle SQL.
Stars: ✭ 124 (-48.76%)
Dependency CruiserValidate and visualize dependencies. Your rules. JavaScript, TypeScript, CoffeeScript. ES6, CommonJS, AMD.
Stars: ✭ 2,326 (+861.16%)
ClangkitClangKit provides an Objective-C frontend to LibClang. Source tokenization, diagnostics and fix-its are actually implemented.
Stars: ✭ 330 (+36.36%)
Dotnet Assembly GrapherReverse engineering and software quality assurance tool for .NET assemblies
Stars: ✭ 21 (-91.32%)
Sea DsaA new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
Stars: ✭ 90 (-62.81%)
Analyzer🔍 Offline Analyzer for extracting features, artifacts and IoCs from Windows, Linux, Android, iPhone, Blackberry, macOS binaries, emails and more
Stars: ✭ 108 (-55.37%)
Njsscannjsscan is a semantic aware SAST tool that can find insecure code patterns in your Node.js applications.
Stars: ✭ 128 (-47.11%)
Phpstan Deprecation RulesPHPStan rules for detecting usage of deprecated classes, methods, properties, constants and traits.
Stars: ✭ 160 (-33.88%)
RexdepRoughly extract dependency relation from source code
Stars: ✭ 160 (-33.88%)
ClingThe cling C++ interpreter
Stars: ✭ 2,322 (+859.5%)
JitfromscratchExample project from my talks in the LLVM Social Berlin and C++ User Group
Stars: ✭ 158 (-34.71%)
OmniscidbOmniSciDB (formerly MapD Core)
Stars: ✭ 2,601 (+974.79%)
SyftCLI tool and library for generating a Software Bill of Materials from container images and filesystems
Stars: ✭ 196 (-19.01%)
Open SynthesisOpen platform for CIA-style intelligence analysis
Stars: ✭ 158 (-34.71%)
AlgorithmictradingThis repository contains three ways to obtain arbitrage which are Dual Listing, Options and Statistical Arbitrage. These are projects in collaboration with Optiver and have been peer-reviewed by staff members of Optiver.
Stars: ✭ 157 (-35.12%)
ElfparserCross Platform ELF analysis
Stars: ✭ 228 (-5.79%)
D ScannerSwiss-army knife for D source code
Stars: ✭ 221 (-8.68%)
BellybuttonCustom Python linting through AST expressions
Stars: ✭ 196 (-19.01%)
Bytecode ViewerA Java 8+ Jar & Android APK Reverse Engineering Suite (Decompiler, Editor, Debugger & More)
Stars: ✭ 12,606 (+5109.09%)
Rhine🔬 a C++ compiler middle-end, using an LLVM backend
Stars: ✭ 157 (-35.12%)
ReplicaGhidra Analysis Enhancer 🐉
Stars: ✭ 194 (-19.83%)
SiemSIEM Tactics, Techiques, and Procedures
Stars: ✭ 157 (-35.12%)
Llvm[MERGED UPSTREAM] AVR backend for the LLVM compiler library
Stars: ✭ 222 (-8.26%)
DiktatStrict coding standard for Kotlin and a custom set of rules for detecting code smells, code style issues and bugs
Stars: ✭ 196 (-19.01%)
Pastas🍝 Pastas is an open-source Python framework for the analysis of hydrological time series.
Stars: ✭ 155 (-35.95%)
LlvmFork of the LLVM Compiler Infrastructure
Stars: ✭ 155 (-35.95%)
CheckovPrevent cloud misconfigurations during build-time for Terraform, Cloudformation, Kubernetes, Serverless framework and other infrastructure-as-code-languages with Checkov by Bridgecrew.
Stars: ✭ 3,572 (+1376.03%)
Tidyversity🎓 Tidy tools for academics
Stars: ✭ 155 (-35.95%)
Walkmod Corewalkmod: an open source tool to fix coding style issues
Stars: ✭ 153 (-36.78%)
Ts LlvmTypeScript to LLVM compiler (abandoned)
Stars: ✭ 230 (-4.96%)
Protoc Gen LintA plug-in for Google's Protocol Buffers (protobufs) compiler to lint .proto files for style violations.
Stars: ✭ 221 (-8.68%)
AerosandboxAircraft design optimization made fast through modern automatic differentiation. Plug-and-play analysis tools for aerodynamics, propulsion, structures, trajectory design, and much, much more.
Stars: ✭ 193 (-20.25%)
ApkleaksScanning APK file for URIs, endpoints & secrets.
Stars: ✭ 2,707 (+1018.6%)
I18n ExtractManage localization with static analysis. 🔍
Stars: ✭ 152 (-37.19%)
TimemoryModular C++ Toolkit for Performance Analysis and Logging. Profiling API and Tools for C, C++, CUDA, Fortran, and Python. The C++ template API is essentially a framework to creating tools: it is designed to provide a unifying interface for recording various performance measurements alongside data logging and interfaces to other tools.
Stars: ✭ 192 (-20.66%)
NgastParser for Angular projects.
Stars: ✭ 152 (-37.19%)
QafQuality Automation Framework for web, mobileweb, mobile native and rest web-service using Selenium, webdrier, TestNG and Java Jersey
Stars: ✭ 150 (-38.02%)
TfsecSecurity scanner for your Terraform code
Stars: ✭ 3,622 (+1396.69%)
QilingQiling Advanced Binary Emulation Framework
Stars: ✭ 2,816 (+1063.64%)
AudioowlFast and simple music and audio analysis using RNN in Python 🕵️♀️ 🥁
Stars: ✭ 151 (-37.6%)
Ts MorphTypeScript Compiler API wrapper for static analysis and programmatic code changes.
Stars: ✭ 2,384 (+885.12%)
Module Linkerbrowse modules by clicking directly on "import" statements on GitHub ⛺
Stars: ✭ 229 (-5.37%)
Woke✊ Detect non-inclusive language in your source code.
Stars: ✭ 190 (-21.49%)
Memflowphysical memory introspection framework
Stars: ✭ 149 (-38.43%)
ReoptA tool for analyzing x86-64 binaries.
Stars: ✭ 190 (-21.49%)