Overview
Topic status: We're looking for students to study this topic.
Data flow analysis is an important technique for understanding the properties of security-critical computer programs. Many embedded programs interact with their environment via hardware interrupts, but traditional compiler-like data flow analysis tools do not consider interrupt handling.
This project will consider how some existing data flow analysis tools for security-critical embedded C code can be enhanced for analysis of interrupt-dependent code. Consideration may also be given to the related problem of exception handling.
The project would suit someone with a strong interest in computer programming and program development tools.
- Study level
- Masters, Honours
- Supervisors
- QUT
- Organisational unit
Science and Engineering Faculty
- Research area
- Keywords
- Information security, Computer programming, Programming tools, Data flow analysis
- Contact
- Please contact the supervisor for enquiries.
Professor Colin Fidge
