Гарантии и безопасность О проекте Гарантии и безопасность Свод фич TrustLang, отвечающих за безопасность и качество кода Tags: Trust-Lang Safety Verification Memory
Избавляемся от ошибок Segmentation fault из-за переполнения стека в С++ Статьи Безопасность ПО Избавляемся от ошибок Segmentation fault из-за переполнения стека в С++ Tags: Memory-Safety C++ Verification Runtime
Гарантии языка программирования как основа безопасной разработки программного обеспечения Статьи Безопасность ПО Гарантии языка программирования как основа безопасной разработки программного обеспечения Tags: Security Programming-Languages Development Verification