DU-chains(Definition-Use) in compiler 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 analysis

C

are prerequisite for many compiler optimization including constant propagation and common sub-expression elimination

D

All of the above