<span class="searchmatch">control</span>-<span class="searchmatch">flow</span> <span class="searchmatch">graph</span> (tsz. <span class="searchmatch">control</span>-<span class="searchmatch">flow</span> graphs) (informatika) A <span class="searchmatch">Control</span>-<span class="searchmatch">Flow</span> <span class="searchmatch">Graph</span> (CFG) egy gráfelméleti modell, amely egy program lehetséges vezérlésútvonalait...
<span class="searchmatch">control</span> <span class="searchmatch">flow</span> analysis (tsz. <span class="searchmatch">control</span> <span class="searchmatch">flow</span> analysises) (informatika) A <span class="searchmatch">control</span>-<span class="searchmatch">flow</span> analysis (CFA) egy statikus programanalízis technika, amely azt vizsgálja...
data-<span class="searchmatch">flow</span> analysis (tsz. data-<span class="searchmatch">flow</span> analysises) (informatika) A data-<span class="searchmatch">flow</span> analysis (DFA, magyarul: adatfolyam-analízis) egy statikus programanalízis technika...
least squares kalman filter root locus extended kalman filter signal-<span class="searchmatch">flow</span> <span class="searchmatch">graph</span> state space representation artificial neural networks controllers: closed-loop...
lehetséges, ha nincs függés. DFG (Data <span class="searchmatch">Flow</span> <span class="searchmatch">Graph</span>): Csomópontok: utasítások, Élek: adatfüggés. PDG (Program Dependence <span class="searchmatch">Graph</span>): Kombinálja az adat- és vezérlésfüggéseket...
v t e program analysis key concepts <span class="searchmatch">control</span>-<span class="searchmatch">flow</span> <span class="searchmatch">graph</span> correctness hyperproperties invariants path explosion polyvariance rice's theorem runtime verification...
v t e program analysis key concepts <span class="searchmatch">control</span>-<span class="searchmatch">flow</span> <span class="searchmatch">graph</span> correctness hyperproperties invariants path explosion polyvariance rice's theorem runtime verification...
újrafordítás: hivatkozik-e valami az adott kódra? <span class="searchmatch">Flow</span>-sensitive: figyelembe veszi a vezérlésfolyamat sorrendjét. <span class="searchmatch">Flow</span>-insensitive: nem figyel a végrehajtás sorrendjére...
v t e program analysis key concepts <span class="searchmatch">control</span>-<span class="searchmatch">flow</span> <span class="searchmatch">graph</span> correctness hyperproperties invariants path explosion polyvariance rice's theorem runtime verification...
(type checking): Hibás típusú műveletek kiszűrése. Adatfolyam-analízis (data-<span class="searchmatch">flow</span> analysis): Hogyan mozognak értékek a programon belül. Szeletelés (program...