Kontrol flow analyse

Den aktuelle version af siden er endnu ikke blevet gennemgået af erfarne bidragydere og kan afvige væsentligt fra den version , der blev gennemgået den 12. juni 2015; checks kræver 2 redigeringer .

Kontrolflowanalyse  er statisk kodeanalyse for at bestemme den rækkefølge, et program udføres i . Udførelsesrækkefølgen er udtrykt som en kontrolflowgraf .

For mange sprog er kontrolflowgrafen tydeligt synlig i programmets kildekode. Som et resultat refererer kontrolflowanalyse normalt til statisk kodeanalyse. Under analysen bestemmes modtagere af funktioner og metoder kaldet af programmer skrevet på højt niveau sprog . For både funktionelle programmeringssprog og objektorienterede programmeringssprog betyder udtrykket "Kontrolflowanalyse" en algoritme, der genererer en kontrolflowgraf .

Udtrykket kontrolflowanalyse blev først brugt af Neil D. Jones [1] og Olin Shivers [2] .

Til analyse af flowet af kontrol kan bruges: Abstrakt tolkning , Constraint satisfaction , Data typing .

Noter

  1. ↑ Neil D. Jones (1981), Flowanalyse af lambda-udtryk , automater, sprog og programmering : 114–128 , DOI 10.1007/3-540-10843-2_10 
  2. ↑ Shivers, Olin (1988), Control-flow analyse in Scheme , Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI) , SIGPLAN Notices, Vol.23, No.7: 164–174 , DOI 10.1145 /53990.54007