MATLAB爱好者论坛-LabFans.com - 查看单个帖子 - How to Prove That Your C/C++ Code Is Safe and Secure

poster · 2021-04-24, 17:42

This paper discusses sophisticated static analysis methods that verify and prove the absence of run-time errors and vulnerabilities in the source code at unit and integration levels.

2020-09-14 08:00 AM

More...

2021-04-24, 17:42	#1
poster 高级会员注册日期: 2019-11-21 帖子: 3,006 声望力: 66	How to Prove That Your C/C++ Code Is Safe and Secure - TheMathworksNewsletters This paper discusses sophisticated static analysis methods that verify and prove the absence of run-time errors and vulnerabilities in the source code at unit and integration levels. 2020-09-14 08:00 AM More...