WOOSEUNGHOON / MOVERY-publicView external linksLinks
☆26Mar 31, 2023Updated 2 years ago
Alternatives and similar repositories for MOVERY-public
Users that are interested in MOVERY-public are comparing it to the libraries listed below
Sorting:
- ☆62Jan 3, 2024Updated 2 years ago
- The source code (including datasets) of V1SCAN (USENIX Security 2023; will be uploaded).☆42Nov 4, 2023Updated 2 years ago
- The repo for V0Finder (Security 21)☆26Aug 8, 2021Updated 4 years ago
- ReDeBug Source Code.☆24Dec 12, 2023Updated 2 years ago
- Papers related with kernel papers☆13Mar 18, 2023Updated 2 years ago
- Semantic Crash Bucketing☆16Sep 8, 2020Updated 5 years ago
- ICSE 2018 paper implement☆18Jan 8, 2019Updated 7 years ago
- Cottontail: A LLM-Driven Concolic Execution Engine (Accepted by IEEE S&P'26)☆34Dec 4, 2025Updated 2 months ago
- A framework to test the correctness of the Linux kernel patch.☆22Sep 29, 2023Updated 2 years ago
- Signature-based Static Analysis for Detecting Recurring Vulnerabilities☆50Sep 25, 2024Updated last year
- Public version of CNEPS☆24Dec 30, 2024Updated last year
- ☆24Aug 24, 2025Updated 5 months ago
- VUDDY: A Scalable and Accurate Vulnerable Code Clone Detector (S&P'17)☆51Jan 31, 2025Updated last year
- ISSTA'23 - Third-party Library Dependency for Large-scale SCA in the C/C++ Ecosystem: How Far Are We?☆29Jul 24, 2023Updated 2 years ago
- FixMorph is a morphing tool for C source codes which supports automated code-transfer☆35Apr 9, 2025Updated 10 months ago
- ☆39May 31, 2024Updated last year
- Public-facing course info for program analysis materials.☆43Dec 4, 2025Updated 2 months ago
- ☆38Nov 30, 2020Updated 5 years ago
- Goshawk is a static analyze tool to detect memory corruption bugs in C source codes. It utilizes NLP to infer custom memory management fu…☆102Dec 18, 2023Updated 2 years ago
- A C/C++ dependency scanner☆41Nov 24, 2023Updated 2 years ago
- Some literature published on topics around IoT & Cybersecurity☆13Oct 13, 2025Updated 4 months ago
- grad teaching, intro to SE☆12May 18, 2025Updated 8 months ago
- 커스텀 레시피 공유 앱 냠냠박사 🎓☆11Mar 3, 2022Updated 3 years ago
- 나에게 맞는 업무 공간 찾기, 워캣☆10Aug 11, 2023Updated 2 years ago
- MIPS I simulator☆20Dec 28, 2018Updated 7 years ago
- An implementation of sparse-value flow analysis on top of soot (using Scala)☆10Dec 12, 2024Updated last year
- Repo for the paper "Bounding Training Data Reconstruction in Private (Deep) Learning".☆11Jun 16, 2023Updated 2 years ago
- ☆12Jun 8, 2021Updated 4 years ago
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆12Oct 20, 2022Updated 3 years ago
- This is the implementation of RC4, a software stream cipher.☆10Oct 9, 2019Updated 6 years ago
- Dahua NVR command line tool☆11Sep 8, 2020Updated 5 years ago
- Tetris like game written in JavaScript☆15Aug 13, 2024Updated last year
- ☆11Feb 2, 2024Updated 2 years ago
- I am still working on it☆12Apr 30, 2020Updated 5 years ago
- Yet another implementation of TI C6x DSP simulator☆12Jan 16, 2014Updated 12 years ago
- A deep learning model for identifying and localizing vulnerabilities in C/C++ source code.☆12Jan 18, 2025Updated last year
- CRAX: software CRash analysis for Automatic eXploit generation☆50Aug 19, 2015Updated 10 years ago
- ☆11Aug 24, 2023Updated 2 years ago
- CodeBERT based mutation testing tool.☆13Nov 10, 2025Updated 3 months ago