Демченко, В. М.Заболотня, Т. М.2023-05-262023-05-262022Демченко, В. М. Методи статичного аналізу вихідного коду користувача засобами мови C# / Демченко В. М., Заболотня Т. М. // Прикладна математика та комп’ютинг ПМК' 2022. П'ятнадцята конференція магістрантів та аспірантів Київ, 16-18 листопада 2022 р. : збірник тез доповідей. - Київ : КПІ ім. Ігоря Сікорського, 2022. - С. 445-451.https://ela.kpi.ua/handle/123456789/56204З року у рік розвиток ІТ-технологій є постійним явищем у нашому інформаційному суспільстві: все більше людей приходять у сферу розроблення програмного забезпечення, а програми стаюсь все більш комплексними. Задля спрощення та пришвидшення розроблення програмного забезпечення створюються бібліотеки та фреймворки, що реалізують необхідні складові функціональності розроблюваної програми. Можна сказати, що, на сьогоднішній день, використання сторонніх бібліотек та фреймворків вже стало невід’ємною частиною роботи розробника. Проте неможливо гарантувати, що використана бібліотека не має недоліків: що її код реалізує найефективніші алгоритми, що вона стійка до некоректного вводу даних тощо. Це призводить до того, що використання ненадійного стороннього програмного забезпечення робить розроблювану систему також вразливою. І це в той час, коли одними з найважливіших критеріїв якості програмного забезпечення були та залишаються надійність ті відмовостійкість.ukArticleС. 445-451004.4'233