Scalable code clone detection tool based on semantic analysis von Sargsyan, Sevak, Kurmnagaleev, Shamil, Belevantsev, Andrey, Aslanyan, Hayk, Baloian, Artiom

Volltext

Implementing Obfuscating Transformations in the LLVM Compiler Infrastructure von Ivannikov, Victor, Kurmangaleev, Shamil, Belevantsev, Andrey, Nurmukhametov, Alexey, Savchenko, Valery, Matevosyan, Hripsime, Avetisyan, Arutyun

Volltext

Optimizing programs for given hardware architectures with static compilation: methods and tools von Melnik, Dmitry, Kurmangaleev, Shamil, Avetisyan, Arutyun, Belevantsev, Andrey, Plotnikov, Dmitry, Vardanyan, Mamikon

Volltext

Implementation of Loop Pipelining and Assignment Inlining in the C-to-HDL Translator von Alexey Merkulov, Andrey Belevantsev

Volltext

Static Analysis for Scala von Afanasyev, Vitaly Olegovich, Borodin, Alexey Evgenevich, Belevantsev, Andrey Andreevich

Volltext

Irbis: static taint analyzer for vulnerabilities detection in C/C++ von Shimchik, Nikita Vladimirovich, Ignatyev, Valery Nikolayevich, Belevantsev, Andrey Andreevich

Volltext

Detection of uses of disposed resources in C\# source code using static analysis von Tsiazhkorob, Uljana Vladimirovna, Ignatyev, Valery Nikolayevich, Belevantsev, Andrey Andreevich

Volltext

Static Analysis Based on the Unified Abstract Syntax Tree von Afanasyev, Vitaly Olegovich, Borodin, Alexey Evgenevich, Vihliancev, Konstantin Igorevich, Belevantsev, Andrey Andreevich

Volltext

Optimizations in Dynamic Binary Translation von Andrey Belevantsev, Alexey Merkulov, Vladimir Platonov

Volltext

Automatically generating OpenCL code from loop nests via a polyhedral model von Andrey Belevantsev, Alexey Kravets, Alexander Monakov

Volltext

Multi-level Static Analysis for Finding Error Patterns and Defects in Source Code von Belevantsev, Andrey, Avetisyan, Arutyun

Volltext

Kotlin from the perspective of a static analyzer developer von Afanasyev, Vitaly Olegovich, Polyakov, Sergey Andreevich, Borodin, Alexey Evgenevich, Belevantsev, Andrey Andreevich

Volltext

Searching for tainted vulnerabilities in static analysis tool Svace von Borodin, Alexey Evgenevich, Goremykin, Alexey Vyacheslavovich, Vartanov, Sergey Pavlovitch, Belevantsev, Andrey Andreevich

Volltext

Using static analysis for finding security vulnerabilities and critical errors in source code von Arutyun Avetisyan, Andrey Belevantsev, Alexey Borodin, Vladimir Nesov

Volltext

Checking Programs for Compliance with MISRA C Standard Using the Clang Framework von Buchatskiy, Ruben Arturovich, Churkin, Yan Andreevich, Chibisov, Kirill Alekseevich, Pantilimonov, Mikhail Vyacheslavovich, Dolgodvorov, Egor Viktorovich, Vyazovtsev, Andrey Viktorovich, Volokhov, Aleksey Georgievich, Trunov, Vladimir Vladimirovich, Mirakyan, Gayane Hovhannes, Kitaev, Konstantin Nikolaevich, Belevantsev, Andrey Andreevich

Volltext

Implementation of Loop Pipelining and Assignment Inlining in the C-to-HDL Translator von Merkulov, Alexey, Belevantsev, Andrey

Volltext

Optimizations in Dynamic Binary Translation von Belevantsev, Andrey, Merkulov, Alexey, Platonov, Vladimir

Volltext

Using data flow analysis for detecting security vulnerabilities von Andrey Belevantsev, Oleg Malikov

Volltext

A Thread Partitioning Algorithm for Data Locality Improvement von Chernov, Alexander, Belevantsev, Andrey, Malikov, Oleg

Volltext

Performance optimizations in an LLVM-based cloud application store von Ivanikov, Viktor, Kurmangaleev, Shamil, Belevantsev, Andrey, Avetisyan, Arutyun

Volltext bestellen