categories

development/tools/analysis

Showing entries 1-87 out of 87.

Static checker for GitHub Actions workflow files
Tool to remove unused imports and unused variables
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
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
Traverses Java class file directories and generates design quality metrics for each Java package
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 commandline tools
Automatic test generation for Java
A retargetable machine-code decompiler based on LLVM
A retargetable machine-code decompiler based on LLVM
UNIX-like reverse engineering framework and command-line toolset
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
A semantic analysis tool for C
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
Tools and Clang plugins for developing code with GLib
Terraform linter focused on possible errors, best practices, and so on
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
Qt4-based GUI for the Valgrind 3.6.x series
Callbacks for YARA rule matches
  • Previous
  • 1(current)
  • Next