Beast code in Giters

Liu Wei's starred repositories

OSS-Fuzz - continuous fuzzing for open source software.

Language:ShellApache-2.01025100

Language:RustNOASSERTION10900

A snapshotting, coverage-guided fuzzer for software (UEFI, Kernel, firmware, BIOS) built on SIMICS

Language:RustApache-2.027000

Language:RustNOASSERTION3400

Language:C4900

计算机自学指南

Language:HTMLMIT5470400

Language:RustNOASSERTION2000

Rust mid-level IR Abstract Interpreter

Language:RustMIT100300

A static verifier for Rust, based on the Viper verification infrastructure.

Language:RustNOASSERTION154000

EDK II new feature staging

Language:CBSD-3-Clause9700

Confidential Containers Shim Firmware

Language:RustNOASSERTION8800