41128 Software Analysis Studio

Description

Software systems, which are deeply rooted in a wide range of industries and businesses, are so pervasive that we are often unaware of their presence until software bugs occur. A single bug can cause critical software failures, resulting in huge social and economic impacts. Despite the increasing attention and efforts in improving software reliability and security, modern complex systems (e.g., containing millions of lines of code) are still plagued with bugs.

This subject develops automated software analysis techniques, based on an open-source framework, to understand and discover common yet important software bugs and defects in software systems. Through this subject, students have the opportunity to apply and practise their system programming skills and software development experience. Particularly, the students design and develop automated code analysis tools to understand, discover and detect programming errors to improve software quality. Students are assessed on their technical capabilities, their understanding of software analysis via open-source software development, their communication skills in speaking and writing, and on their team-working skills.

Typical availability

Spring session, City campus