mantis

#Tổng quan

Mantis là một tập hợp các kỹ năng và khung công cụ (ADK) giúp xây dựng phần mềm an toàn trong thời đại phát triển AI.

#Tính năng chính

• Tự động tìm kiếm và tái tạo lỗi trong code.
• Tạo mô hình đe dọa tự động.
• Tạo giả thuyết và nghiên cứu chúng.
• Kiểm tra và đánh giá các phát hiện.
• Tự động vá lỗi.

#Khi nào sử dụng

• Phòng thủ: Tự động phát hiện và vá lỗi trong code.
• Kiểm thử được phép: Sử dụng trong môi trường kiểm thử an toàn.
• Điều tra: Xác minh và đánh giá các phát hiện từ AI.

#Lưu ý an toàn khi triển khai

• Công cụ được hệ thống tự động phát hiện từ GitHub, chưa qua thẩm định thủ công của HueCA-CYBER: kiểm tra mã nguồn, bản phát hành chính thức và chạy thử trong môi trường cô lập trước.
• Chỉ sử dụng trong môi trường cách ly, hạn chế.
• Phải kiểm tra và xác minh tất cả phát hiện trước khi báo cáo.
• Công cụ chưa được kiểm thử hoàn toàn với dự án thực tế.

#Nguồn

• Repository chính thức: https://github.com/google/mantis