Black Binary's repositories
hust-network-login
为嵌入式设备设计的最小化华中科技大学校园网络认证工具
async-smux
A lightweight asynchronous smux multiplexing library
GoLoginHust
一个基于Go的HustPass登录库,用于登录华科的统一认证登录系统,可用于校内绝大多数平台。
async-channel
Async multi-producer multi-consumer channel
async-lock
Async synchronization primitives
FartExt
在FART的基础上进行优化。实现更深的主动调用。适用AOSP10
klee
KLEE Symbolic Virtual Machine
openwrt
Base on lede, merge with openwrt. btw, dont fork it, pls gib meme star.
rust-tun
TUN device creation and handling.
sign-your-horse
Go编写的签到平台框架
smoltcp
a smol tcp/ip stack
souper
A superoptimizer for LLVM IR
Triton
Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64, ARM32 and AArch64 Instructions Set Architecture (ISA), SMT simplification passes, an SMT solver interface and, the last but not least, Python bindings.
unicorn
Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, X86)
z3.rs
Rust bindings for the Z3 solver.