google / jsirLinks
Next-generation JavaScript analysis tooling
☆94Updated last week
Alternatives and similar repositories for jsir
Users that are interested in jsir are comparing it to the libraries listed below
Sorting:
- Peter's Amazing Syntax Tree Analyzer☆134Updated this week
- AOT binary translator of Linux/ELF → (WebAssembly, ...)☆287Updated this week
- ☆252Updated 2 years ago
- libLISA: Instruction Discovery and Analysis on x86-64☆118Updated 8 months ago
- Learn to LibAFL with parking-game puzzles.☆70Updated last month
- CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution☆123Updated last week
- CTADL is a static taint analysis tool☆49Updated last month
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆155Updated 3 years ago
- 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
- BTD - Bin To DNN: A DNN Executables Decompiler☆197Updated 2 years ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Updated last year
- Repository for a library focused on binary analysis (mainly for Java related bytecodes)☆44Updated last month
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆320Updated 3 years ago
- ☆425Updated 10 months ago
- BinRec: Dynamic Binary Lifting and Recompilation☆144Updated 2 years ago
- BREWasm: A general purpose static binary rewriting framework for Wasm.☆23Updated 10 months ago
- A Generic and Efficient Code Property Graph Infrastructure forScanning Vulnerabilities in WebAssembly Code☆31Updated last year
- CodeHawk Abstract Interpretation Engine and Analyzers☆70Updated 2 weeks ago
- anvill forges beautiful LLVM bitcode out of raw machine code☆354Updated last year
- Seamless bug-finding for Wasm, C, C++, Rust and Zig☆253Updated 2 weeks ago
- A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…☆213Updated 9 months ago
- GWPSan: Sampling-Based Sanitizer Framework☆326Updated last month
- Debugging WebAssembly? Put some Whamm! on it.☆44Updated this week
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆581Updated 6 months ago
- Record and Replay for WebAssembly☆33Updated this week
- An open-source interactive visualization tool for comparing IR CFGs☆89Updated 3 months ago
- An LLVM IR dataset for data-driven compiler optimization research☆68Updated this week
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- Some experiments with SMT solvers and GIMPLE IR☆77Updated last week
- A dynamic control flow graph (CFG) reconstruction plugin for valgrind.☆128Updated 2 months ago