Các kho mã nguồn mở đang theo dõi của NASA-SW-VnV, sắp xếp theo số sao.
Trình phân tích tĩnh cho C/C++ dựa trên lý thuyết Thông dịch Trừu tượng.
