PyReach: A Multi-Agent Framework for Vulnerability Reachability Analysis in Python (APSEC 2025 - Technical Track) - APSEC 2025

Tue 2 - Fri 5 December 2025 Macao, China

Who

Yueqin Wang, Jingzheng Wu, Xiang Ling, Tianyue Luo, Xu Wang

Track

APSEC 2025 Technical Track

Time Zone

The program is currently displayed in (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi.

Use conference time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, UrumqiSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Thu 4 Dec 2025 11:30 - 11:50 at (Session A) lotus room - Session 3A: Concurrency & Formal Methods (Technical Track) Chair(s): Karl Leung

Yueqin Wang

Institute of Software Chinese Academy of Sciences

Jingzheng Wu

Institute of Software, The Chinese Academy of Sciences

Xiang Ling

Institute of Software, Chinese Academy of Sciences

China

Tianyue Luo

Xu Wang

Institute of Software, Chinese Academy of Sciences

Time Zone

The program is currently displayed in (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi.

Use conference time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, UrumqiSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

Thu 4 Dec
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

	10:30 - 12:10	Session 3A: Concurrency & Formal Methods (Technical Track)Technical Track at (Session A) lotus room Chair(s): Karl Leung Hong Kong Institute of Vocational Education

	10:30 20m Full-paper		BDafny: A Formal Execution and Verification Framework of the BPMN 2.0 in Dafny Technical Track Ziqing Su East China Normal University, Sini Chen , Ran Li East China Normal University, Huibiao Zhu , Jiapeng Wang East China Normal University
	10:50 20m Full-paper		MicroRacer: Detecting Concurrency Bugs for Cloud Service Systems Technical Track Zhiling Deng School of Software Engineering, Sun Yat-sen University, Zhuangbin Chen Sun Yat-sen University, Juepeng Wang School of Software Engineering, Sun Yat-sen University
	11:10 20m Full-paper		MUATC: Multi-Agent Utilization to Augment Test Coverage Technical Track Tiecheng Ma College of Computer Science and Technology, National University of Defense Technology, Sirui Liu , Jiaxin Liu National University of Defense Technology, Yating Zhang National University of Defense Technology, Wei Dong National University of Defense Technology
	11:30 20m Full-paper		PyReach: A Multi-Agent Framework for Vulnerability Reachability Analysis in Python Technical Track Yueqin Wang Institute of Software Chinese Academy of Sciences, Jingzheng Wu Institute of Software, The Chinese Academy of Sciences, Xiang Ling Institute of Software, Chinese Academy of Sciences, Tianyue Luo , Xu Wang Institute of Software, Chinese Academy of Sciences
	11:50 20m Full-paper		Recovering Variable Names in The Decompiled Code Based on Multi-Task Learning Technical Track Jiayi Li Nanjing University of Aeronautics and Astronautics, Jingxuan Zhang Nanjing University of Aeronautics and Astronautics, Jian He Shanghai Aerospace Electronic Technology Institute, Jingjing Gu Nanjing University of Aeronautics and Astronautics, Weiqin Zou Nanjing University of Aeronautics and Astronautics