Xiang Chen's repositories
x14ngch3n.github.io
My personal website
rCore-Tutorial-v3
Let's write an OS which can run on RISC-V in Rust from scratch!
CV
Curriculum Vitae written in Typst
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
infer
A static analyzer for Java, C, C++, and Objective-C
vscode-codeql-starter
Starter workspace to use with the CodeQL extension for Visual Studio Code.
popl2020-tutorial
Tutorial for Building Program Reasoning Tools using LLVM and Z3
Goshawk-tutorial
Tutorial of https://github.com/Yunlongs/Goshawk, which is a static analyze tool to detect memory corruption bugs in C source codes.
Goshawk
Goshawk is a static analyze tool to detect memory corruption bugs in C source codes. It utilizes NLP to infer custom memory management functions and uses data flow analysis to abstract their behaviors and then adopts these summaries to enhace bug detection.
nand2tetris
solutions for nand2tetris course
nis7021-labs
Homepage for SJTU NIS7021 labs documentation
Pake
🤱🏻 很简单的用 Rust 打包网页生成很小的 Mac App 🤱🏻 A simple way to package a web page with Rust to create Mac App.
taichi_dem
DEM Code Optimization Challenge: https://forum.taichi.graphics/t/topic/2975
learn-assembly-on-Apple-Silicon-Mac
在 Apple Silicon Mac 上入门汇编语言
PL-Compiler-Resource
程序语言与编译技术相关资料(持续更新中)
cwe_checker
cwe_checker finds vulnerable patterns in binary executables
docker_ghidra_headless_base
base docker image for ghidra headless scripting
FACT_core
Firmware Analysis and Comparison Tool
rustlings
My solutions of rustlings
Learning-C
A series of mini-projects used to learn C for beginners
awesome-llvm-security
awesome llvm security [Welcome to PR]
ctf-wiki
Come and join us, we need you!
C-Plus-Plus
Collection of various algorithms in mathematics, machine learning, computer science and physics implemented in C++ for educational purposes.
play_with_ask
Using GNU Radio and HackRF One to Receive, Analyze and Send ASK/OOK signals