Repositories
JiangJias/SFA-Miner
JiangJias/openssl
TLS/SSL and crypto library
JiangJias/cs53600
JiangJias/jiangjias.github.io
JiangJias/msquic
Cross-platform, C implementation of the IETF QUIC protocol, exposed to C, C++, C# and Rust.
JiangJias/clamav
ClamAV - Documentation is here: https://docs.clamav.net
JiangJias/RepoAudit-Home.github.io
RepoAudit: Auditing Code As Human
JiangJias/php-src
The PHP Interpreter
JiangJias/Advance
RTFM! Automatic Assumption Discovery and VerificationDerivation from Library Document for API Misuse Detection