l11-handout

l11-handout - CS 243 Lecture 11 Binary Decision Diagrams...

Info iconThis preview shows pages 1–6. Sign up to view the full content.

View Full Document Right Arrow Icon
1 Advanced Compilers CS 243 Lecture 11 Binary Decision Diagrams (BDDs) in Pointer Analysis 1. Datalog BDD 2. BDDs 3. Context-Sensitive Pointer Analysis 4. Performance of BDD Algorithms Readings: Chapter 12 M. Lam & J. Whaley Advanced Compilers L11. BDDs Automatic Analysis Generation BDD operations 1000s of lines 1 year tuning Datalog bddbddb ( BDD - b ased d eductive d ata b ase) with Active Machine Learning PQL BDD: 10,000s-lines library Compiler writer: Ptr analysis in 10 lines Programmer: Security analysis in 10 lines
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
2 Advanced Compilers L11. BDDs 1. Datalog BDDs Example B D C A calls(A,B) calls(A,C) calls(A,D) calls(B,D) calls(C,D) Advanced Compilers L11. BDDs Call Graph Relation Relation expressed as a binary function. A=00, B=01, C=10, D=11 x 1 x 2 x 3 x 4 f 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 1 1 1 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 0 1 1 1 1 1 0 0 0 0 1 0 0 1 0 1 0 1 0 0 1 0 1 1 1 1 1 0 0 0 1 1 0 1 0 1 1 1 0 0 1 1 1 1 0 B D C 00 10 01 11
Background image of page 2
3 Advanced Compilers L11. BDDs Binary Decision Diagrams (Bryant, 1986) Graphical encoding of a truth table. Y ± Y ² Y ³ Y ³ Y ² Y ² Y ² ´ ´ ´ µ ´ ´ ´ ´ Y ± Y ² Y ³ Y ³ Y ² Y ² Y ² ´ µ µ µ ´ ´ ´ µ Y µ ´ FEHF µ FEHF Advanced Compilers L11. BDDs Binary Decision Diagrams Collapse redundant nodes. Y ± Y ² Y ³ Y ³ Y ² Y ² Y ² ´ ´ ´ ´ ´ ´ ´ Y ± Y ² Y ³ Y ³ Y ² Y ² Y ² ´ ´ ´ ´ Y µ µ µ µ µ µ
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
4 Advanced Compilers L11. BDDs Binary Decision Diagrams Collapse redundant nodes. Y ± Y ² Y ³ Y ³ Y ² Y ² Y ² Y ± Y ² Y ³ Y ³ Y ² Y ² Y ² ´ Y µ µ Advanced Compilers L11. BDDs Binary Decision Diagrams Collapse redundant nodes. Y ± Y ² Y ³ Y ³ Y ± Y ³ Y ³ Y ² Y ² ´ Y µ µ
Background image of page 4
5 Advanced Compilers L11. BDDs Binary Decision Diagrams Collapse redundant nodes.
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 6
This is the end of the preview. Sign up to access the rest of the document.

This document was uploaded on 03/12/2012.

Page1 / 16

l11-handout - CS 243 Lecture 11 Binary Decision Diagrams...

This preview shows document pages 1 - 6. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online