{"version":"1.0","type":"link","title":"Data-flow analysis - Newikis","description":"Data-flow analysis is a technique for gathering information about the possible set of values calculated at various points in a computer program. It forms the foundation for a wide variety of compiler optimizations and program verification techniques. A program's control-flow graph (CFG) is used to…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}