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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Configurable instrumentation of LLVM bitcode☆35Mar 31, 2025Updated 11 months ago
- Symbolic Program Slicing with LLVM☆84Aug 3, 2020Updated 5 years ago
- ☆24Nov 18, 2025Updated 4 months ago
- Static Slicer for LLVM☆67Jan 9, 2016Updated 10 years ago
- Slicing tool for c++ programs using clang AST.☆18Mar 8, 2021Updated 5 years 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 5 years ago
- A browser extension overlays Hanyu Pinyin annotations over Chinese characters present in web pages and video closed captions.☆16Mar 5, 2026Updated 2 weeks ago
- Pointer Analysis with Tunable Precision