QWeiheng

QWeiheng's Stars

• hyperlight-dev/hyperlight

  Hyperlight is a lightweight Virtual Machine Manager (VMM) designed to be embedded within applications. It enables safe execution of untrusted code within micro virtual machines with very low latency and minimal overhead.

  Language:Rust3.1k25104106

• apple-oss-distributions/xnu

  Language:C2.1k1020212

• j2kun/mlir-tutorial

  MLIR For Beginners tutorial

  Language:C++933182084

• googleprojectzero/SockFuzzer

  Language:C436171651

• ChrisCummins/ProGraML

  A Graph-based Program Representation for Data Flow Analysis and Compiler Optimizations

  Language:C++311814963

• SunHao-0/healer

  Kernel fuzzer inspired by Syzkaller.

  Language:Rust273123141

• PromptFuzz/PromptFuzz

  PromtFuzz is an automated tool that generates high-quality fuzz drivers for libraries via a fuzz loop constructed on mutating LLMs' prompts.

  Language:Rust24241027

• Colton1skees/Dna

  LLVM based static binary analysis framework

  Language:C++2205320

• h0mbre/Lucid

  An educational Bochs-based snapshot fuzzer project

  Language:Rust1707010

• SoftSec-KAIST/IMF

  Inferred Model-based Fuzzer

  Language:Python11012425

• shankarapailoor/moonshine

  Language:Go996725

• lt-asset/resym

  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. 🏆 ACM SIGSAC Distinguished Paper Award Winner

  Language:Makefile85424

• OSUSecLab/QtRE

  A Ghidra headless analyzer tailored for Qt binary analysis

  Language:Java61237

• vhscampos/range-analysis

  Static range analysis for the LLVM compiler infrastructure.

  Language:Python567416

• sefcom/RetSpill

  RetSpill: Igniting User-Controlled Data to Burn Away Linux Kernel Protections

  Language:LLVM55318

• SVF-tools/Software-Security-Analysis

  Software Security Analysis Course

  Language:C++513216

• 0x5ec1ab/gpu-tlb

  Language:C++481312

• ucsb-seclab/actor

  Source code for ACTOR, an action-guided kernel fuzzer (USENIX 2023 paper)

  Language:Go33967

• seclab-fudan/FirmRec

  Language:Python29212

• chenyueqi/w2l

  Language:C++25325

• ZHYfeng/Dependency

  Language:Go22126

• Jakob-Koschel/kernel-tools

  Easy way to run a LLVM instrumented kernel in qemu with gdb

  Language:Python21405

• openeuler-mirror/rust_shyper

  Language:Rust19201

• SyzTrust/syztrust

  SyzTrust's main repository. Start here to install.

  Language:Go15202

• kisslune/POCR

  Language:C++14247

• dinghaoliu/IPPO

  IPPO project for bug detection based on similar path analysis

  Language:C++8211

• Khaos2022/Khaos-master

  Official repo for paper "Khaos: The Impact of Inter-procedural Code Obfuscation on Binary Diffing Techniques".

  Language:C++7111

• q1uTr5th/TAPFixer

  TAPFixer is an automatic vulnerability detection and repair framework for TAP-based home automation systems. It can model TAP rules with practical latency and physical features to capture the accurate rule execution behaviors both in the logical and physical space and identify interaction vulnerabilities.

  Language:Python61

• hardos-ebpf-fuzzing/atc24-uno-kprobe

  5401

• IoMT-Lab/neuralert_firmware

  Language:C51