LoongChecker: Practical Summary-Based Semi-simulation to Detect Vulnerability in Binary Code.

Shaoyin Cheng, Jun Yang, Jiajie Wang, Jinding Wang, Fan Jiang

Browse the full TrustCom paper archive.