MyNixOS website logo
categories

development/tools/analysis

Showing entries 1-15 out of 15.
radare2Nix package
UNIX-like reverse engineering framework and command-line toolset
rrNix package
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
splintNix package
Annotation-assisted lightweight static analyzer for C
TFLint ruleset plugin for Terraform AWS Provider
TFLint ruleset plugin for Terraform Google Provider