development/tools/analysis

Static checker for GitHub Actions workflow files

A 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

A 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

The C preprocessor chainsaw

Semantic code analysis engine

Coverity Scan build tools

Profiler based on casual profiling

A static analysis tool for C/C++ code

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

A code coverage tool for Java

The ERESI Reverse Engineering Software Interface

Ethereum EVM disassembler

A static analysis tool to find bugs in Java programs automatically

A static type checker for JavaScript

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

A macOS and Linux Disassembler

A 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

A 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

An OpenCL device simulator and debugger

A libre cross-platform disassembler

Tool for making call graphs of C programmes

A full-featured, open source, multiplatform command line toolkit to work with PE (Portable Executa…

An extensible cross-language static code analyzer

A Qt GUI to visualize profiling data

UNIX-like reverse engineering framework and command-line tools

Automatic test generation for Java

A 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

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

A semantic analysis tool for C

Native code to C/C++ decompiler

Scans and monitors projects for security vulnerabilities

Scans and monitors projects for security vulnerabilities

Scans and monitors projects for security vulnerabilities

Semantic parser for C

Formal verification tool for distributed software systems

Annotation-assisted lightweight static analyzer for C

Mighty CSS linter that helps you avoid errors and enforce conventions

Mighty CSS linter that helps you avoid errors and enforce conventions

Mighty CSS linter that helps you avoid errors and enforce conventions

SystemVerilog linter

Verification script generator for Spin

Tools and Clang plugins for developing code with GLib

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

Parse BIOS/Intel ME/UEFI firmware related structures: Volumes, FileSystems, Files, etc

Debugging and profiling tool suite

Debugging and profiling tool suite

Callbacks for YARA rule matches