Zobrazeno 1 - 10
of 30
pro vyhledávání: '"Andrey Belevantsev"'
Publikováno v:
Труды Института системного программирования РАН, Vol 27, Iss 1, Pp 39-50 (2018)
This article describes the methods of code clones detection. New approach of code clones detection is proposed for C/C++ languages based on analysis of existed methods. The method based on semantic analysis of the project, which allows detecting code
Externí odkaz:
https://doaj.org/article/bcbe63d7559e4b2e8386507d75222ac6
Autor:
Victor Ivannikov, Shamil Kurmangaleev, Andrey Belevantsev, Alexey Nurmukhametov, Valery Savchenko, Hripsime Matevosyan, Arutyun Avetisyan
Publikováno v:
Труды Института системного программирования РАН, Vol 26, Iss 1, Pp 327-342 (2018)
The paper describes the methods for obfuscating C/C++ programs to prevent applying static analyzers to them. The methods are implemented within the well-known LLVM compiler infrastructure. Experimental results presenting resulting program slowdown an
Externí odkaz:
https://doaj.org/article/e64ba14efe104755a3eb59ebdfde1f42
Autor:
Dmitry Melnik, Shamil Kurmangaleev, Arutyun Avetisyan, Andrey Belevantsev, Dmitry Plotnikov, Mamikon Vardanyan
Publikováno v:
Труды Института системного программирования РАН, Vol 26, Iss 1, Pp 343-356 (2018)
The paper describes the workflow for optimizing programs for performance targeting the fixed hardware architecture with static compilation using GCC and LLVM compilers as examples. We present some of the optimizations performed and the corresponding
Externí odkaz:
https://doaj.org/article/bee4868f1fe140e18b1419b41ec6421c
Publikováno v:
Труды Института системного программирования РАН, Vol 22, Iss 0 (2018)
We suggest using OpenCL standard for programming FPGA devices that are used as accelerators in a heterogeneous system. We describe the implementation of a subset of OpenCL that is required for organizing data exchange and task management for FPGAs gi
Externí odkaz:
https://doaj.org/article/c73db0baf5b04e5f8b39d880a2958458
Autor:
Alexey Merkulov, Andrey Belevantsev
Publikováno v:
Труды Института системного программирования РАН, Vol 23, Iss 0 (2018)
Implementing algorithms for field-programmable gate arrays using a hardware description language is a complex task. Therefore, it would be useful to have a tool that can efficiently translate an algorithm from a high-level language to a hardware desc
Externí odkaz:
https://doaj.org/article/a6bc8a63f95a4902b67a8d1423b96608
Publikováno v:
Труды Института системного программирования РАН, Vol 21, Iss 0 (2018)
Static analysis is a popular way of finding given patterns in source or binary code (e.g., coding style errors, violations of project guidelines of using specific libraries or language features, critical errors, security vulnerabilities, malicious co
Externí odkaz:
https://doaj.org/article/e2146848706848fcb9ec226197a5579b
Publikováno v:
Труды Института системного программирования РАН, Vol 21, Iss 0 (2018)
In this work we suggest automatically generating code for OpenCL standard from loops with no dependencies in C/C++/Fortran programs. We use GCC compiler’s GRAPHITE infrastructure that represents loop nests as polyhedra. We describe our implementati
Externí odkaz:
https://doaj.org/article/cdb43ccb31b747f2a3425ff097d78671
Autor:
Andrey Belevantsev, Oleg Malikov
Publikováno v:
Труды Института системного программирования РАН, Vol 11, Pp 83-98 (2006)
This paper addresses the issues of using data flow analysis approach for detecting certain types of programming errors in the source code. The primary motivation of this work is that programming errors like a missing array or buffer bounds checking m
Externí odkaz:
https://doaj.org/article/a40b2686ac594637943695eb754ee055
Publikováno v:
2022 Ivannikov Ispras Open Conference (ISPRAS).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5733e17c390296659417c82c46dab354
https://doi.org/10.1109/ispras57371.2022.10076859
https://doi.org/10.1109/ispras57371.2022.10076859
Publikováno v:
Programming and Computer Software. 44:459-466
Currently, one of the most efficient ways to detect software security flaws is taint analysis. It can be based on static code analysis, and it helps detect bugs that lead to vulnerabilities, such as code injection or leaks of private data. Two approa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::47c01ae275ca7a0d2a22458d9f7509e9
https://doi.org/10.1134/s036176881806004x
https://doi.org/10.1134/s036176881806004x