Zobrazeno 1 - 4
of 4
pro vyhledávání: '"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
https://doi.org/10.15514/ispras-2022-34(6)-2
Publikováno v:
Proceedings of the Institute for System Programming of the RAS. 34:63-78
The paper describes static analysis algorithms aimed at finding three types of errors related to the concept of a synchronizing monitor: redefinition of a variable of mutually exclusive locking inside a critical section; use of an incorrect variable
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6d17dcd314ed627c81fe00351a40e5e9
https://doi.org/10.15514/ispras-2022-34(4)-5
https://doi.org/10.15514/ispras-2022-34(4)-5
Publikováno v:
Proceedings of the Institute for System Programming of the RAS. 34:41-50
The paper is devoted to the scalable approach for the detection of uses of disposed resources in C# source code, that is based on static symbolic execution. The resulting detector is implemented as a part of an industrial SharpChecker, that performs
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5965f675ccba3facc0ef26a0fa9a47ea
https://doi.org/10.15514/ispras-2022-34(6)-3
https://doi.org/10.15514/ispras-2022-34(6)-3
Publikováno v:
Proceedings of the Institute for System Programming of the RAS. 34:51-66
Static taint analysis can be used to find various security weaknesses and vulnerabilities in programs by discovering dataflow paths from taint sources to taint sinks. In most cases the data is called ”tainted” if it was obtained from an untrusted
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9816d8c48bd5d11f5abf9dfa54f6bd8a
https://doi.org/10.15514/ispras-2022-34(6)-4
https://doi.org/10.15514/ispras-2022-34(6)-4