NASA-SW-VnV की ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।
अमूर्त व्याख्या (Abstract Interpretation) के सिद्धांत पर आधारित C/C++ के लिए स्टेटिक विश्लेषक।
