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.
  ☆42Updated 14 years ago
• stephenrkell / libsystrap
  Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.
  ☆62Updated last week
• lyvd / C2Ass
  A tiny tool to learn the assembly code
  ☆11Updated 8 years ago
• davidad / fasm_example_64
  Using FASM (the Flat assembler) cross-platform (OSX/Linux)
  ☆27Updated 3 years ago
• AveryOS / avery
  x86-64 kernel in Rust
  ☆32Updated 8 years ago
• krytarowski / picotrace
  picotrace - system call process tracer
  ☆39Updated 5 years ago
• csmith-project / voltest
  Tools for testing C compilers for the correct handling of volatile objects.
  ☆27Updated 11 years ago
• hbowden / nextgen
  A Genetic File, Syscall and Network Fuzzer.
  ☆58Updated 8 years ago
• dutchcoders / trace
  System tracer implementation in Rust
  ☆32Updated 8 years ago
• Granary / granary
  Dynamic binary translation framework for instrumenting the Linux kernel and its modules
  ☆77Updated 7 years ago
• doublec / nanojit
  Fork of Adobe/Mozilla lightweight library for generating machine code from C++
  ☆35Updated 15 years ago
• sushant94 / rune
  rune - radare2 based symbolic emulator
  ☆27Updated 8 years ago
• jovanbulck / jsh
  A basic UNIX shell implementation in C
  ☆33Updated 6 years ago
• q3k / Cucumber
  Migrated to Codeberg
  ☆11Updated 2 years ago
• q3k / phook
  A toolset for extending closed-source Linux processes
  ☆10Updated 9 years ago
• fay59 / interpiler
  Turn an interpreter into a code generator
  ☆31Updated 9 years ago
• BatchDrake / vix
  Visual Interface heXadecimal dump
  ☆52Updated 8 years ago
• endeav0r / hsvm
  Haxathon Supremacy Virtual Machine
  ☆32Updated 8 years ago
• terralang / terrac
  Unofficial terralang compiler
  ☆13Updated 2 years ago
• omegaup / minijail
  a tiny, custom launcher that handles namespacing, control groups, chroot'ing, and more
  ☆55Updated 3 years ago
• astocko / json-x86-64
  x86-64 Intel instruction set in JSON format
  ☆52Updated 9 years ago
• burtonsamograd / anser
  A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…
  ☆14Updated 7 years ago
• mammon / mammon.github.com
  Papers on reverse engineering and assembly language programming
  ☆38Updated 4 years ago
• mrmacete / r2scripts
  Collection of scripts for radare2
  ☆27Updated 6 years ago
• struct / Nerve
  Nerve is a cross platform hit tracer built on Ragweed
  ☆46Updated 13 years ago
• NanXiao / using-dtrace-stories
  ☆23Updated 4 months ago
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆48Updated 2 years ago
• aoh / blab
  a grammar-based data generator
  ☆60Updated 6 years ago