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
  ☆328Updated 8 months ago
• heap-exploitation / heap-explorer
  LD_PRELOADable library for exploring the glibc heap
  ☆107Updated 4 months ago
• DRMacIver / shrinkray
  Shrinkray is a modern multi-format test-case reducer
  ☆273Updated 4 months ago
• tweag / clodl
  Turn dynamically linked ELF binaries and libraries into self-contained closures.
  ☆178Updated last year
• stolk / sotrace
  Traces the shared-object dependencies of a binary, and graphs them.
  ☆171Updated last year
• 8dcc / bin-graph
  Visualize binary files
  ☆132Updated 2 weeks ago
• 256lights / zb
  An experiment in hermetic, reproducible build systems
  ☆377Updated last week
• sectordistrict / intentrace
  intentrace is strace with intent, it goes all the way for you instead of half the way. intentrace is currently in beta
  ☆593Updated 3 weeks ago
• sunxfancy / vscode-llvm
  VSCode LLVM Compiler Explorer
  ☆230Updated last year
• stevana / elastically-scalable-thread-pools
  An experiment in controlling the size of a thread pool using a PID controller.
  ☆118Updated last year
• corsix / polyfill-glibc
  Patch Linux executables for compatibility with older glibc
  ☆346Updated 8 months ago
• varnish / tinykvm
  VMM for native-performance sandboxing
  ☆607Updated 2 weeks ago
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆179Updated 3 months ago
• M3rcuryLake / Nyxelf
  Nyxelf is a highly effective tool tailored for analyzing malicious Linux ELF binaries, offering comprehensive support for both static and…
  ☆107Updated 5 months ago
• jart / landlock-make
  Sandboxing for GNU Make has never been easier
  ☆241Updated 2 years ago
• kxxt / tracexec
  Tracer for execve{,at} and pre-exec behavior, launcher for debuggers.
  ☆371Updated last week
• sylver-dev / sylver-cli
  ☆108Updated last year
• facebookexperimental / reverie
  An ergonomic and safe syscall interception framework for Linux.
  ☆611Updated 2 weeks ago
• pdtpartners / nix-ninja
  Ninja-compatible incremental build system for Nix
  ☆183Updated 2 months ago
• Troels51 / dtui
  Small TUI for introspecting the state of the system/session dbus
  ☆299Updated 3 months ago
• mgree / ffs
  the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem
  ☆471Updated last year
• surban / memstop
  Memstop monitors available memory and waits until a configurable percentage of memory becomes available before allowing a program to star…
  ☆88Updated 2 weeks ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆116Updated this week
• keszybz / add-determinism
  Build postprocessor to reset metadata fields for build reproducibility
  ☆132Updated this week
• GaloisInc / grease
  CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution
  ☆119Updated this week
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• catern / rsyscall
  Process-independent interface to Linux system calls
  ☆70Updated 2 years ago
• 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…
  ☆82Updated last week
• trailofbits / differ
  Detecting Inconsistencies in Feature or Function Evaluations of Requirements
  ☆67Updated last year
• Ericson2314 / baccumulation
  ☆44Updated 5 months ago