By Tucker Taft, Director of Language Research, AdaCore.
CodePeer uses value numbers as part of its static analysis. This is one of the keys to its power and its flexibility. This is a short note that explains how value numbers work in the context of CodePeer, and what advantages they provide.
The use of value numbers in static analysis.
