Alternatives and similar repositories for jsir

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

• trailofbits / pasta
  Peter's Amazing Syntax Tree Analyzer
  ☆134Updated this week
• yomaytk / elfconv
  AOT binary translator of Linux/ELF → (WebAssembly, ...)
  ☆287Updated this week
• google / centipede
  ☆252Updated 2 years ago
• libLISA / liblisa
  libLISA: Instruction Discovery and Analysis on x86-64
  ☆118Updated 8 months ago
• addisoncrump / parking-game-fuzzer
  Learn to LibAFL with parking-game puzzles.
  ☆70Updated last month
• GaloisInc / grease
  CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution
  ☆123Updated last week
• sandialabs / ctadl
  CTADL is a static taint analysis tool
  ☆49Updated last month
• facebookarchive / clangir
  💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.
  ☆155Updated 3 years ago
• trailofbits / vast
  VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choo…
  ☆422Updated 2 months ago
• monkbai / DNN-decompiler
  BTD - Bin To DNN: A DNN Executables Decompiler
  ☆197Updated 2 years ago
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆43Updated last year
• Shuriken-Group / Shuriken-Analyzer
  Repository for a library focused on binary analysis (mainly for Java related bytecodes)
  ☆44Updated last month
• zwegner / x86-sat
  Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
  ☆320Updated 3 years ago
• revng / revng-c
  ☆425Updated 10 months ago
• trailofbits / binrec-tob
  BinRec: Dynamic Binary Lifting and Recompilation
  ☆144Updated 2 years ago
• security-pride / BREWasm
  BREWasm: A general purpose static binary rewriting framework for Wasm.
  ☆23Updated 10 months ago
• darkmacheken / wasmati
  A Generic and Efficient Code Property Graph Infrastructure forScanning Vulnerabilities in WebAssembly Code
  ☆31Updated last year
• static-analysis-engineering / codehawk
  CodeHawk Abstract Interpretation Engine and Analyzers
  ☆70Updated 2 weeks ago
• lifting-bits / anvill
  anvill forges beautiful LLVM bitcode out of raw machine code
  ☆354Updated last year
• OCamlPro / owi
  Seamless bug-finding for Wasm, C, C++, Rust and Zig
  ☆253Updated 2 weeks ago
• ExpoSEJS / ExpoSE
  A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…
  ☆213Updated 9 months ago
• google / gwpsan
  GWPSan: Sampling-Based Sanitizer Framework
  ☆326Updated last month
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆44Updated this week
• trailofbits / polytracker
  An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.
  ☆581Updated 6 months ago
• sola-st / wasm-r3
  Record and Replay for WebAssembly
  ☆33Updated this week
• kc-ml2 / llvm-flow
  An open-source interactive visualization tool for comparing IR CFGs
  ☆89Updated 3 months ago
• dtcxzyw / llvm-opt-benchmark
  An LLVM IR dataset for data-driven compiler optimization research
  ☆68Updated this week
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆51Updated 3 years ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆77Updated last week
• rimsa / CFGgrind
  A dynamic control flow graph (CFG) reconstruction plugin for valgrind.
  ☆128Updated 2 months ago