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 11 months ago
• DRMacIver / shrinkray
  Shrinkray is a modern multi-format test-case reducer
  ☆276Updated last month
• 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
  ☆107Updated 7 months ago
• stevana / elastically-scalable-thread-pools
  An experiment in controlling the size of a thread pool using a PID controller.
  ☆118Updated 2 years ago
• sylver-dev / sylver-cli
  ☆110Updated 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 8 months ago
• 256lights / zb
  An experiment in hermetic, reproducible build systems
  ☆380Updated last week
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• OceanSprint / tesh
  TEstable SHell sessions in Markdown
  ☆144Updated 8 months ago
• Ericson2314 / baccumulation
  ☆45Updated 8 months ago
• trailofbits / differ
  Detecting Inconsistencies in Feature or Function Evaluations of Requirements
  ☆67Updated last year
• catern / rsyscall
  Process-independent interface to Linux system calls
  ☆70Updated 3 years ago
• sunxfancy / vscode-llvm
  VSCode LLVM Compiler Explorer
  ☆232Updated last year
• stolk / sotrace
  Traces the shared-object dependencies of a binary, and graphs them.
  ☆174Updated last year
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆178Updated 6 months ago
• 8dcc / bin-graph
  Visualize binary files
  ☆133Updated last month
• 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…
  ☆89Updated 2 weeks ago
• GaloisInc / grease
  CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution
  ☆123Updated last week
• mgree / ffs
  the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem
  ☆478Updated last week
• keszybz / add-determinism
  Build postprocessor to reset metadata fields for build reproducibility
  ☆136Updated last week
• fzakaria / shrinkwrap
  A tool that embosses the needed dependencies on the top level executable
  ☆181Updated 2 years ago
• surban / memstop
  Memstop monitors available memory and waits until a configurable percentage of memory becomes available before allowing a program to star…
  ☆92Updated 3 months ago
• pdtpartners / nix-ninja
  Ninja-compatible incremental build system for Nix
  ☆217Updated last month
• rpetrich / callander
  Simple syscall sandboxing for Linux
  ☆142Updated this week
• facebookexperimental / reverie
  An ergonomic and safe syscall interception framework for Linux.
  ☆631Updated last month
• varnish / tinykvm
  VMM for native-performance sandboxing
  ☆635Updated 2 weeks ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆136Updated last week
• Troels51 / dtui
  Small TUI for introspecting the state of the system/session dbus
  ☆301Updated last week
• thetacom / hexabyte
  A modern, modular, and robust TUI hex editor.
  ☆284Updated last year