security-analysis

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.