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: |
Yi Lu | |
| 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. |
||