{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

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

Info iconThis preview shows pages 1–7. 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 Document Right 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 A 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. Advanced Compilers L11. BDDs Binary Decision Diagrams Collapse redundant nodes.
Background image of page 3

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

View Full Document Right Arrow Icon
4 Advanced Compilers L11. BDDs Binary Decision Diagrams Collapse redundant nodes. Advanced Compilers L11. BDDs Binary Decision Diagrams Collapse redundant nodes.
Background image of page 4
5 Advanced Compilers L11. BDDs Binary Decision Diagrams Collapse redundant nodes. Advanced Compilers L11. BDDs Binary Decision Diagrams Eliminate unnecessary nodes.
Background image of page 5

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

View Full Document Right Arrow Icon
6 Advanced Compilers L11. BDDs Binary Decision Diagrams Eliminate unnecessary nodes.
Background image of page 6
Image of page 7
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}