Alternatives and similar repositories for satire

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

• fitzgen / wasm-smith
  A WebAssembly test case generator
  ☆43Updated 5 years ago
• langston-barrett / tree-splicer
  Simple grammar-based test case generator
  ☆32Updated last week
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆59Updated this week
• trailofbits / divergent-representations
  CodeQL and Binary Ninja scripts to accompany the blog post
  ☆11Updated 2 years ago
• travitch / build-bom
  Dynamically discover the commands used to create a piece of software
  ☆55Updated last week
• landaire / fazi
  drop-in replacement for libfuzzer
  ☆70Updated 2 months ago
• regehr / llvm-dataflow-info
  print information from LLVM dataflow analyses
  ☆13Updated 5 years ago
• falconre / finch
  Symbolic Execution over Falcon IL
  ☆29Updated 4 years ago
• Artisan-Lab / Rust-memory-safety-bugs
  ☆34Updated 3 years ago
• woodruffw / llvm-passgen
  A small tool for quickly generating LLVM passes
  ☆29Updated last month
• langston-barrett / tree-crasher
  Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.
  ☆77Updated this week
• season-lab / fuzzy-sat
  An approximate solver for concolic execution
  ☆19Updated 6 months ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆81Updated last year
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆66Updated 8 months ago
• kino-mc / rsmt2
  A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.
  ☆67Updated last year
• sunfishcode / llvm2cranelift
  LLVM IR to Cranelift IR translator
  ☆36Updated 6 years ago
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆57Updated 2 years ago
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆48Updated 2 years ago
• guolong-zheng / sling
  ☆22Updated 2 years ago
• sfu-rsl / symrustc
  SymRustC is a hybrid fuzzer for Rust combining concolic execution using SymCC and fuzzing using LibAFL.
  ☆11Updated 2 years ago
• denzp / rustc-llvm-proxy
  Proxy LLVM calls into Rust own shared library in runtime
  ☆35Updated last year
• binsec / haunted
  Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.
  ☆17Updated 2 years ago
• draperlaboratory / VIBES
  Verified, Incremental, Binary Editing with Synthesis
  ☆53Updated 2 years ago
• hopv / rust-horn
  RustHorn: A CHC-based automated verifier for Rust
  ☆87Updated 7 months ago
• luser / rust-gdb-remote-protocol
  A Rust crate implementing the GDB Remote Serial Protocol
  ☆35Updated 4 years ago
• KennethAdamMiller / superset_disassembler
  Disassemblers with various trimming methodologies
  ☆15Updated 10 months ago
• mull-project / libirm
  Low-level IR mutations for LLVM Bitcode
  ☆41Updated 2 years ago
• seahorn / llvm-dsa
  LLVM DSA fork for SeaHorn
  ☆21Updated 6 years ago
• rustsmith / rustsmith
  A randomized program fuzzer for the Rust programming language
  ☆65Updated 2 years ago
• rems-project / isla
  Symbolic execution tool for Sail ISA specifications
  ☆78Updated last month