Principles of Program Analysis (CSSE4630)
Information valid for Semester 2, 2021
Course level
Undergraduate
Faculty
Engineering, Architecture & Information Technology
School
Info Tech & Elec Engineering
Units
2
Duration
One Semester
Delivery mode
External
Class hours
1L1I2R
Incompatible
CSSE7630
Prerequisite
COMP4403
Assessment methods
Assignment, Examination
Course enquiries
Study Abroad
This course is pre-approved for Study Abroad and Exchange students.
Current course offerings
| Course offerings | Location | Mode | Course Profile |
| Semester 2, 2025 (28/07/2025 - 22/11/2025) | St Lucia | In Person | Profile unavailable |
Please Note: Course profiles marked as not available may still be in development.
Course description
Program analysis is used for: code optimisation in compilers, finding programs errors and potential security flaws. This course examines techniques for performing static analysis of computer code and the implementation of software tools for performing such analyses. Topics include: data flow analysis; constraint- based analysis; abstract interpretation; and type and effect systems.
Archived offerings
| Course offerings | Location | Mode | Course Profile |
| Semester 2, 2024 (22/07/2024 - 18/11/2024) | St Lucia | In Person | Course Profile |
| Semester 2, 2023 (24/07/2023 - 18/11/2023) | St Lucia | In Person | Course Profile |
| Semester 2, 2022 (25/07/2022 - 19/11/2022) | St Lucia | Internal | Course Profile |
| Semester 2, 2022 (25/07/2022 - 19/11/2022) | External | External | Course Profile |
| Semester 2, 2021 (26/07/2021 - 20/11/2021) | St Lucia | Internal | Course Profile |
| Semester 2, 2021 (26/07/2021 - 20/11/2021) | External | External | Course Profile |
| Semester 2, 2020 (03/08/2020 - 21/11/2020) | St Lucia | Flexible Delivery | Course Profile |
| Semester 2, 2020 (03/08/2020 - 21/11/2020) | External | External | Course Profile |
