Alternatives and similar repositories for jsir

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

• monkbai / DNN-decompiler
  BTD - Bin To DNN: A DNN Executables Decompiler
  ☆201Updated 2 years ago
• trailofbits / pasta
  Peter's Amazing Syntax Tree Analyzer
  ☆134Updated last month
• yomaytk / elfconv
  AOT binary translator of Linux/ELF → (WebAssembly, ...)
  ☆299Updated last week
• mahaloz / cfgutils
  Utility library for analysis of Control Flow Graphs, home to the Basque CFGED algorithm.
  ☆33Updated 6 months ago
• sola-st / wasm-r3
  Record and Replay for WebAssembly
  ☆33Updated 3 weeks ago
• security-pride / BREWasm
  BREWasm: A general purpose static binary rewriting framework for Wasm.
  ☆24Updated last year
• facebookarchive / clangir
  💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.
  ☆155Updated 3 years ago
• sandialabs / ctadl
  CTADL is a static taint analysis tool
  ☆49Updated 3 months ago
• libLISA / liblisa
  libLISA: Instruction Discovery and Analysis on x86-64
  ☆120Updated 9 months 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…
  ☆427Updated last month
• lfi-project / lfi
  Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing
  ☆91Updated 3 weeks ago
• ExpoSEJS / ExpoSE
  A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…
  ☆216Updated 10 months ago
• google / centipede
  ☆252Updated 2 years ago
• trailofbits / polytracker
  An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.
  ☆583Updated 7 months ago
• static-analysis-engineering / codehawk
  CodeHawk Abstract Interpretation Engine and Analyzers
  ☆71Updated last week
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆68Updated 8 months ago
• rimsa / CFGgrind
  A dynamic control flow graph (CFG) reconstruction plugin for valgrind.
  ☆129Updated 3 months ago
• GaloisInc / grease
  CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution
  ☆125Updated this week
• kc-ml2 / llvm-flow
  An open-source interactive visualization tool for comparing IR CFGs
  ☆91Updated 4 months ago
• darkmacheken / wasmati
  A Generic and Efficient Code Property Graph Infrastructure forScanning Vulnerabilities in WebAssembly Code
  ☆31Updated last year
• addisoncrump / parking-game-fuzzer
  Learn to LibAFL with parking-game puzzles.
  ☆73Updated 2 months ago
• Shuriken-Group / Shuriken-Analyzer
  Repository for a library focused on binary analysis (mainly for Java related bytecodes)
  ☆45Updated 2 months ago
• brenocfg / AnghaBench
  A benchmark suite containing 1 million compilable programs, mined from the largest public C repositories on GitHub.
  ☆121Updated 5 years ago
• PKU-ASAL / SeeWasm
  A native symbolic execution engine for WebAssembly
  ☆49Updated last year
• secure-foundations / rWasm
  A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler
  ☆37Updated last year
• secure-foundations / provably-safe-sandboxing-wasm-usenix22
  Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"
  ☆38Updated 3 years ago
• trailofbits / binrec-tob
  BinRec: Dynamic Binary Lifting and Recompilation
  ☆144Updated 2 years ago
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆197Updated last week
• acieroid / wassail
  wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …
  ☆60Updated 3 months ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆82Updated last year