| Class Summary | |
|---|---|
| UnconditionalValueDerefAnalysis | Dataflow analysis to find values unconditionally derefenced in the future. |
| UnconditionalValueDerefDataflow | Dataflow to find value numbers unconditionally dereferenced. |
| UnconditionalValueDerefSet | A set of values unconditionally dereferenced in the future. |