Alternatives and similar repositories for sal

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

• pzread / symx
  Lightweight Symbolic Execution Engine
  ☆23Updated 9 years ago
• sushant94 / rune
  rune - radare2 based symbolic emulator
  ☆27Updated 7 years ago
• davidad / fasm_example_64
  Using FASM (the Flat assembler) cross-platform (OSX/Linux)
  ☆27Updated 3 years ago
• BatchDrake / vix
  Visual Interface heXadecimal dump
  ☆52Updated 8 years ago
• mrmacete / r2scripts
  Collection of scripts for radare2
  ☆28Updated 6 years ago
• csmith-project / voltest
  Tools for testing C compilers for the correct handling of volatile objects.
  ☆26Updated 10 years ago
• XVilka / cparse
  Parser of C-syntax data definitions, C-syntax function definitions
  ☆20Updated 12 years ago
• enferex / asrepl
  asrepl: x86-64 assembly REPL
  ☆70Updated 8 years ago
• Granary / granary
  Dynamic binary translation framework for instrumenting the Linux kernel and its modules
  ☆77Updated 7 years ago
• dutchcoders / trace
  System tracer implementation in Rust
  ☆32Updated 8 years ago
• nccgroup / TriforceOpenBSDFuzzer
  System call fuzzing of OpenBSD amd64 using TriforceAFL (i.e. AFL and QEMU)
  ☆46Updated 7 years ago
• hbowden / nextgen
  A Genetic File, Syscall and Network Fuzzer.
  ☆58Updated 8 years ago
• krytarowski / picotrace
  picotrace - system call process tracer
  ☆38Updated 5 years ago
• hackerb9 / memcat
  Print core memory of a given a process ID (linux specific)
  ☆11Updated 7 years ago
• vusec / safeinit
  SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017
  ☆25Updated 4 years ago
• wapiflapi / hx
  Alternative hexdump.
  ☆15Updated 9 years ago
• pzemtsov / article-align-x86
  Source code for the article "A bug story: data alignment on x86"
  ☆16Updated 8 years ago
• jjyg / ssh_decoder
  ☆36Updated 12 years ago
• vusec / typesan
  TypeSan checks casts in C++ code - code released for CCS 2016
  ☆33Updated 4 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
  ☆62Updated 7 years ago
• lyvd / C2Ass
  A tiny tool to learn the assembly code
  ☆11Updated 8 years ago
• mammon / mammon.github.com
  Papers on reverse engineering and assembly language programming
  ☆38Updated 4 years ago
• struct / mathilda
  Mathilda is a C++ class for distributing web requests to worker processes
  ☆29Updated 8 years ago
• danigargu / ratone
  A console for assemble/disassemble code using capstone/keystone
  ☆31Updated 7 years ago
• nccgroup / libtalloc
  libtalloc is a python script for use with GDB that can be used to analyse the "trivial allocator" (talloc)
  ☆16Updated 9 years ago
• a3f / libvas
  Peek/Poke like it's 1979 - Multi-Platform memory reading/writing
  ☆12Updated 6 years ago
• lpereira / infect-to-protect
  Infect to Protect
  ☆15Updated 6 years ago
• fay59 / interpiler
  Turn an interpreter into a code generator
  ☆31Updated 9 years ago
• aoh / blab
  a grammar-based data generator
  ☆60Updated 6 years ago