Alternatives and similar repositories for sal

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

• XVilka / cparse
  Parser of C-syntax data definitions, C-syntax function definitions
  ☆19Updated 13 years ago
• enferex / asrepl
  asrepl: x86-64 assembly REPL
  ☆71Updated 8 years ago
• wilkie / djehuty
  Fully verifiable operating system and API written in D in the public domain.
  ☆43Updated 14 years ago
• stephenrkell / libsystrap
  Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.
  ☆66Updated 2 months ago
• krytarowski / picotrace
  picotrace - system call process tracer
  ☆39Updated 5 years ago
• Granary / granary
  Dynamic binary translation framework for instrumenting the Linux kernel and its modules
  ☆78Updated 8 years ago
• davidad / fasm_example_64
  Using FASM (the Flat assembler) cross-platform (OSX/Linux)
  ☆26Updated 4 years ago
• fay59 / interpiler
  Turn an interpreter into a code generator
  ☆31Updated 10 years ago
• skeeto / blowpipe
  Authenticated Blowfish-encrypted pipe
  ☆24Updated 7 years ago
• lyvd / C2Ass
  A tiny tool to learn the assembly code
  ☆12Updated 8 years ago
• q3k / phook
  A toolset for extending closed-source Linux processes
  ☆10Updated 9 years ago
• struct / HardenedPartitionAlloc
  A forked and hardened version of PartitionAlloc from Chrome's Blink engine
  ☆66Updated 7 years ago
• hbowden / nextgen
  A Genetic File, Syscall and Network Fuzzer.
  ☆58Updated 8 years ago
• endeav0r / hsvm
  Haxathon Supremacy Virtual Machine
  ☆33Updated 8 years ago
• terralang / terrac
  Unofficial terralang compiler
  ☆13Updated 2 years ago
• jovanbulck / jsh
  A basic UNIX shell implementation in C
  ☆34Updated 6 years ago
• BatchDrake / vix
  Visual Interface heXadecimal dump
  ☆52Updated 9 years ago
• choller / LLCov
  LLVM-based, flexible, live coverage instrumentation for C/C++ code
  ☆46Updated 10 years ago
• AveryOS / avery
  x86-64 kernel in Rust
  ☆33Updated 9 years ago
• mrmacete / r2scripts
  Collection of scripts for radare2
  ☆27Updated 7 years ago
• omegaup / minijail
  a tiny, custom launcher that handles namespacing, control groups, chroot'ing, and more
  ☆55Updated 3 years ago
• doublec / nanojit
  Fork of Adobe/Mozilla lightweight library for generating machine code from C++
  ☆35Updated 15 years ago
• astocko / json-x86-64
  x86-64 Intel instruction set in JSON format
  ☆54Updated 9 years ago
• aoh / blab
  a grammar-based data generator
  ☆61Updated 7 years ago
• nst / UniBinary
  Encodes data into printable Unicode characters.
  ☆90Updated 9 months ago
• pzread / symx
  Lightweight Symbolic Execution Engine
  ☆23Updated 10 years ago
• csmith-project / voltest
  Tools for testing C compilers for the correct handling of volatile objects.
  ☆28Updated 11 years ago
• GaloisInc / flexdis86
  A library for disassembling x86-64 binaries.
  ☆44Updated 9 months ago
• dutchcoders / trace
  System tracer implementation in Rust
  ☆32Updated 9 years ago
• nccgroup / libtalloc
  libtalloc is a python script for use with GDB that can be used to analyse the "trivial allocator" (talloc)
  ☆17Updated 10 years ago