Kaixuan Li

According to our database, Kaixuan Li authored at least 11 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Comprehensive Study on Static Application Security Testing (SAST) Tools for Android.

Jingyun Zhu, Kaixuan Li, Sen Chen, Lingling Fan, Junjie Wang, Xiaofei Xie

IEEE Trans. Software Eng., December, 2024

Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?

Kaixuan Li, Yue Xue, Sen Chen, Han Liu, Kairan Sun, Ming Hu, Haijun Wang, Yang Liu, Yixiang Chen

Proc. ACM Softw. Eng., 2024

FineWAVE: Fine-Grained Warning Verification of Bugs for Automated Static Analysis Tools.

Han Liu, Jian Zhang, Cen Zhang, Xiaohan Zhang, Kaixuan Li, Sen Chen, Shang-Wei Lin, Yixiang Chen, Xinhua Li, Yang Liu

CoRR, 2024

ACFIX: Guiding LLMs with Mined Common RBAC Practices for Context-Aware Repair of Access Control Vulnerabilities in Smart Contracts.

Lyuye Zhang, Kaixuan Li, Kairan Sun, Daoyuan Wu, Ye Liu, Haoye Tian, Yang Liu

CoRR, 2024

Using My Functions Should Follow My Checks: Understanding and Detecting Insecure OpenZeppelin Code in Smart Contracts.

Han Liu, Daoyuan Wu, Yuqiang Sun, Haijun Wang, Kaixuan Li, Yang Liu, Yixiang Chen

Proceedings of the 33rd USENIX Security Symposium, 2024

PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open-Source Software.

Kaixuan Li, Jian Zhang, Sen Chen, Han Liu, Yang Liu, Yixiang Chen

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

2023

Demystifying the Composition and Code Reuse in Solidity Smart Contracts.

Kairan Sun, Zhengzi Xu, Chengwei Liu, Kaixuan Li, Yang Liu

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Comparison and Evaluation on Static Application Security Testing (SAST) Tools for Java.

Kaixuan Li, Sen Chen, Lingling Fan, Ruitao Feng, Han Liu, Chengwei Liu, Yang Liu, Yixiang Chen

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

A Comprehensive Study on Quality Assurance Tools for Java.

Han Liu, Sen Chen, Ruitao Feng, Chengwei Liu, Kaixuan Li, Zhengzi Xu, Liming Nie, Yang Liu, Yixiang Chen

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

2022

Real-time task scheduling for FPGA-based multicore systems with communication delay.

Jinyi Xu, Kaixuan Li, Yixiang Chen

Microprocess. Microsystems, April, 2022

Quantitative BAN Logic Based on Belief Degree.

Kaixuan Li, Hengyang Wu, Jinyi Xu, Yixiang Chen

Proceedings of the Artificial Intelligence Logic and Applications, 2022