Kai Feng's repositories
000
Language:CApache-2.0000
Language:CNOASSERTION000
000
Language:C000
000
Language:Shell000
Language:CNOASSERTION000
Language:CApache-2.0000
Language:CApache-2.0000
qemuafl-dataflow
This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.
Language:CNOASSERTION000
Language:CApache-2.0000
angr
A powerful and user-friendly binary analysis platform!
BSD-2-Clause000
Language:Python000
Tai-e
An easy-to-learn/use static analysis framework for Java
LGPL-3.0000
llvm-project
Fork of LLVM adding CHERI support
000
cheriot-ibex
cheriot-ibex is a RTL implementation of CHERIoT ISA based on LowRISC's Ibex core.
Apache-2.0000
cheriot-rtos
The RTOS components for the CHERIoT research platform
MIT000
OpenPLC_v3
OpenPLC Runtime version 3
000
AGPL-3.0000
cheriot-sail
Sail code model of the CHERIoT ISA
NOASSERTION000
FINAL
留个档,为啥许少要删了它呢,互联网可不会忘记
000
nextjs-notion-starter-kit
Deploy your own Notion-powered website in minutes with Next.js and Vercel.
Language:TypeScriptMIT000