Fall 2017 - CMPT 479 D100

Special Topics in Computing Systems (3)

Auto.Software Analy.&Securi

Class Number: 7102

Delivery Method: In Person


  • Course Times + Location:

    Tu 2:30 PM – 4:20 PM
    AQ 5018, Burnaby

    Th 2:30 PM – 3:20 PM
    SECB 1010, Burnaby

  • Prerequisites:

    CMPT 300.



Current topics in computing systems depending on faculty and student interest.


Please note this course is cross-listed with CMPT 886

Special Topics Title: Automated Software Analysis and Security

Software development is a time consuming and error prone process. Most developers still rely on manual processes to generate tests, discover errors, or correct misbehaving programs. Software security is often an afterthought. Program analysis provides tools and techniques that allow developers to push these burdens onto computers, making software both easier to develop and more reliable. This seminar and project based course explores both foundational and emerging research in program analysis and software engineering. Special focus will be given to automated approaches for avoiding, locating, tolerating, and remediating software failures as well as identifying, remediating, and exploiting security vulnerabilities. Students are expected to learn core techniques used in program analysis and to ultimately apply them. Prerequisites for this course are flexible with instructor approval. CMPT 379 is recommended but not required. Introductory projects will involve programming in C++. Term projects can be done using a language of student preference.


  • Static and dynamic analysis
  • Software security
  • Slicing
  • Automated test generation
  • Managing concurrency and detecting concurrency bugs



Subject to change. Paper presentations, paper reviews, class participation: 40%. Assignments: 30%. Term project: 30%.

Registrar Notes:

SFU’s Academic Integrity web site http://students.sfu.ca/academicintegrity.html is filled with information on what is meant by academic dishonesty, where you can find resources to help with your studies and the consequences of cheating.  Check out the site for more information and videos that help explain the issues in plain English.

Each student is responsible for his or her conduct as it affects the University community.  Academic dishonesty, in whatever form, is ultimately destructive of the values of the University. Furthermore, it is unfair and discouraging to the majority of students who pursue their studies honestly. Scholarly integrity is required of all members of the University. http://www.sfu.ca/policies/gazette/student/s10-01.html