NASA-SW-VnV/ikos
@NASA-SW-VnVअमूर्त व्याख्या (Abstract Interpretation) के सिद्धांत पर आधारित C/C++ के लिए स्टेटिक विश्लेषक।
स्टार
3,163
फ़ोर्क
220
भाषा
C++
लाइसेंस
NOASSERTION
आख़िरी push
3 माह पहले
संबंधित intel (0)
अभी कोई संबंधित intel नहीं
यह रिपॉजिटरी radar द्वारा ट्रैक किए जाने वाले किसी भी स्रोत में अभी तक नहीं आई है। कलेक्टर एक शेड्यूल पर चलता है — जब यह इस रिपॉजिटरी को कवर करे तब वापस देखें।