Fall 2017 - CMPT 886 G100

Special Topics in Operating Systems (3)

Auto.Software Analy.&Security

Class Number: 7121

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



Please note this course is cross-listed with CMPT 479

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. 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

Graduate Studies Notes:

Important dates and deadlines for graduate students are found here: http://www.sfu.ca/dean-gradstudies/current/important_dates/guidelines.html. The deadline to drop a course with a 100% refund is the end of week 2. The deadline to drop with no notation on your transcript is the end of week 3.

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