RigelYoung

RigelYoung's Stars

• radareorg/radare2

  UNIX-like reverse engineering framework and command-line toolset

  Language:C20.9k4888.5k3k

• liguodongiot/llm-action

  本项目旨在分享大模型相关技术原理以及实战经验（大模型工程化、大模型应用落地）

  Language:HTML11.7k95221.2k

• ArduPilot/ardupilot

  ArduPlane, ArduCopter, ArduRover, ArduSub source

  Language:C++11.2k6657.1k17.7k

• guyinatuxedo/nightmare

  Language:Python2.6k5829414

• Clouditera/SecGPT

  SecGPT网络安全大模型

  Language:Python2k2061257

• secureIT-project/CVEfixes

  CVEfixes: Automated Collection of Vulnerabilities and Their Fixes from Open-Source Software

  Language:Python20771052

• wcventure/ConcurrencyPaper

  Concurrency Paper

  977012

• SVF-tools/Test-Suite

  PTABen: Micro-benchmark Suite for Pointer Analysis

  Language:C7271938

• password123456/cve-collector

  Simple Latest CVE Collector Written in Python

  Language:Python583011

• fot-the-fuzzer/pocs

  Language:JavaScript3513111

• marijnheule/CnC

  Cube-and-Conquer SAT solver

  Language:C319112

• ruigulala/ConAnalysis

  Concurrency Bug Vulnerability Analysis

  Language:C++12522

• DownWithUp/CVE-2018-15499

  PoC code for CVE-2018-15499 (exploit race condition for BSoD)

  Language:C11305

• ZJU-Automated-Reasoning-Group/canary

  A unification-based alias analysis and related tools

  Language:C++9002

• JianpingZeng/FlowSensitiveSteensgaardPointerAnalysis

  Steensgaard's Pointer Analysis Algorithm with flow-sensitiveness

  Language:C++6102

• FloridSleeves/ValueCheck

  Code release of our paper "Effective Bug Detection with Unused Definitions" in EuroSys 2024

  Language:C++5100

• Dylbin/flow_divert

  Flow Divert Race Condition Bug (CVE-2022-26757) discovered by @nedwill

  Language:C++4100

• shinjitumala/ConcurrencyBugsLLVMIR

  Maple's concurrency bug archive re-oraganized so that I can easily generate LLVM-IR code from each project.

  Language:C4301

• wpengfei/AVPredictor

  A prototype tool to find Atomicity-violation bugs in multi-threaded programs

  Language:C4201

• BinYu-Xidian-University/CPA4AV

  Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering

  Language:C3120

• tempbottle/CVE-2014-0196

  CVE-2014-0196: Linux kernel pty layer race condition memory corruption

  Language:C3201

• harmim/vut-ibt

  Bachelor's Thesis - Static Analysis Using Facebook Infer to Find Atomicity Violations

  Language:C2201

• anm-spa/CDA

  Analysis of weak and strong control closure (closure of control dependency relation)

  Language:C++1200

• 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

  Language:C++1204

• divyanshu092/concurrency-bugs-CDS-checker

  Analyzing tools for real world concurrency bugs.

  Language:C++1100

• francois-berder/concurrency-bug-linter

  Language:C1100

• Gasu16/Race-Conditions

  Set of race conditions based attacks (TOCTTOU)

  Language:C1200

• huanglei3/lrzip_poc

  lrzip bugs

  1

• 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.

  110

• XorgX304/CVE-2020-9768

  AppleJPEGDriverUserClient : mach port use-after-free/type-confusion via race condition

  Language:C110