Модифікований метод статичного аналізу коду для рішення задачі згортки рядкових констант

DOI: https://doi.org/10.36910/6775-2524-0560-2023-50-08
Ключові слова: граф потоку виконання, CFG, аналіз потоку даних, DFA, MFP алгоритм, MOP алгоритм, повна решітка, абстрактний домен, статичний аналіз, згортка констант

Анотація

У даній статі запропонований модифікований метод згортки рядкових констант, який має меншу складність і вищу точність, ніж існуючі методи. В основі цього методу лежить анотування пропагованих значень додатковою інформацією, аналіз якої дозволяє не здійснювати конкатенацію значень, які не можуть існувати разом під час реального виконання програми, що, в свою чергу, дозволяє зменшити розмір проміжних результатів аналізу потоку даних, тим самим покращуючи його швидкодію і точність.

Посилання

N.Wegman M. Constant propagation with conditional branches [Електронний ресурс] / M. N.Wegman, F. Kcnncth Zadeck // ACM Transactions on Programming Languages and Systems. – 1991.

Costantini G. Static Analysis of String Values [Електронний ресурс] / G. Costantini, P. Ferrara, A. Cortesi // International Conference on Formal Engineering Methods. – 2011.

Comparison of parser generators [Електронний ресурс]

Control-flow graph [Електронний ресурс]

Combinatorial explosion [Електронний ресурс]

Опубліковано
2023-03-31
Як цитувати
Касянчук , Д., & Марченко, О. (2023). Модифікований метод статичного аналізу коду для рішення задачі згортки рядкових констант. КОМП’ЮТЕРНО-ІНТЕГРОВАНІ ТЕХНОЛОГІЇ: ОСВІТА, НАУКА, ВИРОБНИЦТВО, (50), 57-64. https://doi.org/10.36910/6775-2524-0560-2023-50-08
Номер
№ 50 (2023): Комп'ютерно-інтегровані технології: освіта, наука, виробництво
Розділ
Інформатика та обчислювальна техніка