Faculty of Engineering - Ain Shams University, Home

Home  >  Faculty of Engineering - Ain Shams University, Home

Program Analysis

What Will Learn?

  • Course Aims
    ● Understand the importance of Program Analysis ● Know how to analyze the software programs ● Know how to optimize the software programs ● Develop skills in program understanding ● Understand the need and advantage of static and dynamic software analysis
  • Course Goals
  • Decent Work and Economic Growth
  • Industry, Innovation and Infrastructure
  • Sustainable Cities and Communities

Requirements

CSE241

Description

  • English Description

    First-order logic. Implication. Tableaux. Proofs. Deduction. Dataflow analysis. Abstract interpretation. Symbolic execution. Pointer. Control-flow analysis. Inter-procedural analysis. Model checking. Dynamic analysis. Efficient data structures and program representations for analysis
  • Arabic Description

    First-order logic. Implication. Tableaux. Proofs. Deduction. Dataflow analysis. Abstract interpretation. Symbolic execution. Pointer. Control-flow analysis. Inter-procedural analysis. Model checking. Dynamic analysis. Efficient data structures and program representations for analysis
  • Department
    Computer and Systems Engineering
  • Credit Hours
    3
  • Grades
    Total ( 100 ) = Midterm (25) + tr.Major Assessment (30 = tr.Industry 0% , tr.Project 15% , tr.Self_learning 5% , tr.Seminar 15% ) + tr.Minor Assessment (5) + Exam Grade (40)
  • Hours
    Lecture Hours: 2, Tutorial Hours: 2, Lab Hours: 0
  • Required SWL
    125
  • Equivalent ECTS
    5
  • • Cem Kaner, James Bach, Bret Pettichord: software program analysis, 2018
  • • Data Flow Analysis: Theory and Practice, By Uday Khedker, Amitabha Sanyal, Bageshri Sathe, 2020 - Cem Kaner, James Bach, Bret Pettichord: software program analysis, 2018.