RigelYoung's Stars
liguodongiot/llm-action
本项目旨在分享大模型相关技术原理以及实战经验(大模型工程化、大模型应用落地)
LiteOS/LiteOS
code and manual
travitch/whole-program-llvm
A wrapper script to build whole-program LLVM bitcode files
mchalupa/dg
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
wcventure/ConcurrencyPaper
Concurrency Paper
jieyu/concurrency-bugs
A collection of concurrency bugs. Please cite our ISCA paper "A Case for an Interleaving Constrained Shared-Memory Multi-Processor" if you used our resource.
password123456/cve-collector
Simple Latest CVE Collector Written in Python
peihp/BookWorm
有那么一只勤勉的小虫,它如痴如醉地沉迷于书卷,孜孜不倦地咀嚼着……
travitch/build-bom
Dynamically discover the commands used to create a piece of software
fot-the-fuzzer/pocs
qingkaishi/canary
A unification-based alias analysis and related tools
ruigulala/ConAnalysis
Concurrency Bug Vulnerability Analysis
DownWithUp/CVE-2018-15499
PoC code for CVE-2018-15499 (exploit race condition for BSoD)
qingkaishi/context-sensitive-reachability
Indexing reachability for context-sensitive data flow analysis.
chenruibuaa/racebench
Examples for NASAC 2019 interrupt race detection competition
PeimingLiu/AserPTA
Dylbin/flow_divert
Flow Divert Race Condition Bug (CVE-2022-26757) discovered by @nedwill
shinjitumala/ConcurrencyBugsLLVMIR
Maple's concurrency bug archive re-oraganized so that I can easily generate LLVM-IR code from each project.
wpengfei/AVPredictor
A prototype tool to find Atomicity-violation bugs in multi-threaded programs
BinYu-Xidian-University/CPA4AV
Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering
tempbottle/CVE-2014-0196
CVE-2014-0196: Linux kernel pty layer race condition memory corruption
harmim/vut-ibt
Bachelor's Thesis - Static Analysis Using Facebook Infer to Find Atomicity Violations
CyberSecurityExploitDevelopment/SMBExploitEternalSynergyDoSPOC
A P.O.C. for the MS17-10 ETERNALCHAMPION race condition written fully in C++ inspired by worawit's (but not copied from) eternalchampion_poc2 and eternalsynergy
divyanshu092/concurrency-bugs-CDS-checker
Analyzing tools for real world concurrency bugs.
francois-berder/concurrency-bug-linter
Gasu16/Race-Conditions
Set of race conditions based attacks (TOCTTOU)
qingkaishi/concurrency-bugs
A collection of concurrency bugs (http://www.eecs.umich.edu/~jieyu/bugs.html).
syam37/Identifying-Concurrency-Bug-Reports
A set of linguistic patterns to capture sentences describing concurrency bug reports. A first approach that uses linguistic patterns and fuzzy methods to classify concurrency bug reports automatically. An extensive empirical evaluation of open-source software, and a dataset of labeled bug reports for replication purposes and future research.
wangilson/A
XorgX304/CVE-2020-9768
AppleJPEGDriverUserClient : mach port use-after-free/type-confusion via race condition