Data Flow Facts

If X == Y ..

What facts are needed ?

• Assertions on the values of variables

• Relationship among values of variables

How are they generated ?

• Other predicates

• Constant assignments

• Copy assignments

• Pointer references

Why the number of facts is large ?

• Facts involving all variables must be collected

Previous slide

Next slide

Back to first slide

View graphic version