What is wrong?

Notice: Before sending an error with the download, please try the direct link first: Lecture Notes on Static Analysis

Loading...

You must sign in to do that.

Forgot password?

Lecture Notes on Static Analysis

Lecture Notes on Static Analysis

Lecture Notes on Static Analysis

Score: 6.00 | 1 vote
| Sending vote
| Voted!
|

Book Details:

pos
Global
pos
Category
Year:2015
Publisher:University of Aarhus
Pages:58 pages
Language:english
Since:01/07/2015
Size:315 KB
License:Pending review

Content:

These notes present principles and applications of static analysis of programs. We cover type analysis, lattice theory, control flow graphs, dataflow analysis, fixed-point algorithms, narrowing and widening, interprocedural analysis, control flow analysis, and pointer analysis. A tiny imperative programming language with heap pointers and function pointers is subjected to numerous different static analyses illustrating the techniques that are presented.

The style of presentation is intended to be precise but not overly formal. The readers are assumed to be familiar with advanced programming language concepts and the basics of compiler construction.

Categories:

Tags:

Loading comments...

Scanning lists...

The book in numbers

global rank

rank in categories

online since

01/07/2015

rate score

3

votes

1

Social likes

Nothing yet...

Views

Downloads

This may take several minutes

Interest

Countries segmentation

This may take several minutes

Source Referers

Websites segmentation

evolution

This may take several minutes

Loading...