ГОСТ Р 71207–2024 - Статический анализ программного обеспечения. Терминология
| Wed, 31 July 2024, 14:00 (GMT+03:00) | |
| Free | |
| Stream available | |
| 
                                
                                    PVS-Studio
                                
                                                                     | 
                        
Теги: pvs-studio static analyzer online
Это второй вебинар, посвящённый ГОСТ Р 71207. Прежде чем более подробно говорить про статический анализ кода, стоит начать с рассмотрения основных терминов, описанных в стандарте. ГОСТ даёт очень краткие определения терминов. Это описание может тяжело восприниматься неподготовленным читателем. В вебинаре попробуем подробно раскрыть смысл этих терминов и сопроводить их поясняющими примерами. Некоторые термины, которые будут рассмотрены:
🔵 анализ потока данных;
🔵 анализ помеченных данных;
🔵 сигнатурный анализ;
🔵 межпроцедурный контекстно-чувствительный анализ;
🔵 модельный вариант (ошибки);
🔵 критическая ошибка;
🔵 и так далее.