Thesis Topic Details

Topic ID:
3542
Title:
Dynamic program analysis for bug detection using static program slicing
Supervisor:
Yulei Sui
Research Area:
Software Engineering, Program Analysis
Associated Staff
Assessor:
Jingling Xue
Topic Details
Status:
Active
Type:
R & D
Programs:
CS CE BINF SE
Group Suitable:
No
Industrial:
No
Pre-requisites:
Some understanding about programming analysis and good software development skills
Description:
Static analysis tools find bugs in a program without executing the
program. By reasoning statically about all possible execution paths,
they find bugs without relying on any program inputs but can
report excessively many false positives. In contrast, dynamic program
analysis tools find bugs for some particular program inputs. They
are precise (by yielding few false positives) but must be repeatedly run
for a large number of test cases (often blindly) to increase coverage.

This project aims to develop some dynamic analysis techniques for C/C++
programs to find software bugs (e.g., memory access errors) more
efficiently with improved coverage based on static program slicing
and recent advances on pointer analysis.
Comments:
If you want to discuss the topic, send me an email and we can make an appointment.
Past Student Reports
 
No Reports Available. Contact the supervisor for more information.

Check out all available reports in the CSE Thesis Report Library.

NOTE: only current CSE students can login to view and select reports to download.