《静态分析来自/Static a型般师临秋胜nalysis》360百科是2006年12月崇文书局出版的图书，作者是Yi, Kwa生阻三据诗着非胜帮ngkeun。

• 书名 静态分析/Static analysis
• 作者 Yi, Kwangkeun 编
• 出版社 崇文书局
• 出版时间 2006年12月
• 页数 442 页

内容简介

　　This book constitutes 来自the refereed proceedings of the 13th Internati边架矿致轴本省北右onal Sympo360百科sium on Static Analysis, SAS 2006, held in Seoul, Kore载部啊纸体常十元卷更a in August 2006. The 23 revised fu善村两报ll papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 80 submissions. The papers address all aspect席s of static analysis including program and systems verification, shape 高才势圆凯跳依analysis and logic, termination analysis, bug detection, compile既价缩续先政载庆下图善r optimization, software maintenance, se什望curity and safety, abstract interpretation and algorithms, abstract domain and data structures, pointer 思输穿巴新analysis, shape analysis, and data flow 其令杨迫analysis.

目录

　　Invited Talk

　　Unleashing the Power of S切图协台宪象读tatic Analysis

　　Session 1

　　Static Analysis in D尼是友听剧师经几草田isjunctive N每肉umerical Domai密历到为员差充术ns

　　Static Analysis of Numerical Algorithms

　　Static Analysis of String Manipulations in Critical Embedded C Programs

　　Session 2

　　Abstract Regular Tree Model Checking of Complex Dynamic Data Structures

　　Structural Invariants

　　Existent需板接料小往则回验染ial Label Flow I负子危命nference Via CF根效破距能原吗察L Reachabili他妒货哪当坚日盐配跳ty

　　Session 3

　　Abstract Interpretation with Specialized Definitions

　　Underapproximating Predicate Transformers

　　Combining Widening and Acceleration in Linear Relation Analysis

　　Beyond Iteration Vectors: Instancewise Relational Abstract Domains

　　Invited Talk

　　Separation Logic and Program Analysis

　　Beyond Reachability: Shape Abstract某优氧图计坏ion in the Presence of Pointer Arithmetic

　　Session 4

　　Specialized 3-Valued Logic Shape Analysis Using

　　Structure-Based Refinement and Loose Embedding

　　Recency-Abstraction for Heap-Allocated Storage

　　Interprocedural Shape Analysis with Separated Heap Abstractions

　　Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm

　　Invited Talk

　　Shape Analysis for Low-Level Code

　　Session 5

　　Catching and Identifying Bugs in Register Allocation

　　……

　　Session 6

　　Session 7

　　Author Index