Static program slicer used in Symbiotic tool
☆12Mar 31, 2025Updated 11 months ago
Alternatives and similar repositories for sbt-slicer
Users that are interested in sbt-slicer are comparing it to the libraries listed below
Sorting:
- Configurable instrumentation of LLVM bitcode☆35Mar 31, 2025Updated 11 months ago
- Symbolic Program Slicing with LLVM☆84Aug 3, 2020Updated 5 years ago
- ULPatch is open source user space live patch tool.☆13Jan 11, 2026Updated last month
- Slicing tool for c++ programs using clang AST.☆18Mar 8, 2021Updated 4 years ago
- Decompiler of LLVM bitcode to C☆89Dec 4, 2025Updated 3 months ago
- DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…☆22Mar 21, 2021Updated 4 years ago
- Static Slicer for LLVM☆67Jan 9, 2016Updated 10 years ago
- ☆24Nov 18, 2025Updated 3 months ago
- Pointer Analysis with Tunable Precision☆28Mar 23, 2016Updated 9 years ago
- llvm crash analysis☆44Jun 26, 2024Updated last year
- A blazing-fast Rust rule engine with RETE algorithm, backward chaining inference, and GRL (Grule Rule Language) syntax. Features: forward…☆35Feb 23, 2026Updated last week
- Open source game engine☆11Jan 26, 2026Updated last month
- Java decompilation & deobfuscation lab - dockerized toolset☆15Feb 15, 2026Updated 2 weeks ago
- Rust implementation of the SSV protocol☆62Updated this week
- CTF Write-Ups☆19Jan 19, 2020Updated 6 years ago
- Scorched Gunssss☆16Nov 9, 2025Updated 3 months ago
- (READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin☆19Updated this week
- Smart Sessions with EIP-7702 EOA☆16Nov 15, 2024Updated last year
- Extension for vk.com that makes life easier☆10Feb 4, 2021Updated 5 years ago
- A browser extension overlays Hanyu Pinyin annotations over Chinese characters present in web pages and video closed captions.☆13Dec 7, 2025Updated 2 months ago
- Statistics from our binary transformation framework☆11Jan 16, 2025Updated last year
- A symbolic execution engine for LLVM IR☆51Apr 25, 2022Updated 3 years ago
- ☆16Jan 23, 2026Updated last month
- EWDK C++ toolchain for bazel☆11Feb 1, 2026Updated last month
- A Rust library for accessing a Python AST using the Python ast library.☆15Aug 6, 2025Updated 6 months ago
- ☆33Aug 12, 2014Updated 11 years ago
- greenforce LLVM clang compiled with LTO, BOLT, and PGO.☆10Feb 25, 2026Updated last week
- The shared world article☆10Mar 4, 2022Updated 4 years ago
- Experimental imgui app framework for rapid prototyping.☆14Aug 10, 2025Updated 6 months ago
- Linux kernel-mode and user-space with wine/MinGW/Windows compability hacking library.☆12Sep 15, 2022Updated 3 years ago
- Implementation of Butler-Portugal algorithm for tensor canonicalization in Rust☆18Feb 12, 2026Updated 2 weeks ago
- TCCBOOT: TinyCC Boot Loader☆13Oct 24, 2014Updated 11 years ago
- Hi-Link HLK-RM04☆13Dec 28, 2013Updated 12 years ago
- API/Data Platform for Ingesting, Storing, and Serving Data through Postgres, and Litestar☆11Jan 18, 2026Updated last month
- Simple program to stream offsets for your game cheat, Was reversing some p2c and decided to recreate a better version of this function fo…☆11Sep 12, 2022Updated 3 years ago
- Auto Move Your Cursor to the Focused Window while You Alt-Tab or Touchboard for Windows☆10Dec 11, 2024Updated last year
- ZKsync support for alloy☆16Jul 14, 2025Updated 7 months ago
- 《穿越操作系统迷雾》源码☆11Jan 19, 2025Updated last year
- ☆13Sep 17, 2022Updated 3 years ago