rshariffdeen / FixMorph
FixMorph is a morphing tool for C source codes which supports automated code-transfer
☆31Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for FixMorph
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆37Updated last year
- CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…☆30Updated 2 years ago
- Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…☆23Updated 3 years ago
- Artifact for IEEE Security and Privacy 2022 paper: "SoK: Demystifying Binary Lifters Through the Lens of Downstream Applications"☆30Updated 2 years ago
- Mutation-guided mutation-based fuzz testing☆41Updated 4 months ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆71Updated 2 years ago
- Program Vulnerability Repair via Inductive Inference☆18Updated 11 months ago
- CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs☆43Updated 5 years ago
- ☆38Updated 2 years ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆52Updated 7 months ago
- Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"☆46Updated 6 months ago
- Learning and Teaching Software Analysis and Verification via SVF☆22Updated 6 months ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆54Updated 7 months ago
- Symbolic Program Slicing with LLVM☆77Updated 4 years ago
- ☆36Updated 11 months ago
- ☆26Updated last year
- Research artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"☆32Updated 2 months ago
- ☆25Updated 3 years ago
- User Guided API Misuse Detection☆27Updated last year
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆43Updated this week
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆31Updated 6 months ago
- ☆75Updated last year
- Juliet C/C++ Dynamic Test Suite☆27Updated last year
- ☆25Updated 3 years ago
- patch presence test via symbolic signatures, ICSE'24☆11Updated 7 months ago
- B2SFinder is a binary-to-source matching tool for OSS reuse detection on COTS software. This project contains the core code of B2SFinder …☆54Updated 5 years ago
- ☆37Updated 3 weeks ago
- ☆39Updated last year
- Code for tracelet-level symbolic execution☆16Updated 2 years ago
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆28Updated 3 years ago