chen-holy
Follow
-
RefactoringMiner Public
Forked from tsantalis/RefactoringMinerJava MIT License UpdatedNov 21, 2025 -
lotus Public
Forked from qingkaishi/canaryProgram analysis and verification framework
C++ GNU Affero General Public License v3.0 UpdatedOct 13, 2025 -
efmc Public
Forked from ZJU-PL/efmcSoftware model checking via exists-forall solving
SMT MIT License UpdatedOct 11, 2025 -
HRM Public
Forked from sapientinc/HRMHierarchical Reasoning Model Official Release
Python Apache License 2.0 UpdatedSep 9, 2025 -
-
sdfuzz Public
Forked from cuhk-seclab/sdfuzzSDFuzz: Target States Driven Directed Fuzzing (Security '24)
C Apache License 2.0 UpdatedAug 18, 2025 -
-
CLeVeR Public
Forked from yoimiya-nlp/CLeVeR[ACL 2025 Findings]
Python Apache License 2.0 UpdatedAug 17, 2025 -
fuzz4all Public
Forked from fuzz4all/fuzz4all🌌️Fuzz4All: Universal Fuzzing with Large Language Models
Python Creative Commons Attribution 4.0 International UpdatedAug 11, 2025 -
oss-fuzz Public
Forked from google/oss-fuzzOSS-Fuzz - continuous fuzzing for open source software.
Shell Apache License 2.0 UpdatedAug 11, 2025 -
smtfuzz Public
Forked from rainoftime/smtfuzzA fuzzer for SMT solvers
Python GNU General Public License v3.0 UpdatedAug 7, 2025 -
mlta Public
Forked from umnsec/mltaTypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets
C++ MIT License UpdatedJul 15, 2025 -
-
PatchAgent Public
Forked from cla7aye15I4nd/PatchAgent[USENIX Security 25] PatchAgent is a LLM-based practical program repair agent that mimics human expertise.
Python Apache License 2.0 UpdatedJun 26, 2025 -
AFLplusplus Public
Forked from AFLplusplus/AFLplusplusThe fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
C Apache License 2.0 UpdatedJun 13, 2025 -
LLMDFA Public
Forked from chengpeng-wang/LLMDFALLMDFA: Analyzing Dataflow in Code with Large Language Models (NeurIPS 2024)
Java MIT License UpdatedJun 9, 2025 -
taintgrind Public
Forked from wmkhoo/taintgrindA taint-tracking plugin for the Valgrind memory checking tool
C GNU General Public License v2.0 UpdatedMay 30, 2025 -
-
empc Public
Forked from joshuay2022/empcEmpc: Effective Path Prioritization for Symbolic Execution with Path Cover
C++ Other UpdatedMay 11, 2025 -
A powerful and user-friendly binary analysis platform!
Python BSD 2-Clause "Simplified" License UpdatedApr 26, 2025 -
fuzzingbook Public
Forked from uds-se/fuzzingbookProject page for "The Fuzzing Book"
Jupyter Notebook Other UpdatedApr 13, 2025 -
SVF Public
Forked from SVF-tools/SVFStatic Value-Flow Analysis Framework for Source Code
C++ Other UpdatedApr 7, 2025 -
-
-
-
-
tree-sitter Public
Forked from tree-sitter/tree-sitterAn incremental parsing system for programming tools
Rust MIT License UpdatedFeb 13, 2025 -
CKGFuzzer Public
Forked from security-pride/CKGFuzzerCKGFuzzer: LLM-Based Fuzz Driver Generation Enhanced By Code Knowledge Graph
C++ MIT License UpdatedFeb 5, 2025 -
vuddy Public
Forked from squizz617/vuddyVUDDY: A Scalable and Accurate Vulnerable Code Clone Detector (S&P'17)
C MIT License UpdatedJan 31, 2025 -
joern Public
Forked from joernio/joernOpen-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc
Scala Apache License 2.0 UpdatedJan 16, 2025