⚙️ Program slicer based on the Mozilla Lithium Tool for Java (also dubbed as Tandem-FL).
☆11Oct 21, 2024Updated 2 years ago
Alternatives and similar repositories for lithium-slicer
Users that are interested in lithium-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:
- A transformer-based VS Code extension that enables one to discover vulnerabilities in Java files.☆12Dec 1, 2022Updated 3 years ago
- 🪐 A Database of Existing Security Vulnerabilities Patches to Enable Evaluation of Techniques (single-commit; multi-language)☆48Apr 14, 2025Updated last year
- Improving IR-Based Bug Localization with Context-Aware Query Reformulation☆22Jan 20, 2021Updated 5 years ago
- ☠️ Ground-truth dataset for vulnerability prediction (known research datasets and data sources included such as NVD, CVE Details and OSV)…☆110Apr 22, 2026Updated 6 months ago
- BLIA is a statically integrated analysis approach of IR-based bug localization by utilizing texts and stack traces in bug reports, struct…☆21Oct 26, 2016Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆31Sep 17, 2020Updated 6 years ago
- ☆10Jan 18, 2017Updated 9 years ago
- EDK II LKL Filesystem Driver☆14Mar 7, 2017Updated 9 years ago
- Artifact repository for the paper "Perfect Is the Enemy of Test Oracle", In Proceedings of The 30th ACM Joint European Software Engineeri…☆11May 4, 2023Updated 3 years ago
- Maintains all of the default policies for the Gradle organization☆15Oct 2, 2024Updated 2 years ago
- ☆13Apr 13, 2023Updated 3 years ago
- Checkout our paper: History Driven Program Repair here☆11Mar 15, 2019Updated 7 years ago
- ☆12Jul 19, 2025Updated last year
- Java JDK 8-18 CodeQL databases☆17Jun 2, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A framework for spectrum-based fault localization (SBFL)☆13Jun 8, 2025Updated last year
- Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution☆12Jun 12, 2024Updated 2 years ago
- Artifact of a paper “Fonte: Finding Bug Inducing Commits From Failures” (ICSE'23)☆14Mar 13, 2024Updated 2 years ago
- Multi-Objectives program Repair Framework☆12May 16, 2025Updated last year
- ☆13May 19, 2024Updated 2 years ago
- Bug Localization with DNN and IR☆13May 3, 2019Updated 7 years ago
- Fault Localization using hybrid formulae for CS5704: Software Engineering project☆12May 8, 2018Updated 8 years ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Feb 18, 2019Updated 7 years ago
- A First Look at Conventional Commits Classification☆17Nov 18, 2024Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆13Feb 2, 2023Updated 3 years ago
- ☆51Nov 13, 2020Updated 5 years ago
- The RunBugRun dataset of executable bugs☆27Sep 24, 2025Updated last year
- Library to convert a information text (server banner, for example) into CPE v2.3 value☆25Jan 10, 2014Updated 12 years ago
- Keep your bugs contained. A platform for studying historical software bugs.☆69Jan 8, 2025Updated last year
- ☆13Jun 27, 2025Updated last year
- Yajta is a extensible library for bytecode probe insertion, built on top of javassist. Its transformations may be applied at load time wi…☆17Oct 3, 2022Updated 4 years ago
- ☆23Nov 22, 2023Updated 2 years ago
- Semi-automated modelling and Model-Based Testing for CosmWasm contracts☆18Jun 28, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Defects4J Dissection presents data to help researchers and practitioners to better understand the Defects4J bug dataset☆69Sep 18, 2023Updated 3 years ago
- ☆15Jul 27, 2023Updated 3 years ago
- The guide of paper writing in Latex☆21Mar 18, 2026Updated 7 months ago
- Synthesis of loop-free programs☆25Updated this week
- Experimental Deep Learning for Code Generation Processes☆13Jan 20, 2019Updated 7 years ago
- ☆14Jul 23, 2020Updated 6 years ago
- Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.☆34Jan 19, 2023Updated 3 years ago