Alternatives and similar repositories for sqlelf

Users that are interested in sqlelf are comparing it to the libraries listed below

• whitequark / superlinker
  a tool for reinterpreting ELF executables and shared libraries
  ☆337Updated last year
• Mic92 / strace-macos
  A clone of the strace command for macOS
  ☆358Updated 3 weeks ago
• tweag / clodl
  Turn dynamically linked ELF binaries and libraries into self-contained closures.
  ☆180Updated last year
• heap-exploitation / heap-explorer
  LD_PRELOADable library for exploring the glibc heap
  ☆108Updated 9 months ago
• DRMacIver / shrinkray
  Shrinkray is a modern multi-format test-case reducer
  ☆285Updated 3 months ago
• sectordistrict / intentrace
  intentrace is strace with intent, it goes all the way for you instead of half the way. intentrace is currently in beta
  ☆647Updated 6 months ago
• Ericson2314 / baccumulation
  ☆44Updated 3 weeks ago
• kxxt / tracexec
  Tracer for execve{,at} and pre-exec behavior, launcher for debuggers.
  ☆426Updated this week
• sylver-dev / sylver-cli
  ☆113Updated last year
• catern / rsyscall
  Process-independent interface to Linux system calls
  ☆69Updated 3 years ago
• stolk / sotrace
  Traces the shared-object dependencies of a binary, and graphs them.
  ☆178Updated last year
• M3rcuryLake / Nyxelf
  Nyxelf is a highly effective tool tailored for analyzing malicious Linux ELF binaries, offering comprehensive support for both static and…
  ☆122Updated last month
• trailofbits / differ
  Detecting Inconsistencies in Feature or Function Evaluations of Requirements
  ☆68Updated last year
• GaloisInc / grease
  CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution
  ☆125Updated last week
• mgree / ffs
  the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem
  ☆482Updated last week
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• 256lights / zb
  An experiment in hermetic, reproducible build systems
  ☆395Updated 2 weeks ago
• 8dcc / bin-graph
  Visualize binary files
  ☆133Updated 3 months ago
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆180Updated 8 months ago
• surban / memstop
  Memstop monitors available memory and waits until a configurable percentage of memory becomes available before allowing a program to star…
  ☆93Updated 5 months ago
• zmitchell / proctrace
  A high-level profiler for process-level events such as fork, exec, exit, setpgid, and setsid
  ☆61Updated last year
• facebookexperimental / reverie
  An ergonomic and safe syscall interception framework for Linux.
  ☆800Updated last week
• mbrock / filnix
  Fil-C as a Nix C/C++ toolchain and cross platform
  ☆74Updated 2 weeks ago
• OceanSprint / tesh
  TEstable SHell sessions in Markdown
  ☆145Updated 10 months ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆144Updated last week
• stevana / elastically-scalable-thread-pools
  An experiment in controlling the size of a thread pool using a PID controller.
  ☆118Updated 2 years ago
• meejah / fowl
  Forward over Wormhole: streams over magic-wormhole Dilation connections
  ☆139Updated last month
• sunxfancy / vscode-llvm
  VSCode LLVM Compiler Explorer
  ☆236Updated last year
• lf- / clipper
  TLS key escrow/interception for debugging
  ☆265Updated last month
• nathants / mighty-snitch
  notice and prevent network egress
  ☆85Updated 6 months ago