课程课件
大约 2 分钟
课程课件
软件分析技术,北京大学,2022
讲师：熊英飞
课件
- 课程介绍
- 程序设计语言基础知识
- 数据流分析I：基础
- 数据流分析II：性质和扩展
- 数据流分析III：多视角理解数据流分析
- 静态单赋值和稀疏分析
- 过程间分析
- 过程间分析加速技术
- 过程内指针分析,project
- 控制流分析
- SOOT
- 抽象解释
- SAT
- SMT
- 符号执行
- 符号抽象
- 程序合成I：枚举
- 程序合成II：空间表示和约束求解
- 程序合成III：概率
- 错误定位
Static Program Analysis,南京大学,2023
讲师: Yue Li, Tian Tan
课件
- Course Introduction, 视频
- Intermediate Representation, 视频
- Data Flow Analysis-Application, 视频1, 视频2
- Data Flow Analysis - Foundations, 视频1,视频2
- Interprocedural Analysis, 视频
- Pointer Analysis, 视频
- Pointer Analysis- Foundations, 视频1,视频2
- Pointer Analysis- Context Sensitivity, 视频1,视频2
- Static Analysis for Security, 视频
- Datalog-BasedProgram Analysis, 视频
- CFL-Reachability and IFDS, 视频
- Soundness and Soundiness, 视频
Static Program Analysis,Aarhus University,2023
讲师：Anders Møller and Michael
课件
- introduction to TIP
- type analysis and the unification solver
- lattices and fixpoint solvers
- examples of flow-sensitive analyses
- interval analysis, widening and narrowing
- path sensitivity and relational analysis
- interprocedural and context sensitive analysis
- distributive analysis (IFDS and IDE)
- control flow analysis and the cubic solver
- pointer analysis
- abstract interpretation
Abstract Interpretation,MIT,2005
讲师： Patrick Cousot
课件
- Lecture 1 : A short informal presentation of the course topic
- Lecture 2 : software verification
- Lecture 3 : undecidabily, complexity, automatic abstract termination proofs by semidefinite programming
- Lecture 4 : Naïve set theory
- Lecture 5: Operational semantics
- Lecture 6: First order logic
- Lecture 7: Program properties: semantics, specification, logics
- Lecture 8: Big-step collecting semantics; Program property classification
- Lecture 9: Lattice theory — Part I
- Lecture 10: Lattice theory — Part II
- Lecture 11: Ordered maps, Closures and Galois connections, part II
- Lecture 12: Fixpoints, Part II and inductive definitions
- Lecture 13: Abstraction, Part I
- Lecture 14: Abstraction, Part II
- Lecture 15: Approximation
- Lecture 16: Non-relational monotonic finitary static analysis, part I
- Lecture 17: Non-relational monotonic finitary static analysis, part II
- Lecture 18: Non-relational, non-monotonic infinitary static analysis
- Lecture 19: Iterative reduced product. Linearization. Polyhedral relational static analysis
- Lecture 20, Iterated forward/backward analysis. Short presentation of theASTRÉE static analyser
Abstract Interpretation,a Winter Schoold at ,2015
讲师： Jan Midtgaard
课件
- Lecture 1: Course intro + Basic concepts of abstract interpretation + OCaml intro
- Lecture 2: Operational semantics + Calculating an analysis I
- Lecture 3: Concepts of abstract interpretation + Calculating an analysis II
- Lecture 4: More concepts of abstract interpretation + Numerical and structural abstractions
- Lecture 5: Case studies: Abstract debugging + Astrée QuickChecking static analysis properties