💠
FM, SE, PL, CS, HCI.
1st year Phd Student @Purdue.
- West Lafayette
-
21:47
(UTC -05:00) - https://blog.xu-yang.me
Stars
program-analysis
6 repositories
A collection of out-of-tree LLVM passes for teaching and learning
Teaching and Learning Software Analysis via SVF
Appshark is a static taint analysis platform to scan vulnerabilities in an Android app.
A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)
NaiveSystems Analyze is a static analysis tool for code security and compliance.