Výsledky vyhledávání - "Vadim Sergeevitch Karcev"

Improving the accuracy of static analysis by accounting for the values of class fields that can have only one constant value

Autor: Vadim Sergeevitch Karcev, Valery Nikolayevich Ignatyev

Publikováno v: Proceedings of the Institute for System Programming of the RAS. 34:29-40

The paper describes the approach for the improvement of the accuracy of general purpose static symbolic execution analysis of C# sources based on the accounting for the values of class fields that can have only one possible value. In addition, we pro

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::967790cd2e3e78859083c387b1c16b1d
https://doi.org/10.15514/ispras-2022-34(6)-2

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání