One of the most known examples of data-flow analysis is taint checking which consists of considering all variables which contain user supplied data - which is considered "tainted", i.e. insecure - and preventing those variables from being used until they have been sanitized.
In 2002, Markus Mohnen described a new method of data-flow analysis that does not require the explicit construction of a data-flow graph, instead relying on abstract interpretation of the program and keeping a working set of program counters.
Data-flow analysis is a technique for gathering information about the possible set of values calculated at various points in a computer program.
数据流分析 是一种用于收集计算机程序在不同点计算的值的信息的技术。
A FRAMEWORK FOR INTERPROCEDURAL DATA-FLOW ANALYSIS
一个过程间数据流分析的框架
Conteúdo potencialmente sensível ou impróprio
Os exemplos servem apenas como ajuda na tradução da palavra ou da expressão procurada. Eles não são selecionados ou validados por nós e podem conter linguagem inapropriada. Pedimos que reporte exemplos que devem ser modificados ou que não devem ser exibidos. As traduções potencialmente sensivéis, impróprias ou coloquiais geralmente são marcadas em vermelho ou em laranja.