सी कोड

Question

के लिए प्रोग्राम निर्भरता ग्राफ उत्पन्न करने के लिए मैं कौन से निःशुल्क टूल का उपयोग कर सकता हूं, मैं सी स्रोत कोड से प्रोग्राम निर्भरता ग्राफ (पीडीजी) उत्पन्न करना चाहता हूं। मुझे कागजात मिलते हैं जो बताते हैं कि यह कैसे करता है, लेकिन सभी ने वाणिज्यिक कोडसुरफर टूल का उपयोग किया।

क्या कोई निःशुल्क टूल या ओपन सोर्स प्रोजेक्ट है जो यह काम कर सकता है?

Answer 1

Frama-C एक कार्यक्रम निर्भरता ग्राफ की गणना के आधार पर a slicer for C programs के साथ एक ओपन सोर्स स्टेटिक विश्लेषण मंच है।

ध्यान दें कि सी जैसे वास्तविक प्रोग्रामिंग भाषा में लिखे गए वास्तविक कार्यक्रमों को टुकड़ा करने से वैज्ञानिक प्रकाशनों में कई विशेष मामलों और अवधारणाएं शामिल हो जाती हैं। फिर भी, मुझे पूरा भरोसा है कि आपको फ्रामा-सी के पीडीजी गणना से कुछ भी आसान नहीं मिलेगा, सबसे पहले क्योंकि यह एकमात्र ओपन सोर्स उपलब्ध है (जिसे मैं जानता हूं), और दूसरा क्योंकि सी प्रोग्रामों को संभालने वाली कोई अन्य पीडीजी गणना एक ही समस्या को हल करने और एक ही अवधारणाओं को पेश करने के लिए।

int a, b, d, *p; 

int f (int x) { 
    return a + x; 
} 

int main (int c, char **v) { 
    p = &b; 
    a = 1; 
    *p = 2; 
    d = 3; 
    c = f(b); 
} 

आदेश frama-c -pdg -dot-pdg graph -pdg-print t.c डॉट फ़ाइलों graph.main.dot और graph.f.dot क्रमशः main() और f() की PDG युक्त उत्पन्न करता है:

यहाँ एक उदाहरण है।

आप बहुत प्रिंट उन्हें इस प्रकार से एक के लिए dot प्रोग्राम का उपयोग कर सकते हैं: dot -Tpdf graph.main.dot > graph.pdf

परिणाम नीचे है:

नोट नोड *p = 2; नोड c = f(b); से बढ़त। सी कार्यक्रमों के लिए उपयोगी होने का दावा करने वाला एक पीडीजी गणना एलियासिंग को संभालना चाहिए।

दूसरी ओर, कसौटी "बयान c = f(b); की आदानों" पर काट करने के लिए इस PDG का उपयोग कर एक स्लाइसर d = 3;, जो प्रभावित नहीं कर सकते समारोह कॉल दूर करने के लिए, यहां तक ​​कि सूचक पहुँच *p के माध्यम से कर सकेंगे। फ्रामा-सी का स्लाइसर पीडीजी द्वारा संकेतित निर्भरताओं का उपयोग करता है ताकि केवल उपयोगकर्ता द्वारा निर्दिष्ट स्लाइसिंग मानदंड के लिए उपयोगी बयानों को रखा जा सके।

/* Generated by Frama-C */ 
int a; 
int b; 
int *p; 
int f_slice_1(int x) 
{ 
    int __retres; 
    __retres = a + x; 
    return (__retres); 
} 

void main(int c) 
{ 
    p = & b; 
    a = 1; 
    *p = 2; 
    c = f_slice_1(b); 
    return; 
} 

Answer 2

आप एक दूसरे को बुला तरीकों की निर्भरता कल्पना करने के लिए पसंद है और gcc तो उपयोग कर रहे हैं gcc के विकल्प -fdump-rtl-expand आपकी रुचि का हो सकता है।

-fdump-rtl-expandgcc विकल्प का उपयोग करके संकलित प्रत्येक स्रोत फ़ाइल के लिए *.expand फ़ाइल आउटपुट करेगा।

उपकरण egypt उपकरण से खिलाए गए फाइलें विधि की निर्भरताओं को दिखाते हुए ग्राफ उत्पन्न करती हैं।