Pinned Repositories
advisory-database
Security vulnerability database inclusive of CVEs and GitHub originated security advisories from the world of open source software.
oss-fuzz-gen
LLM powered fuzzing via OSS-Fuzz.
Academic_Smart_Contract_Papers
Academic Smart Contract Papers, Welcome to add this list.
AutoPatcher
🚀AutoPatcher: Automatic Root-Cause-Analysis Guided Program Repair via Large Language Models
CCFrank4dblp
Displays the China Computer Federation (CCF) recommended rank of international conferences and journals in the dblp, Google Scholar, Connected Papers and and Web of Science search results.
CR_score
CR_score: Semantic-based retriever within PatchFinder (ISSTA 2024)
PatchFinder
PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open Source Software (ISSTA 2024)
PatchScout
Reproduce the baseline named PatchScout which is a model published on CCS'21
smartbugs
SmartBugs: A Framework to Analyze Ethereum Smart Contracts
ColBERT
ColBERT: state-of-the-art neural search (SIGIR'20, TACL'21, NeurIPS'21, NAACL'22, CIKM'22, ACL'23, EMNLP'23)
MarkLee131's Repositories
MarkLee131/PatchFinder
PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open Source Software (ISSTA 2024)
MarkLee131/PatchScout
Reproduce the baseline named PatchScout which is a model published on CCS'21
MarkLee131/Academic_Smart_Contract_Papers
Academic Smart Contract Papers, Welcome to add this list.
MarkLee131/smartbugs
SmartBugs: A Framework to Analyze Ethereum Smart Contracts
MarkLee131/AutoPatcher
🚀AutoPatcher: Automatic Root-Cause-Analysis Guided Program Repair via Large Language Models
MarkLee131/CCFrank4dblp
Displays the China Computer Federation (CCF) recommended rank of international conferences and journals in the dblp, Google Scholar, Connected Papers and and Web of Science search results.
MarkLee131/CR_score
CR_score: Semantic-based retriever within PatchFinder (ISSTA 2024)
MarkLee131/curl
A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IMAP, IMAPS, LDAP, LDAPS, MQTT, POP3, POP3S, RTMP, RTMPS, RTSP, SCP, SFTP, SMB, SMBS, SMTP, SMTPS, TELNET, TFTP, WS and WSS. libcurl offers a myriad of powerful features
MarkLee131/FP_Shield
Automatic Inspection of Static Application Security Testing (SAST) Reports via Large Language Model Reasoning
MarkLee131/JDD
MarkLee131/oss-fuzz-gen
LLM powered fuzzing via OSS-Fuzz.
MarkLee131/PoCs
MarkLee131/QLinspector
Finding Java gadget chains with CodeQL
MarkLee131/techxuexi-js
油猴等插件的 学习强国 js 代码 45分/天
MarkLee131/ColBERT
ColBERT: state-of-the-art neural search (SIGIR'20, TACL'21, NeurIPS'21, NAACL'22, CIKM'22)
MarkLee131/cel-cpp
Fast, portable, non-Turing complete expression evaluation (C++)
MarkLee131/EMC
Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications
MarkLee131/exiv2
Image metadata library and tools
MarkLee131/libbpf
Automated upstream mirror for libbpf stand-alone build.
MarkLee131/libjpeg-turbo
Main libjpeg-turbo repository
MarkLee131/libmodbus
A Modbus library for Linux, Mac OS, FreeBSD and Windows
MarkLee131/libusb
A cross-platform library to access USB devices
MarkLee131/lodepng
PNG encoder and decoder in C and C++.
MarkLee131/openjpeg
Official repository of the OpenJPEG project
MarkLee131/oss-fuzz
OSS-Fuzz - continuous fuzzing for open source software.
MarkLee131/project-kb
Home page of project "KB"
MarkLee131/property-based-fuzzing-jingling
MarkLee131/semgrep-rules
Semgrep rules registry
MarkLee131/tmux
tmux source code
MarkLee131/tree-of-thought-llm
[NeurIPS 2023] Tree of Thoughts: Deliberate Problem Solving with Large Language Models