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
  ☆330Updated 9 months ago
• stolk / sotrace
  Traces the shared-object dependencies of a binary, and graphs them.
  ☆173Updated last year
• heap-exploitation / heap-explorer
  LD_PRELOADable library for exploring the glibc heap
  ☆107Updated 5 months ago
• DRMacIver / shrinkray
  Shrinkray is a modern multi-format test-case reducer
  ☆274Updated this week
• facebookexperimental / reverie
  An ergonomic and safe syscall interception framework for Linux.
  ☆626Updated last week
• mgree / ffs
  the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem
  ☆478Updated last year
• trailofbits / differ
  Detecting Inconsistencies in Feature or Function Evaluations of Requirements
  ☆67Updated last year
• Ericson2314 / baccumulation
  ☆45Updated 7 months ago
• tweag / clodl
  Turn dynamically linked ELF binaries and libraries into self-contained closures.
  ☆180Updated last year
• M3rcuryLake / Nyxelf
  Nyxelf is a highly effective tool tailored for analyzing malicious Linux ELF binaries, offering comprehensive support for both static and…
  ☆108Updated 7 months ago
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆178Updated 4 months ago
• 256lights / zb
  An experiment in hermetic, reproducible build systems
  ☆379Updated this week
• OceanSprint / tesh
  TEstable SHell sessions in Markdown
  ☆144Updated 6 months ago
• catern / rsyscall
  Process-independent interface to Linux system calls
  ☆70Updated 3 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…
  ☆86Updated last month
• kxxt / tracexec
  Tracer for execve{,at} and pre-exec behavior, launcher for debuggers.
  ☆403Updated this week
• GaloisInc / grease
  CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution
  ☆122Updated this week
• sylver-dev / sylver-cli
  ☆108Updated last year
• 8dcc / bin-graph
  Visualize binary files
  ☆133Updated this week
• surban / memstop
  Memstop monitors available memory and waits until a configurable percentage of memory becomes available before allowing a program to star…
  ☆91Updated 2 months ago
• lf- / clipper
  TLS key escrow/interception for debugging
  ☆259Updated last year
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆124Updated this week
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• varnish / tinykvm
  VMM for native-performance sandboxing
  ☆627Updated last week
• keszybz / add-determinism
  Build postprocessor to reset metadata fields for build reproducibility
  ☆136Updated 3 weeks ago
• deepseagirl / easylkb
  easylkb - Easy Linux Kernel Builder
  ☆353Updated 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
  ☆362Updated 10 months ago
• sunxfancy / vscode-llvm
  VSCode LLVM Compiler Explorer
  ☆231Updated last year
• udem-dlteam / pnut
  🥜 A Self-Compiling C Transpiler Targeting Human-Readable POSIX Shell
  ☆468Updated last week