Artifact for "A Learning-Based Approach to Static Program Slicing": Paper accepted at OOPSLA'24
☆11Mar 31, 2024Updated 2 years ago
Alternatives and similar repositories for ns-slicer
Users that are interested in ns-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:
- Hybrid Program Analysis-Guided Test Generation☆11Jun 15, 2026Updated 4 months ago
- Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.☆55Mar 23, 2026Updated 7 months ago
- Repository for source code of RUBHUS☆12Dec 17, 2023Updated 2 years ago
- ☆12Apr 20, 2017Updated 9 years ago
- JavaSlicer is an open-source dynamic slicing tool developed at Saarland University☆45Oct 13, 2020Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆15Feb 28, 2024Updated 2 years ago
- ☆21Apr 21, 2023Updated 3 years ago
- Reproduction package of the paper "DeepCVA: Automated Commit-level Vulnerability Assessment with Deep Multi-task Learning" in Automated S…☆21Feb 25, 2023Updated 3 years ago
- Slicing tool for c++ programs using clang AST.☆18Mar 8, 2021Updated 5 years ago
- 南京邮电大学电工电子基础实验B实验报告☆13Dec 8, 2024Updated last year
- ☆16Dec 12, 2021Updated 4 years ago
- ChisaBot：中文自托管 BOT 平台，支持可配置模型 与 Magpie 集成☆18Updated this week
- This repository accompanies the research paper "P. Kreutzer, S. Kraus, M. Philippsen: Language-Agnostic Generation of Compilable Test Pro…☆12Jul 8, 2022Updated 4 years ago
- A library to generate AST, CFG, PDG for Java program☆17Jun 13, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆22Mar 21, 2024Updated 2 years ago
- A program slicer for Java, based on the system dependence graph (SDG).☆72Apr 15, 2026Updated 6 months ago
- Bug dataset provided for ChinaSoft 2025 APR Competition☆11May 22, 2025Updated last year
- Neural tree search for repo-level code-use planning. MutaGReP explores plan space through LLM guided mutations, while grounding the plan …☆14Feb 27, 2025Updated last year
- This repository provides the code and guidance for reproducing the results in our ESEC/FSE 2023 submission "Pre-training Code Representat…☆27Jan 24, 2024Updated 2 years ago
- An Extensible Java Bug Benchmark for Automatic Program Repair Studies☆38Mar 4, 2024Updated 2 years ago
- ☆24Jul 12, 2022Updated 4 years ago
- Static JavaScript Analysis: AST, Control Flow, Data Flow, & Pointer Analysis☆28Feb 26, 2022Updated 4 years ago
- Correlate NVD datasets wIth CWE/CAPEC/CVSS labels for customised usage. Plus static analysis and data visualisation.☆13Nov 17, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- automatic data race analysis for Linux device drivers☆12Jul 27, 2016Updated 10 years ago
- ☆16Dec 25, 2022Updated 3 years ago
- Offical implementation of our paper "FeatBench: Towards More Realistic Evaluation of Feature-level Code Generation".☆17Mar 13, 2026Updated 7 months ago
- This tool is a Program Dependence Graph generator for a given input file in the programming language Java that can be outputed as a dot f…☆23Dec 29, 2019Updated 6 years ago
- Anderson points-to analysis implementation based on LLVM☆12Jan 3, 2021Updated 5 years ago
- APHP: Detecting API Post-Handling Bugs Using Code and Description in Patches（Usenix Security 2023）☆14Jun 21, 2023Updated 3 years ago
- List of Linux kernel data races found in recent 5 years☆13Jul 28, 2018Updated 8 years ago
- A deep learning tool for generating platform-agnostic binary code embeddings☆20Aug 4, 2022Updated 4 years ago
- Introducing CFG（control flow graph） and PDG (program dependency graph) into AST (abstract syntax tree) implementation using Java Paser an…☆24Apr 19, 2019Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆13Aug 9, 2023Updated 3 years ago
- TFA project for indirect call analysis☆13Mar 13, 2025Updated last year
- Replication package of a paper "Large Language Models are Few-shot Testers: Exploring LLM-based General Bug Reproduction"☆29Sep 7, 2023Updated 3 years ago
- ☆30Sep 16, 2021Updated 5 years ago
- The newest version of PatchNet☆14Nov 25, 2022Updated 3 years ago
- ☆17Dec 9, 2022Updated 3 years ago
- This is a command line interface for the Rec Cloud Service (rec.ustc.edu.cn)☆15Oct 24, 2025Updated last year