Qwaz / satire

Related projects ⓘ

Alternatives and complementary repositories for satire

• langston-barrett / tree-splicer
  Simple grammar-based test case generator
  ☆30Updated 6 months ago
• travitch / build-bom
  Dynamically discover the commands used to create a piece of software
  ☆46Updated last week
• 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.
  ☆67Updated this week
• fitzgen / wasm-smith
  A WebAssembly test case generator
  ☆43Updated 4 years ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆60Updated 2 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.
  ☆65Updated 8 months ago
• woodruffw / llvm-passgen
  A small tool for quickly generating LLVM passes
  ☆27Updated this week
• Artisan-Lab / Rust-memory-safety-bugs
  ☆28Updated 2 years ago
• falconre / finch
  Symbolic Execution over Falcon IL
  ☆28Updated 3 years ago
• JACKIEZHAOKAI / CSE231_LLVM_Compiler_Opt
  LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…
  ☆25Updated 4 years ago
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆34Updated 2 years ago
• rems-project / isla
  Symbolic execution tool for Sail ISA specifications
  ☆62Updated last month
• binsec / haunted
  Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.
  ☆16Updated last year
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆57Updated 3 weeks ago
• sunfishcode / llvm2cranelift
  LLVM IR to Cranelift IR translator
  ☆35Updated 5 years ago
• regehr / llvm-dataflow-info
  print information from LLVM dataflow analyses
  ☆13Updated 4 years ago
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆24Updated last month
• landaire / fazi
  drop-in replacement for libfuzzer
  ☆67Updated 2 months ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆85Updated 2 years ago
• cbeuw / rustlantis
  UB-free and deterministic rustc fuzzer
  ☆49Updated last month
• ctfhacker / binja-rs
  Some Rust bindings for Binary Ninja
  ☆30Updated last year
• luser / rust-gdb-remote-protocol
  A Rust crate implementing the GDB Remote Serial Protocol
  ☆33Updated 3 years ago
• guolong-zheng / sling
  ☆19Updated last year
• lifting-bits / patchestry
  Patchestry is a binary patching framework built with MLIR and Ghidra.
  ☆17Updated this week
• dwrensha / fuzz-rustc
  setup for fuzzing the Rust compiler
  ☆58Updated 6 months ago
• draperlaboratory / VIBES
  Verified, Incremental, Binary Editing with Synthesis
  ☆51Updated last year
• oeb25 / smtlib-rs
  A high-level API for interacting with SMT solvers.
  ☆23Updated 2 months ago
• nadia-polikarpova / cyclegg
  Cyclic theorem prover for equalitional reasoning using egraphs
  ☆24Updated last year