Alternatives and similar repositories for jsir

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

• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆43Updated last year
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆59Updated 2 years ago
• trailofbits / pasta
  Peter's Amazing Syntax Tree Analyzer
  ☆133Updated 11 months ago
• dtcxzyw / llvm-ub-aware-interpreter
  UB-aware interpreter for LLVM debugging
  ☆31Updated this week
• facebookarchive / clangir
  💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.
  ☆156Updated 3 years ago
• sandialabs / ctadl
  CTADL is a static taint analysis tool
  ☆45Updated 2 weeks ago
• libLISA / liblisa
  libLISA: Instruction Discovery and Analysis on x86-64
  ☆116Updated 6 months ago
• dsw / delta
  Delta assists you in minimizing "interesting" files subject to a test of their interestingness.
  ☆32Updated 3 years ago
• drti / drti
  Dynamic runtime inlining with LLVM
  ☆66Updated 3 years ago
• dtcxzyw / llvm-opt-benchmark
  An LLVM IR dataset for data-driven compiler optimization research
  ☆65Updated this week
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆75Updated this week
• appleseedlab / maki
  A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs
  ☆10Updated 2 weeks ago
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆65Updated 6 months ago
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆194Updated 3 months ago
• lfi-project / lfi
  Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing
  ☆87Updated 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 2 weeks ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆36Updated last week
• metalift / metalift
  A program synthesis framework for verified lifting applications
  ☆54Updated 3 months ago
• lifting-bits / gap
  A utility library to bridge llvm and mlir gaps.
  ☆13Updated 8 months ago
• acieroid / wassail
  wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …
  ☆58Updated last month
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆80Updated last year
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆103Updated 3 years ago
• sola-st / wasm-r3
  Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
  ☆33Updated 3 months ago
• compiler-research / idd
  A System for Differential Debugging
  ☆21Updated 5 months ago
• moyix / fpsmt_gpu
  Solving floating point SMT constraints on a GPU
  ☆49Updated 4 years ago
• ASSERT-KTH / slumps
  Cool code analysis research for WebAssembly https://urn.kb.se/resolve?urn=urn%3Anbn%3Ase%3Akth%3Adiva-342751
  ☆70Updated 2 years ago
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆110Updated 2 weeks ago
• yomaytk / elfconv
  AOT binary translator of Linux/ELF → (WebAssembly, ...)
  ☆272Updated this week
• darkmacheken / wasmati
  A Generic and Efficient Code Property Graph Infrastructure forScanning Vulnerabilities in WebAssembly Code
  ☆31Updated last year
• 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 3 weeks ago