rshariffdeen / FixMorph
FixMorph is a morphing tool for C source codes which supports automated code-transfer
☆31Updated last month
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…☆36Updated last year
- 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
- ☆38Updated 2 years ago
- Mutation-guided mutation-based fuzz testing☆41Updated 3 months ago
- ☆25Updated 3 years ago
- Sys, but no longer in Haskell☆17Updated 2 years ago
- Piecewise debloating toolchain☆13Updated 4 years ago
- Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"☆46Updated 5 months ago
- Symbolic Program Slicing with LLVM☆76Updated 4 years ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆56Updated 11 months ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆54Updated 7 months ago
- ☆26Updated last year
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆31Updated 5 months ago
- User Guided API Misuse Detection☆27Updated last year
- RTFM! Automatic Assumption Discovery and VerificationDerivation from Library Document for API Misuse Detection☆16Updated 3 years ago
- ☆23Updated 3 years ago
- Program Vulnerability Repair via Inductive Inference☆18Updated 10 months ago
- PTABen: Micro-benchmark Suite for Pointer Analysis☆72Updated last week
- 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
- implementation of ideas from 'Neutaint: Efficient Dynamic Taint Analysis with Neural Networks'☆13Updated 5 years ago
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆41Updated 2 years ago
- KLEE / CSE Project☆43Updated 4 years ago
- ☆13Updated 3 months ago
- Fuzzle: Making a Puzzle for Fuzzers (ASE'22)☆42Updated 8 months ago
- The official repository of "GraphSPD: Graph-Based Security Patch Detection with Enriched Code Semantics". The paper will appear in the IE…☆41Updated last year
- ☆44Updated 2 years ago
- ☆22Updated 2 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆71Updated 2 years ago
- A deep learning tool for generating platform-agnostic binary code embeddings☆21Updated 2 years ago
- CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs☆43Updated 5 years ago