I. Program Analysis II. Data Flow Analysis ✓ Available Expressions ✓ Liveness Analysis ✓ Reaching Definitions ✓ Very Busy Expressions III.Theory Behind IV. Sensitivity V. Summary

南京大学：《软件安全 Software Security》课程教学资源（PPT课件讲稿）Return-Orinted Programming（ROP Attack）

• Threat Model • Control Flow Graph • Control Flow Integrity basic implementation – Build CFG – Instrumentation – Evaluation – Security and Adversary • Binary-CFI(CCFIR) – Introduce – Implementation – Context-Sensitive CFI

•Types of test tools •Effective use of tools: Potential benefits and risks •Introducing a tool into an organization

• Test organization • Test planning and estimation • Test progress monitoring and control • Configuration management • Risk and testing • Incident management

•The Test Development Process •Categories of Test Design Techniques •Specification-based or Black-box Techniques •Structure-based or White-box Techniques •Experience-based Techniques •Choosing Test Techniques

• Static techniques and the test process • Review process • Static analysis by tools

•Software Development Models •Test Levels •Test Types •Maintenance Testing

同济大学：《软件测试》课程电子教案（PPT课件）Chapter 01 Soft Testing - Fundamentals of Testing

南京大学：《软件安全 Software Security》课程教学资源（PPT课件讲稿）Redundant dynamic Canary