1. NativeSummary: Summarizing Native Binary Code for Inter-language Static Analysis of Android Apps;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
2. Structure-Sensitive Pointer Analysis for Multi-structure Objects;Proceedings of the 15th Asia-Pacific Symposium on Internetware;2024-07-24
3. Scaling Type-Based Points-to Analysis with Saturation;Proceedings of the ACM on Programming Languages;2024-06-20
4. Golang Defect Detection based on Value Flow Analysis;2024 9th International Conference on Electronic Technology and Information Science (ICETIS);2024-05-17
5. Kaleidoscope: Precise Invariant-Guided Pointer Analysis;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3;2024-04-27