Dataflow Analyses and Compiler Optimizations That Use Them, for Free (regehr.org)