DU-chains(Definition-Use) in complier design

• A. consist of a definition of a variable and all its uses, reachable from that definition
• B. are created using a form of static code analyses
• C. are prerequisite for many compiler optimization including constant propagation and common sub-expression elimination
• D. All of the above