जहां सिक्योर डाउनलोड किया गया है?

Question

कई कागजात पढ़ने के बाद, मैं अपने सी स्रोत कोड पर इसका उपयोग करने के लिए संसाधित स्रोत (या यहां तक ​​कि बाइनरी) खोजने का प्रयास कर रहा हूं।

हालांकि, सभी लिंक मरने लगते हैं। कुछ गुगलिंग के बाद, मैं यहां पूछ रहा हूं। क्या कोई उन्हें अपलोड कर सकता है (स्रोत, दस्तावेज़, आदि) यदि आप किसी भी मौके से अपनी हार्ड ड्राइव पर एक टैरबॉल झूठ बोल रहे हैं?

संपादित करें: मैंने लेखकों में से एक को भी ईमेल किया है, लेकिन अभी तक कोई प्रतिक्रिया नहीं मिली है। थोड़ी देर के बाद दूसरों को ईमेल करने का प्रयास करेंगे।

(कागज से प्रशस्ति पत्र)

एक कार्यक्रम परिवर्तन प्रणाली है कि मौजूदा सी कार्यक्रमों के लिए सुरक्षा की गारंटी देता है टाइप कहते हैं CCured। स्थिर रूप से सत्यापित करने के लिए सिक्योर प्रयास किए गए हैं कि स्मृति त्रुटियां नहीं हो सकती हैं, और यह रन-टाइम चेक दर्ज करता है जहां स्थैतिक सत्यापन अपर्याप्त है। ACCured पॉइंटर प्रकारों को उनके उपयोग के अनुसार अलग करके सी के प्रकार सिस्टम को बढ़ाता है, और यह एक आश्चर्यजनक सरल प्रकार अनुमान एल्गोरिदम का उपयोग करता है जो सक्षम है मौजूदा सी कार्यक्रमों के लिए उचित सूचक प्रकार का अनुमान लगाने के लिए। संकलित समय संकलन समय पर बड़ी संख्या में प्रकार को पहचानने और सत्यापित करने के लिए भौतिक उप-प्रकार का उपयोग करता है। रन-टाइम प्रकार की जानकारी का उपयोग करके अतिरिक्त प्रकार के कास्ट सत्यापित किए जाते हैं।

Answer 1

उस सामान्य क्षेत्र में अन्य परियोजनाओं के लिए बेहतर खोज, क्योंकि टिप्पणियां बताती हैं कि यह ज्यादातर सिद्धांतों को थीसिस के रूप में विकसित किया गया है और फिर त्याग दिया गया है। वास्तविक उपयोग में कुछ हो सकते हैं, शायद आप जो खोज रहे हैं उसके निकटतम LLVM-आधारित टूल हैं। या splint जैसे कुछ। या यहां तक ​​कि उपकरण उपकरण जैसे valgrind।