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
  ☆345Updated last year
• DRMacIver / shrinkray
  Shrinkray is a modern multi-format test-case reducer
  ☆295Updated 3 weeks ago
• Mic92 / strace-macos
  A clone of the strace command for macOS
  ☆369Updated last month
• catern / rsyscall
  Process-independent interface to Linux system calls
  ☆78Updated 3 years ago
• tweag / clodl
  Turn dynamically linked ELF binaries and libraries into self-contained closures.
  ☆180Updated last year
• 256lights / zb
  An experiment in hermetic, reproducible build systems
  ☆399Updated last month
• M3rcuryLake / Nyxelf
  Nyxelf is a highly effective tool tailored for analyzing malicious Linux ELF binaries, offering comprehensive support for both static and…
  ☆124Updated 3 months ago
• fzakaria / shrinkwrap
  A tool that embosses the needed dependencies on the top level executable
  ☆186Updated 2 years ago
• mbrock / filnix
  Fil-C as a Nix C/C++ toolchain and cross platform
  ☆79Updated last month
• heap-exploitation / heap-explorer
  LD_PRELOADable library for exploring the glibc heap
  ☆108Updated 10 months ago
• trailofbits / differ
  Detecting Inconsistencies in Feature or Function Evaluations of Requirements
  ☆68Updated last year
• OceanSprint / tesh
  TEstable SHell sessions in Markdown
  ☆145Updated 11 months ago
• sylver-dev / sylver-cli
  ☆113Updated last year
• stolk / sotrace
  Traces the shared-object dependencies of a binary, and graphs them.
  ☆177Updated last year
• mgree / ffs
  the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem
  ☆484Updated last week
• sidkshatriya / rr.soft
  Run the rr debugger in a Linux VM on apple silicon macOS or in the cloud. Use the rr debugger without HW performance counters on x86-64 a…
  ☆97Updated 2 months ago
• GaloisInc / grease
  CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution
  ☆125Updated last week
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 4 years ago
• Ericson2314 / baccumulation
  ☆44Updated 2 months ago
• facebookexperimental / reverie
  An ergonomic and safe syscall interception framework for Linux.
  ☆811Updated 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
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆207Updated 9 months ago
• lf- / clipper
  TLS key escrow/interception for debugging
  ☆266Updated 2 months ago
• 8dcc / bin-graph
  Visualize binary files
  ☆132Updated 4 months ago
• rpetrich / callander
  Simple syscall sandboxing for Linux
  ☆144Updated 3 months ago
• jart / landlock-make
  Sandboxing for GNU Make has never been easier
  ☆252Updated 3 years ago
• keszybz / add-determinism
  Build postprocessor to reset metadata fields for build reproducibility
  ☆142Updated 3 months ago
• Dicklesworthstone / introduction_to_temporal_logic
  An introduction to temporal logic and how it can be used to analyze concurrency
  ☆108Updated 2 years ago
• thetacom / hexabyte
  A modern, modular, and robust TUI hex editor.
  ☆292Updated last year
• sunxfancy / vscode-llvm
  VSCode LLVM Compiler Explorer
  ☆235Updated last year