Highlights
- Pro
Lists (1)
Sort Name ascending (A-Z)
Stars
PatchEval: A New Benchmark for Evaluating LLMs on Patching Real-World Vulnerabilities
Differential Testing of the PHP Interpreter [ASE'25]
Propagation-Based Vulnerability Impact Assessment for Software Supply Chains | ASE 2025 🔬
PyTorch3D is FAIR's library of reusable components for deep learning with 3D data
Markdown Inline Rendering Assistant for VSCode
Stream VR games from your PC to your headset via Wi-Fi
chat with private and local large language models
A Dataflow-Driven and Automated Fuzzer for the PHP Interpreter
To enhance the differential testing on DBMS via SQL query mappings
For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhuo Zhang, Nan Jiang, Xiangzhe Xu, Lin Tan, and Xiangyu Zhang. …
A sane API for IDA Pro's decompiler. Useful for malware RE and vulnerability research
Script Commands let you tailor Raycast to your needs. Think of them as little productivity boosts throughout your day.
#1 PDF Application on GitHub that lets you edit PDFs on any device anywhere
A network filesystem client to connect to SSH servers
CONCOCTION is an automated machine learning-based vulnerability detection framework that combines static source code information and dynamic program execution traces.
VulZoo: A Comprehensive Vulnerability Intelligence Dataset | ASE 2024 Demo
Collection of WebAssembly research papers on security topics
Bilingual Resume Template in Latex. 中英双语Latex简历模板
Download 'TIDAL' Music On Windows/Linux/MacOs (PYTHON/C#)
A complete Lossless and Hi-Res music downloader for Qobuz
The first GitHub Copilot, Codeium and ChatGPT Xcode Source Editor Extension
The artifacts contain all reported alarms from evaluated detectors, analysis results of labeled alarms, and refined CryptoGuard as well as false positive examples.
For NUS PhD Students and Staffs, just one click to open the research papers on Google Scholar/IEEE/ACM, etc. with this script.
A proof-of-concept implementation of BitVM for bristol circuits
A large collection of system log datasets for AI-driven log analytics [ISSRE'23]
A machine learning toolkit for log parsing [ICSE'19, DSN'16]
To detect logic bugs in graph database engines by mutating graph query patterns. ICSE'24.