Alternatives and similar repositories for satire:

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

• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆60Updated 4 months ago
• woodruffw / llvm-passgen
  A small tool for quickly generating LLVM passes
  ☆28Updated this week
• travitch / build-bom
  Dynamically discover the commands used to create a piece of software
  ☆47Updated 2 months 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
• 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.
  ☆66Updated 2 weeks ago
• guolong-zheng / sling
  ☆19Updated last year
• fitzgen / wasm-smith
  A WebAssembly test case generator
  ☆43Updated 4 years ago
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆62Updated 2 weeks ago
• falconre / finch
  Symbolic Execution over Falcon IL
  ☆28Updated 3 years ago
• regehr / llvm-dataflow-info
  print information from LLVM dataflow analyses
  ☆13Updated 4 years ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆78Updated 11 months ago
• KennethAdamMiller / superset_disassembler
  Disassemblers with various trimming methodologies
  ☆14Updated 2 weeks ago
• landaire / fazi
  drop-in replacement for libfuzzer
  ☆68Updated 4 months ago
• SRI-CSL / llvm2smt
  Experimental translation of llvm to smt.
  ☆56Updated 4 years ago
• Jezurko / potato
  Experimental MLIR based points-to analysis tool
  ☆14Updated last month
• HUSTSeclab / KernelTestingPapers
  Papers related with kernel papers
  ☆13Updated last year
• trailofbits / divergent-representations
  CodeQL and Binary Ninja scripts to accompany the blog post
  ☆11Updated last year
• draperlaboratory / VIBES
  Verified, Incremental, Binary Editing with Synthesis
  ☆52Updated last year
• langston-barrett / tree-splicer
  Simple grammar-based test case generator
  ☆29Updated 8 months ago
• ctfhacker / binja-rs
  Some Rust bindings for Binary Ninja
  ☆30Updated last year
• Artisan-Lab / Rust-memory-safety-bugs
  ☆29Updated 2 years ago
• binsec / haunted
  Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.
  ☆16Updated last year
• revng / vscode-llvm-ir
  VSCode extension for the LLVM IR language
  ☆59Updated 7 months ago
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆25Updated this week
• season-lab / fuzzy-sat
  An approximate solver for concolic execution
  ☆17Updated 2 years ago
• capstone-rust / capstone-sys
  low-level Capstone system bindings for Rust
  ☆13Updated 5 years ago
• mull-project / libirm
  Low-level IR mutations for LLVM Bitcode
  ☆37Updated last year
• wcphkust / tutorialpass
  LLVM pass
  ☆22Updated 4 years ago
• StephanvanSchaik / dynamorio-rs
  Safe Rust bindings to the DynamoRIO dynamic binary instrumentation framework.
  ☆20Updated 2 years ago