Ano ang isang control flow graph?

Ang isang control flow graph (CFG) ay isang visual na representasyon ng iba't ibang mga landas na maaaring gawin ng code ng isang programa sa computer. Ang isang CFG ay binubuo ng isang serye ng mga simbolo, na tinatawag na mga node, na konektado sa pamamagitan ng mga arrow na nagpapakitaAng ruta na maaaring dalhin ng bawat isa sa susunod na node. Ang bawat node ay kumakatawan sa isang makabuluhang linya o linya ng code ng programming. Maraming mga paraan upang mag -render ng isang CFG, ngunit sila aylahat ng pangkalahatang binabasa sa parehong paraan. Sa hitsura, ang isang graph ng daloy ng control ay hindi katulad ng isang flowchart.

Ang isa sa mga pangunahing layunin ng paglikha ng isang control flow graph ay upang matuklasan kung may mga bahagi ng isang computerAng programa na hindi kinakailangan. Madali itong makamit kapag tinitingnan ang diagram ng daloy ng control. Ang anumang node na walang isang arrow na kumokonekta dito sa natitirang mga node ay maaaring alisin.

Ang isa pang layunin ay isang kontrolNaghahain ang daloy ng graph ay upang makatulong sa paghiwalayin ang mga problema tulad ng walang katapusang mga loop, kung saan ang pagpapatupad ng programa ay hindi lumipat sa kabila ng isang solong node. Ang bawat arrow saIpinapakita ng Diagram kung anong kondisyon ang dapat matugunan upang lumipat sa node kung saan ito tumuturo, kaya ang mga sitwasyon kung saan ang kondisyong iyon ay hindi kailanman natutugunan ay maaaring makita, sapagkat nagiging sanhi ito ng programa na bumalik sa nakaraang node nang paulit -ulit.

sa wakas, makakatulong ang isang graph ng daloyAng code ng programa na iyon ay isinasagawa sa tamang pagkakasunud -sunod. Ang visual na katangian ng isang control flow graph ay isa saAng na -access ay magiging medyo halata, dahil walang alinman sa mga arrow na nag -uugnay nito sa pangunahing programa o ang mga kondisyon ay magpapakita na hindi sila maaaring matugunan upang maabot ang code. May mga programa sa computer na maaaring awtomatikoAlly makabuo ng isang control flow graph batay sa isang serye ng mga file ng source code, karagdagang pagpapagaan ng proseso.Ang ilang mga graph ay gumagamit ng mga bilog o mga parisukat na eksklusibo upang kumatawan sa mga node habang ang iba ay gumagamit ng parehong mga hugis bilang isang karaniwang flowchart. Kahit na binabasa sila sa eksaktong parehong paraan, ang pamamaraan na napiliay puro personal na kagustuhan.