A SURVEY OF THE TECHNIQUES FOR PROCESSING STATIC ANALYSIS ALARMS

PhD Qualifying Examination


Title: "A SURVEY OF THE TECHNIQUES FOR PROCESSING STATIC ANALYSIS ALARMS"

by

Mr. Wai Ting CHEUNG


Abstract:

Static analysis tools have shown to be useful in finding bugs in the early 
stages of software development. Despite such benefit, previous research 
reported that they are not widely adopted in the industry, due to a large 
number of reports and false positives. When the cost of manually inspecting the 
alarms outweighs that of automation, it reduces the likelihood of developers 
using the tools. To help developers adapt static analysis in their development, 
the research community has developed different approaches to reduce the manual 
work.

In this paper, we report a systematic literature survey on the techniques for 
post-processing the alarms of static analysis. Throughout the paper, we discuss 
the benefits and drawbacks of each technique. While the techniques have 
different degrees of automation, they can be a complement of each other. This 
motivates to combine the techniques to put more computation power or manual 
labor on the alarms of high priority. It also encourages further research into 
how different techniques can be integrated into the workflow of software 
development.


Date:			Wednesday, 12 October 2016

Time:                  	3:30pm - 5:30pm

Venue:                  Room 2304
                         Lifts 17/18

Committee Members:	Dr. Sunghun Kim (Supervisor)
 			Prof. Shing-Chi Cheung (Chairperson)
 			Prof. Fangzhen Lin
 			Dr. Xiaojuan Ma


**** ALL are Welcome ****