Camera Ready copy of FuzzSlice v1 code for ICSE
☆21Jan 22, 2024Updated 2 years ago
Alternatives and similar repositories for FuzzSliceICSE
Users that are interested in FuzzSliceICSE are comparing it to the libraries listed below
Sorting:
- ☆12Nov 14, 2023Updated 2 years ago
- ☆14Apr 4, 2024Updated last year
- tool of llm-based indirect-call analyzer☆31Feb 18, 2025Updated last year
- Security Vulnerability Repair via Concolic Execution and Code Mutations☆19Sep 12, 2024Updated last year
- Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail call…☆19Updated this week
- ☆19Aug 23, 2024Updated last year
- Vision Transformer-Inspired Automated Vulnerability Repair☆19May 13, 2025Updated 9 months ago
- A data-flow-guided fuzzer☆124Aug 19, 2023Updated 2 years ago
- Utilities for constructing a large dataset of LLVM IR☆25Jun 2, 2025Updated 8 months ago
- A security-oriented static binary analysis tool for comparing the quantity and quality of code reuse gadget sets in program variants.☆17Oct 13, 2023Updated 2 years ago
- Process Orchestration Framework: A camunda 7 fork☆21Updated this week
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆22Jul 5, 2017Updated 8 years ago
- BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation☆25Mar 28, 2024Updated last year
- Definition and Detection of Defects in NFT Smart Contracts☆28Aug 31, 2025Updated 6 months ago
- Temporal Governance - A public good for the broader Ethereum, Optimism, and Base communities☆11Oct 22, 2023Updated 2 years ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆61May 16, 2025Updated 9 months ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Jul 25, 2014Updated 11 years ago
- ☆23Dec 30, 2025Updated 2 months ago
- SDLC Copilot is an Agentic AI system designed to streamline and automate the Software Development Lifecycle (SDLC). From requirement gath…☆23Jun 14, 2025Updated 8 months ago
- ✅SRepair: Powerful LLM-based Program Repairer with $0.029/Fixed Bug☆73Apr 22, 2024Updated last year
- ☆36Apr 26, 2023Updated 2 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆150Jan 30, 2025Updated last year
- A Micro-benchmarking Framework for Python Type Inference Tools☆38Nov 13, 2025Updated 3 months ago
- An Extensible Java Bug Benchmark for Automatic Program Repair Studies☆38Mar 4, 2024Updated last year
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆37Aug 17, 2023Updated 2 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆90Sep 18, 2025Updated 5 months ago
- A library for binary analysis and rewriting☆50Sep 28, 2023Updated 2 years ago
- A framework for high-level Analysis of Ethereum Bytecode☆22Jan 23, 2026Updated last month
- ☆40Apr 3, 2022Updated 3 years ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- Bullet is a professional free 3D game multi-physics library☆17Apr 15, 2013Updated 12 years ago
- A Grand Sumo prediction game☆10Updated this week
- https://icml.cc/virtual/2023/poster/24354☆10Aug 15, 2023Updated 2 years ago
- Sanguimancy: A Blood Magic addon☆10Jul 30, 2019Updated 6 years ago
- The dataset was used as a support to attack obfuscations. It is the largest obfuscated dataset, with realistic and various binaries and f…☆19Jan 15, 2026Updated last month
- Repo for Career Bees. A mildly silly bee mod.☆10Dec 29, 2019Updated 6 years ago
- Create Thaumcraft Nodes☆10May 7, 2015Updated 10 years ago
- ☆12Dec 22, 2025Updated 2 months ago
- Build your own AI-powered automation tools in the terminal with this extensible agent framework☆22Jan 5, 2026Updated last month