1. Precise Compositional Buffer Overflow Detection via Heap Disjointness;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
2. A Smart Status Based Monitoring Algorithm for the Dynamic Analysis of Memory Safety;ACM Transactions on Software Engineering and Methodology;2023-12-11
3. A Source-Level Instrumentation Framework for the Dynamic Analysis of Memory Safety;IEEE Transactions on Software Engineering;2023-04-01
4. An Effective Buffer Overflow Detection With Super Data-Flow Graphs;2022 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom);2022-12
5. Precise divide-by-zero detection with affirmative evidence;Proceedings of the 44th International Conference on Software Engineering;2022-05-21