Thesis Topic Details

Topic ID:
3022
Title:
Symbolic execution for hunting bugs in C/C++ Code
Supervisor:
Jingling Xue
Research Area:
Programming Languages
Associated Staff
Assessor:
Yulei Sui
Topic Details
Status:
Active
Type:
R & D
Programs:
CS CE SE
Group Suitable:
No
Industrial:
No
Pre-requisites:
Good understanding about languages and compilers and good software development skills with large systems
Description:
Dynamic test case generation techniques are being actively studied in both academia and industry as they promise to find bugs and security vulnerabilities in programs automatically from some arbitrarily given test inputs.

A number of tools, such as EXE, CUTE, DART, KLEE and SAGE, have been developed in the past few years.

This started as a honours project last year. A prototyping system implemented in LLVM on combining symbolic execution and slicing is expected to work this year.

The aim of this project is to continue this line of investigation on developing better symbolic execution techniques for finding bugs such as buffer overflow in C/C++ programs.
Comments:
--
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.