Засіб статичного аналізу .NET програм за допомогою переписування правил Static Analysis of .NET Programs Using Rewriting Rules

Tural Mamedov, Anatoliy Doroshenko, Ruslan Shevchenko. Засіб статичного аналізу .NET програм за допомогою переписування правил Static Analysis of .NET Programs Using Rewriting Rules. In Ivan Sergienko, Philip Andon, editors, Proceedings of the 12th International Scientific and Practical Conference of Programming (UkrPROG 2020), Kyiv, Ukraine, September 15-16, 2020. Volume 2866 of CEUR Workshop Proceedings, pages 157-163, CEUR-WS.org, 2020. [doi]

Abstract

Abstract is missing.