Security Analysis - Diving into Dataflow Analysis and Reaching Definitions
Static analysis comes in all shapes and sizes. A very common technique is dataflow analysis, where we look at how variables affect each other. In this article we’ll look at reaching definitions analysis, one of the core techniques enabling dataflow analysis.