development/tools/analysis

Fork of vera using python3.10

Greps through binaries from various OSs and architectures, and colors them

Static analysis security scanner for Ruby on Rails

Code coverage tool for Rust projects

C and C++ Code Counter

Static code analysis tool for infrastructure-as-code

Checks Java source against a coding standard

Clang Static Analyzer

Qt-oriented static code analyzer based on the Clang framework

C preprocessor chainsaw

Semantic code analysis engine

Coverity Scan build tools

Static code checker for C++

Free and Open Source Reverse Engineering Platform powered by rizin

Free and Open Source Reverse Engineering Platform powered by rizin

Tool to check linux kernel source dump for known CVEs

Lightning-fast linter for .env files

Code coverage tool for Java

ERESI Reverse Engineering Software Interface

Ethereum EVM disassembler

Static analysis tool to find bugs in Java programs automatically

Static type checker for JavaScript

Extensible and collaborative platform dedicated to source-code analysis of C software

MacOS and Linux Disassembler

GUI for Linux perf

Static analyzer for C/C++ based on the theory of Abstract Interpretation

Analyze #includes in C/C++ source files with clang

Free code coverage library for Java

Traverses Java class file directories and generates design quality metrics for each Java package

Simple decompiler for Rizin

Code coverage tester for compiled programs, Python scripts and shell scripts

Code coverage tool that enhances GNU gcov

Creates a graph of dependencies from GNU-Make; Output is a graphiz-dot file or a Gexf-XML file

Tool that visualizes massif data generated by valgrind

Linter for Nix(pkgs), based on hnix

Linter for Nix(pkgs), based on hnix

OpenCL device simulator and debugger

Libre cross-platform disassembler

Tool for making call graphs of C programmes

Full-featured, open source, multiplatform command line toolkit to work with PE (Portable Executabl…

Extensible cross-language static code analyzer

Qt GUI to visualize profiling data

UNIX-like reverse engineering framework and command-line toolset

Automatic test generation for Java

Retargetable machine-code decompiler based on LLVM

UNIX-like reverse engineering framework and command-line toolset

Rizin FLIRT Signature Database

Records nondeterministic executions and debugs them deterministically

Records nondeterministic executions and debugs them deterministically

Kernel module supporting the rr debugger on (some) AMD Zen-based CPUs

Kernel module supporting the rr debugger on (some) AMD Zen-based CPUs

Kernel module supporting the rr debugger on (some) AMD Zen-based CPUs

Kernel module supporting the rr debugger on (some) AMD Zen-based CPUs

Kernel module supporting the rr debugger on (some) AMD Zen-based CPUs

Kernel module supporting the rr debugger on (some) AMD Zen-based CPUs

Kernel module supporting the rr debugger on (some) AMD Zen-based CPUs

Kernel module supporting the rr debugger on (some) AMD Zen-based CPUs

Kernel module supporting the rr debugger on (some) AMD Zen-based CPUs

Kernel module supporting the rr debugger on (some) AMD Zen-based CPUs

Kernel module supporting the rr debugger on (some) AMD Zen-based CPUs

Kernel module supporting the rr debugger on (some) AMD Zen-based CPUs

Kernel module supporting the rr debugger on (some) AMD Zen-based CPUs

Kernel module supporting the rr debugger on (some) AMD Zen-based CPUs

Kernel module supporting the rr debugger on (some) AMD Zen-based CPUs

Kernel module supporting the rr debugger on (some) AMD Zen-based CPUs

Kernel module supporting the rr debugger on (some) AMD Zen-based CPUs

Kernel module supporting the rr debugger on (some) AMD Zen-based CPUs

Kernel module supporting the rr debugger on (some) AMD Zen-based CPUs

Kernel module supporting the rr debugger on (some) AMD Zen-based CPUs

Deep ghidra decompiler and sleigh disassembler integration for rizin

Deep ghidra decompiler and sleigh disassembler integration for rizin

Native code to C/C++ decompiler

Semantic parser for C

Formal verification tool for distributed software systems

Annotation-assisted lightweight static analyzer for C

SystemVerilog linter

Verification script generator for Spin

Terraform linter focused on possible errors, best practices, and so on

TFLint ruleset plugin for Terraform AWS Provider

TFLint ruleset plugin for Terraform Google Provider

Static analysis powered security scanner for terraform code

Debugging and profiling tool suite

Callbacks for YARA rule matches