Static Program Analysis · 2024
«Static Program Analysis» (2024) مسلسل، بطولة Yue Li.
القصة
Software Analysis or Static Program Analysis is a course of Nanjing University developed by Tian Tan and Yue Li in Spring 2020. In this course, we will learn about static program analysis, a useful technique for improving the reliability, security and performance of software, and it becomes increasingly impactful in industries nowadays. The course covers two parts: theory and practice. In theory, various materials will be introduced: from the foundations of classical data-flow and pointer analyses to some advanced topics such as security analysis and soundiness. In practice, a brand new static program analysis framework called Tai-e was designed, on top of which we'll implement a series of assignments including live variable analysis, constant propagation, dead code detection, CHA call graph construction, context-insensitive and context-sensitive pointer analyses, and taint analysis.
الأبطال
Yue Li
هل نسيت اسم «Static Program Analysis»؟ صِف القصة أو مشهدًا منه ودع MovieMind يجده لك.
ابحث عن فيلم بالوصفأسئلة شائعة
ما قصة مسلسل «Static Program Analysis»؟
Software Analysis or Static Program Analysis is a course of Nanjing University developed by Tian Tan and Yue Li in Spring 2020. In this course, we will learn about static program analysis, a useful technique for improving the reliability, security and performance of software, and it becomes increasingly impactful in industries nowadays. The course covers two parts: theory and practice. In theory, various materials will be introduced: from the foundations of classical data-flow and pointer analyses to some advanced topics such as security analysis and soundiness. In practice, a brand new static program analysis framework called Tai-e was designed, on top of which we'll implement a series of assignments including live variable analysis, constant propagation, dead code detection, CHA call graph construction, context-insensitive and context-sensitive pointer analyses, and taint analysis.
متى صدر «Static Program Analysis»؟
صدر «Static Program Analysis» عام 2024.
من أبطال «Static Program Analysis»؟
يشارك في البطولة: Yue Li.
