The Hitchhiker's Guide to Program Analysis: A Journey with Large Language Models H Li, Y Hao, Y Zhai, Z Qian arXiv preprint arXiv:2308.00245, 2023 | 18 | 2023 |
Statically discovering high-order taint style vulnerabilities in os kernels H Zhang, W Chen, Y Hao, G Li, Y Zhai, X Zou, Z Qian Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021 | 18 | 2021 |
UBITect: a precise and scalable method to detect use-before-initialization bugs in Linux kernel Y Zhai, Y Hao, H Zhang, D Wang, C Song, Z Qian, M Lesani, ... Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020 | 16 | 2020 |
Demystifying the dependency challenge in kernel fuzzing Y Hao, H Zhang, G Li, X Du, Z Qian, AA Sani Proceedings of the 44th International Conference on Software Engineering …, 2022 | 13 | 2022 |
SyzDescribe: Principled, Automated, Static Generation of Syscall Descriptions for Kernel Drivers Y Hao, G Li, X Zou, W Chen, S Zhu, Z Qian, AA Sani 2023 IEEE Symposium on Security and Privacy (SP), 3262-3278, 2023 | 9 | 2023 |
Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel Y Zhai, Y Hao, Z Zhang, W Chen, G Li, Z Qian, C Song, M Sridharan, ... | 9 | 2022 |
Eluding ml-based adblockers with actionable adversarial examples S Zhu, Z Wang, X Chen, S Li, K Man, U Iqbal, Z Qian, KS Chan, ... Proceedings of the 37th Annual Computer Security Applications Conference …, 2021 | 9* | 2021 |
Automated testing of definition-use data flow for multithreaded programs X Zhang, Z Yang, Q Zheng, P Liu, J Chang, Y Hao, T Liu 2017 IEEE International Conference on Software Testing, Verification and …, 2017 | 7 | 2017 |
Assisting static analysis with large language models: A chatgpt experiment H Li, Y Hao, Y Zhai, Z Qian Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023 | 6 | 2023 |
Themis: Ambiguity-aware network intrusion detection based on symbolic model comparison Z Wang, S Zhu, K Man, P Zhu, Y Hao, Z Qian, SV Krishnamurthy, ... Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021 | 5 | 2021 |
Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach H LI, YU HAO, Y ZHAI, Z QIAN | 4 | 2024 |
E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification Y Hao, W Chen, Z Zhou, W Cui arXiv preprint arXiv:2312.08477, 2023 | 3 | 2023 |
Concspectre: Be aware of forthcoming malware hidden in concurrent programs Y Liu, Z Xu, M Fan, Y Hao, K Chen, H Chen, Y Cai, Z Yang, T Liu IEEE Transactions on Reliability 71 (2), 1174-1188, 2022 | 3 | 2022 |
Tell you a definite answer: Whether your data is tainted during thread scheduling X Zhang, Z Yang, Q Zheng, Y Hao, P Liu, T Liu IEEE Transactions on Software Engineering 46 (9), 916-931, 2018 | 3 | 2018 |
Debugging multithreaded programs as if they were sequential X Zhang, Z Yang, Q Zheng, Y Hao, P Liu, L Yu, T Liu IEEE Access 6, 40024-40040, 2018 | 3 | 2018 |
SyzBridge: Bridging the Gap in Exploitability Assessment of Linux Kernel Bugs in the Linux Ecosystem X Zou, Y Hao, Z Zhang, J Pu, W Chen, Z Qian 31st Annual Network and Distributed System Security Symposium, NDSS, 2024 | 1 | 2024 |
SyzGen++: Dependency Inference for Augmenting Kernel Driver Fuzzing W Chen, Y Hao, Z Zhang, X Zou, D Kirat, S Mishra, D Schales, J Jang, ... | | 2024 |
TAINT ANALYSIS METHOD EMPLOYING SYMBOLIC COMPUTATION AND USED FOR DYNAMIC PARALLEL PROGRAM LIUP LIU Ting, ZHENG Qinghua, ZHANG Xiaodong, HAO Yu, YIN Wenhao CN Patent WO/2017/181,628, 2017 | | 2017 |