Skip to content
COP-5021 Program Analysis Spring 2020 at UCF
Branch: master
Clone or download
Latest commit df66196 Jan 16, 2020
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
.gitignore gitignore Jan 9, 2020
README.md moved schedule higher and separated out lectures and homework Jan 9, 2020
lectures.md Update lectures.md Jan 16, 2020
papers.md Create papers.md Jan 14, 2020
readings_and_homework.md Rename homework.md to readings_and_homework.md Jan 16, 2020

README.md

COP-5021 Program Analysis

  • Spring 2020
  • Section 1
  • University of Central Florida
  • Prerequisite(s): COP 4020 and COT 4210 or C.I.

Personnel

Office Hours

  • Tuesdays 11:00am-12:00pm, HEC-239
  • Thursdays 1:30pm-2:30pm, HEC-239
  • By appointment if needed
  • No office hours:

Schedule

Class: Tuesday/Thursday 12:00-13:15 HPA1-O110

Dates: 01/07-04/16

Final exam period (project presentations): 4/23 10am-12:50pm

No lecture: 02/27 (instructor travel), 03/10 and 03/12 (spring break)

Lectures

Problem sets and readings

Course Info

Description

Static analysis of programs including theoretical and practical limitations, data flow analysis, abstract interpretation, and type and effect systems. Tools to automate program analysis.

This course combines both a traditional, lecture-style course with seminar-style graduate course.

Lecture Topics

  • Abstract syntax trees (ASTs)
  • Control-flow graphcs (CFGs)
  • Program dependence graphs (PDGs)
  • Static single-assignment (SSA) form
  • Classic compiler optimizations
  • Type analysis
  • Data-flow analysis
  • IFDS data-flow framework
  • Path-, flow-, and context-sensitive analysis
  • Pointer analysis
  • Taint analysis
  • Interprocedural analysis
  • Abstract interpretation
  • Automated theorem provers
  • Bug-finding
  • Program analysis for security
  • Analysis of configurable software

Homework and readings

Be prepared for at least one problem set or reading per class

Project

Each student will complete there own unique project.

Project ideas:

  • Implement an analysis
  • Describe and demonstrate a tool
  • Replicate a paper's evaluation
  • Write a formal proof

Learning Outcomes

  • Understanding of major static program analysis techniques
  • Familiarity with program analysis tooling
  • Program analysis implementation and study design
  • Critical reading skills for academic papers
  • Technical presentation skills

Course Materials

Online Textbook

  • Static Program Analysis by Anders Møller and Michael I. Schwartzbach. Book and slides.

Academic Publications

Empirical Evaluation Resources

Supplementary Material

  • Principles of Programming Analysis by Flemming Nielson, Hanne Riis Nielson, and Chris Hankin
  • Advanced Compiler Design and Implementation by Steven Muchnich. Morgan Kaufman, 1997
  • Compilers: Principles, Techniques, & Tools, Second Edition by Alfred V. Aho, Monica S. Lam, Ravi Sethi, and Jeffrey D. Ullman. Addison Wesley, 2007
  • The Practice of Programming by Brian W. Kernighan and Rob Pike. https://www.cs.princeton.edu/~bwk/tpop.webpage/

Grading Scheme

  • 20% Homework and Quizzes
    • Homework from test book
    • In-class quizzes
  • 45% Readings and Presentations
    • Paper presentations
    • Summaries of readings
  • 35% Project
    • Implementation
    • Presentation

Letter Grades

A >= 90%, B+ >= 87%, B >= 80%, C+ >= 77%, C >= 70%, D >= 60%, F < 60%. (minuses may be used in some cases)

Core Policy Statements

Academic Integrity

The Center for Academic Integrity (CAI) defines academic integrity as a commitment, even in the face of adversity, to five fundamental values: honesty, trust, fairness, respect, and responsibility. From these values flow principles of behavior that enable academic communities to translate ideals into action. http://academicintegrity.org/

UCF Creed: Integrity, scholarship, community, creativity, and excellence are the core values that guide our conduct, performance, and decisions.

  1. Integrity: I will practice and defend academic and personal honesty.

  2. Scholarship: I will cherish and honor learning as a fundamental purpose of my membership in the UCF community.

  3. Community: I will promote an open and supportive campus environment by respecting the rights and contributions of every individual.

  4. Creativity: I will use my talents to enrich the human experience.

  5. Excellence: I will strive toward the highest standards of performance in any endeavor I undertake.

The following definitions of plagiarism and misuse of sources come from the Council of Writing Program Administrators http://wpacouncil.org/node/9 and have been adopted by UCF's Department of Writing & Rhetoric.

Plagiarism

In an instructional setting, plagiarism occurs when a writer deliberately uses someone else's language, ideas, or other original (not common-knowledge) material without acknowledg­ing its source. This definition applies to texts published in print or on-line, to manuscripts, and to the work of other student writers.

Misuse of Sources

A student who attempts (even if clumsily) to identify and credit his or her source, but who misuses a specific citation format or incorrectly uses quotation marks or other forms of identifying material taken from other sources, has not plagiarized. Instead, such a student should be considered to have failed to cite and document sources appropri­ately.

Responses to Academic Dishonesty, Plagiarism, or Cheating

UCF faculty members have a responsibility for your education and the value of a UCF degree, and so seek to prevent unethical behavior and when necessary respond to infringements of academic integrity. Penalties can include a failing grade in an assignment or in the course, suspension or expulsion from the university, and/or a "Z Designation" on a student's official transcript indicating academic dishonesty, where the final grade for this course will be preceded by the letter Z. For more information about the Z Designation, see http://goldenrule.sdes.ucf.edu/zgrade.

For more information about UCF's Rules of Conduct, see http://www.osc.sdes.ucf.edu/.

Unauthorized Use of Class Materials

There are many fraudulent websites claiming to offer study aids to students but are actually cheat sites. They encourage students to upload course materials, such as test questions, individual assignments, and examples of graded material. Such materials are the intellectual property of instructors, the university, or publishers and may not be distributed without prior authorization. Students who engage in such activity are in violation of academic conduct standards and may face penalties.

Unauthorized Use of Class Notes

Faculty have reported errors in class notes being sold by third parties, and the errors may be contributing to higher failure rates in some classes. The following is a statement appropriate for distribution to your classes or for inclusion on your syllabus:

Third parties may be selling class notes from this class without my authorization. Please be aware that such class materials may contain errors, which could affect your performance or grade. Use these materials at your own risk.

In-Class Recording Policy

Outside of the notetaking and recording services offered by Student Accessibility Services, the creation of an audio or video recording of all or part of a class for personal use is allowed only with the advance and explicit written consent of the instructor. Such recordings are only acceptable in the context of personal, private studying and notetaking and are not authorized to be shared with anyone without the separate written approval of the instructor.

Course Accessibility Statement

The University of Central Florida is committed to providing access and inclusion for all persons with disabilities. This syllabus is available in alternate formats upon request. Students with disabilities who need specific access in this course, such as accommodations, should contact the professor as soon as possible to discuss various access options. Students should also connect with Student Accessibility Services (Ferrell Commons, 7F, Room 185, sas@ucf.edu, phone (407) 823-2371). Through Student Accessibility Services, a Course Accessibility Letter may be created and sent to professors, which informs faculty of potential access and accommodations that might be reasonable.

Campus Safety Statement

Emergencies on campus are rare, but if one should arise in our class, we will all need to work together. Everyone should be aware of the surroundings and familiar with some basic safety and security concepts.

  • In case of an emergency, dial 911 for assistance.

  • Every UCF classroom contains an emergency procedure guide posted on a wall near the door. Please make a note of the guide's physical location and consider reviewing the online version at http://emergency.ucf.edu/emergency_guide.html.

  • Familiarize yourself with evacuation routes from each of your classrooms and have a plan for finding safety in case of an emergency. (Insert class-specific details if appropriate)

  • If there is a medical emergency during class, we may need to access a first aid kit or AED (Automated External Defibrillator). To learn where those items are located in this building, see http://www.ehs.ucf.edu/AEDlocations-UCF (click on link from menu on left). (insert class specific information if appropriate)

  • To stay informed about emergency situations, sign up to receive UCF text alerts by going to my.ucf.edu and logging in. Click on "Student Self Service" located on the left side of the screen in the tool bar, scroll down to the blue "Personal Information" heading on your Student Center screen, click on "UCF Alert", fill out the information, including your e-mail address, cell phone number, and cell phone provider, click "Apply" to save the changes, and then click "OK."

  • If you have a special need related to emergency situations, please speak with me during office hours.

  • Consider viewing this video (https://youtu.be/NIKYajEx4pk) about how to manage an active shooter situation on campus or elsewhere.

Deployed Active Duty Military Students

If you are a deployed active duty military student and feel that you may need a special accommodation due to that unique status, please contact your instructor to discuss your circumstances.

You can’t perform that action at this time.