Write a Blog >>
Tue 10 Nov 2020 01:39 - 01:40 at Virtual room 2 - Analysis 2

We present HOMI, a new technique to enhance symbolic execution by maintaining only a small number of promising states. In practice, symbolic execution typically maintains as many states as possible in a fear of losing important states. In this paper, however, we show that only a tiny subset of the states plays a significant role in increasing code coverage or reaching bug points. Based on this observation, HOMI aims to minimize the total number of states while keeping “promising” states during symbolic execution. We identify promising states by a learning algorithm that continuously updates the probabilistic pruning strategy based on data accumulated during the testing process. Experimental results show that HOMI greatly increases code coverage and the ability to find bugs of KLEE on open-source C programs.

Tue 10 Nov
Times are displayed in time zone: (UTC) Coordinated Universal Time change

01:30 - 01:35
Talk
A Study of Call Graph Construction for JVM-Hosted Languages
Journal First
Karim AliUniversity of Alberta, Xiaoni LaiGoogle, Zhaoyi LuoMicrosoft, Ondřej LhotákUniversity of Waterloo, Julian DolbyIBM Research, USA, Frank TipNortheastern University
Pre-print Media Attached
01:33 - 01:34
Talk
Change Impact Analysis in Simulink Designs of Embedded Systems
Industry Papers
Bennett MackenzieMcMaster University, Canada, Vera PantelicMcMaster University, Canada, Gordon MarksMcMaster University, Canada, Stephen Wynn-WilliamsMcMaster University, Canada, Gehan SelimMcMaster University, Canada, Mark LawfordMcMaster, Alan WassyngMcMaster University, Canada, Moustapha DiabFCA, USA, Feisel WeslatiFCA, USA
DOI
01:35 - 01:36
Talk
Dads: Dynamic Slicing Continuously-Running Distributed Programs with Budget Constraints
Tool Demos
Xiaoqin FuWashington State University, Haipeng CaiWashington State University, USA, Li LiMonash University, Australia
DOI
01:37 - 01:38
Talk
JShrink: In-Depth Investigation into Debloating Modern Java Applications
Research Papers
Bobby BruceUniversity of California at Davis, USA, Tianyi ZhangHarvard University, USA, Jaspreet AroraUniversity of California at Los Angeles, USA, Guoqing Harry XuUniversity of California at Los Angeles, Miryung KimUniversity of California at Los Angeles, USA
DOI
01:39 - 01:40
Talk
Making Symbolic Execution Promising by Learning Aggressive State-Pruning Strategy
Research Papers
Sooyoung ChaKorea University, South Korea, Hakjoo OhKorea University
DOI
01:41 - 02:00
Talk
Conversations on Analysis 2
Research Papers
Karim AliUniversity of Alberta, Pengyu NieUniversity of Texas at Austin, USA, SooYoung Chae, Xiaoqin FuWashington State University, Hoda KhalilCarleton University, M: Shin Hwei TanSouthern University of Science and Technology