Source Code Analysis: Current and Future Trends & Challenges
| Parent link: | Key Engineering Materials: Scientific Journal Vol. 685 : High Technology: Research and Applications 2015 (HTRA 2015).— 2016.— [P. 877-880] |
|---|---|
| Päätekijä: | Ponomarev A. A. Aleksey Anatolievich |
| Yhteisötekijät: | Национальный исследовательский Томский политехнический университет (ТПУ) Институт кибернетики (ИК) Кафедра автоматики и компьютерных систем (АИКС), Национальный исследовательский Томский политехнический университет (ТПУ) Институт кибернетики (ИК) Кафедра оптимизации систем управления (ОСУ) |
| Muut tekijät: | Nalamvar H. S. Hitesh Sanzhay, Jaiswal R. |
| Yhteenveto: | Title screen The increasing complexity of software systems is making source code analysis a more economic option to automate the identification of defects, vulnerabilities and inefficiencies. This paper initially outlines the general anatomy of automatic source code analyzers, dimensions of analysis that can be performed with today’s state-of-the-art tools, various limitations of automatic source code analysis in the areas of programming language coverage, quantity of false positive claims, system architecture breakdowns and code/time complexity. The paper is concluded by presenting future tentative trends of source code analysis. Режим доступа: по договору с организацией-держателем ресурса |
| Kieli: | englanti |
| Julkaistu: |
2016
|
| Sarja: | Information Technology, Data and Signal Processing |
| Aiheet: | |
| Linkit: | http://dx.doi.org/10.4028/www.scientific.net/KEM.685.877 |
| Aineistotyyppi: | Elektroninen Kirjan osa |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=646559 |
Samankaltaisia teoksia
Python. Сборник упражнений. Введение в язык Python с задачами и решениями пер. с англ.
Tekijä: Стивенсон Б. Бен
Julkaistu: (Москва, ДМК Пресс, 2021)
Tekijä: Стивенсон Б. Бен
Julkaistu: (Москва, ДМК Пресс, 2021)
Microsoft открывает исходный код. Проект ROSLYN
Tekijä: Балашова О. В.
Julkaistu: (2014)
Tekijä: Балашова О. В.
Julkaistu: (2014)
Операционные системы. Особенности реализации учебное пособие
Tekijä: Дагаев А. В.
Julkaistu: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2021)
Tekijä: Дагаев А. В.
Julkaistu: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2021)
Calculating program for Huffman and Shannon-Fano codes
Tekijä: Itiligator A. E.
Julkaistu: (2012)
Tekijä: Itiligator A. E.
Julkaistu: (2012)
Т. 25, № 3
Julkaistu: (2022)
Julkaistu: (2022)
Technology of partial discharge detection by means analysis of impulse interaction
Tekijä: Mytnikov A. V. Aleksey Vladimirovich
Julkaistu: (2021)
Tekijä: Mytnikov A. V. Aleksey Vladimirovich
Julkaistu: (2021)
Томографический анализ дефектов протезов кровеносных сосудов методом обратного проецирования на основе веерного пучка без применения алгоритма перепаковки
Tekijä: Оздиев А. Х. Али Хосенович
Julkaistu: (2016)
Tekijä: Оздиев А. Х. Али Хосенович
Julkaistu: (2016)
Приёмы обнаружения виртуальных машин путём анализа параметров окружения
Tekijä: Черемнов А. Г.
Julkaistu: (2016)
Tekijä: Черемнов А. Г.
Julkaistu: (2016)
Взаимодействие ионных пучков с поверхностью твердых тел Курс лекций
Tekijä: Вяткин А. Ф.
Julkaistu: (Москва, МИСИС, 2001)
Tekijä: Вяткин А. Ф.
Julkaistu: (Москва, МИСИС, 2001)
Специфика перевода романа Дж. Джойса «Улисс»
Tekijä: Степура С. Н. Светлана Николаевна
Julkaistu: (2024)
Tekijä: Степура С. Н. Светлана Николаевна
Julkaistu: (2024)
Лесоводственная оценка естественного возобновления на вырубках Ленинградской области
Tekijä: Смирнов А. А.
Julkaistu: (Санкт-Петербург, СПбГЛТУ, 2020)
Tekijä: Смирнов А. А.
Julkaistu: (Санкт-Петербург, СПбГЛТУ, 2020)
Математические основы помехоустойчивого кодирования. Методика расчета весовых спектров совершенных кодов и кодов с максимально достижимым расстоянием учебное пособие
Tekijä: Охорзин В. М.
Julkaistu: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2020)
Tekijä: Охорзин В. М.
Julkaistu: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2020)
Управление качеством программного обеспечения учебное пособие
Tekijä: Дукельский К. В.
Julkaistu: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2021)
Tekijä: Дукельский К. В.
Julkaistu: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2021)
Постмодернистский текст. Проблемы целостности
Tekijä: Рогова Е. Н.
Julkaistu: (Кемерово, КемГУ, 2010)
Tekijä: Рогова Е. Н.
Julkaistu: (Кемерово, КемГУ, 2010)
Crystallographic analysis of rock grain orientation at meso- and microscale levels
Julkaistu: (2014)
Julkaistu: (2014)
Software Traceability – A Key to Improve Software Evolution
Tekijä: Ponomarev A. A. Aleksey Anatolievich
Julkaistu: (2016)
Tekijä: Ponomarev A. A. Aleksey Anatolievich
Julkaistu: (2016)
Профилирование обкатных инструментов
Tekijä: Панкратов Ю. М.
Julkaistu: (СПб., Политехника-Сервис, 2010)
Tekijä: Панкратов Ю. М.
Julkaistu: (СПб., Политехника-Сервис, 2010)
Неразрушающий анализ поверхностей твердых тел ионными пучками
Tekijä: Комаров Ф. Ф. Фадей Фадеевич
Julkaistu: (Минск, Университетское, 1987)
Tekijä: Комаров Ф. Ф. Фадей Фадеевич
Julkaistu: (Минск, Университетское, 1987)
Constructing graph models for software system development and analysis
Tekijä: Pogrebnoy A. V. Aleksandr Vladimirovich
Julkaistu: (2017)
Tekijä: Pogrebnoy A. V. Aleksandr Vladimirovich
Julkaistu: (2017)
Основы функционирования ядра ЭВМ учебное пособие
Tekijä: Брехов О. М.
Julkaistu: (Москва, МАИ, 2023)
Tekijä: Брехов О. М.
Julkaistu: (Москва, МАИ, 2023)
Identification of kinetic triplets by results of derivatographic analysis
Tekijä: Bondarchuk I. S. Ivan
Julkaistu: (Les Ulis, EDP Sciences, 2018)
Tekijä: Bondarchuk I. S. Ivan
Julkaistu: (Les Ulis, EDP Sciences, 2018)
Концентрация реактора на тепловых нейтронах с псевдоожиженным потоком топлива
Tekijä: Пэйн Ч. К.
Julkaistu: (2004)
Tekijä: Пэйн Ч. К.
Julkaistu: (2004)
Development of the portable reflectance pulse oximeter
Tekijä: Kupin A. A.
Julkaistu: (2016)
Tekijä: Kupin A. A.
Julkaistu: (2016)
Любительский театр: перспективы творческого саморазвития студентов монография
Tekijä: Козодаев П. И.
Julkaistu: (Тамбов, ТГМПИ им. С.В. Рахманинова, 2011)
Tekijä: Козодаев П. И.
Julkaistu: (Тамбов, ТГМПИ им. С.В. Рахманинова, 2011)
Селекция и семеноводство декоративных культур учебник для вузов
Tekijä: Вьюгина Г. В.
Julkaistu: (Санкт-Петербург, Лань, 2024)
Tekijä: Вьюгина Г. В.
Julkaistu: (Санкт-Петербург, Лань, 2024)
Influence of the aperiodic component on the short circuit current in electric power system
Tekijä: Suvorov A. A. Aleksey Aleksandrovich
Julkaistu: (2020)
Tekijä: Suvorov A. A. Aleksey Aleksandrovich
Julkaistu: (2020)
Current and Future Trends on AI Applications Volume 1 /
Julkaistu: (2025)
Julkaistu: (2025)
Обратное рассеяние α-частиц на легких ядрах диссертация на соискание ученой степени кандидата физико-математических наук
Tekijä: Кузнецов Б. И.
Julkaistu: (Томск, 1972)
Tekijä: Кузнецов Б. И.
Julkaistu: (Томск, 1972)
Селекция и семеноводство полевых культур методические указания по изучению дисциплины и задания для контрольной работы студентовочной и заочной форм обучения (бакалавриат) по направлению 35.03.04 агрономия
Tekijä: Нижегородцева Л. С.
Julkaistu: (Казань, КГАУ, 2020)
Tekijä: Нижегородцева Л. С.
Julkaistu: (Казань, КГАУ, 2020)
Хроматин: упакованный геном
Tekijä: Разин С. В.
Julkaistu: (Москва, Лаборатория знаний, 2025)
Tekijä: Разин С. В.
Julkaistu: (Москва, Лаборатория знаний, 2025)
Роман Л. Н. Толстого «Воскресение» : социальный, христианский и мифопоэтический дискурс монография
Tekijä: Масолова Е. А.
Julkaistu: (Новосибирск, НГТУ, 2014)
Tekijä: Масолова Е. А.
Julkaistu: (Новосибирск, НГТУ, 2014)
Current and Future Trends in Health and Medical Informatics
Julkaistu: (2023)
Julkaistu: (2023)
Методология защиты программного обеспечения
Tekijä: Казарин О. В. Олег Викторович
Julkaistu: (Москва, МЦНМО, 2009)
Tekijä: Казарин О. В. Олег Викторович
Julkaistu: (Москва, МЦНМО, 2009)
Компьютерная программа расчёта кодов Шеннона-Фанои Хаффмана с интерфейсом подключения к MS EXCEL
Tekijä: Итилигатор А. Е.
Julkaistu: (2012)
Tekijä: Итилигатор А. Е.
Julkaistu: (2012)
Разработка алгоритма для выполнения операции обратного проецирования
Tekijä: Хайдукова В. М.
Julkaistu: (2014)
Tekijä: Хайдукова В. М.
Julkaistu: (2014)
Верификация теплогидравлических моделей кодов улучшенной оценки на примере модели двухфазного потока кодов RELAP5 и КОРСАР
Julkaistu: (2004)
Julkaistu: (2004)
Информатика учебное пособие для направлений подготовки 23.05.01 «наземные транспортно-технологические средства» 23.03.03 «эксплуатация транспортно-технологических машин и комплексов»
Tekijä: Зайцева Н. А.
Julkaistu: (Москва, РУТ (МИИТ), 2019)
Tekijä: Зайцева Н. А.
Julkaistu: (Москва, РУТ (МИИТ), 2019)
Обратное переходное излучение релятивистских частиц в области вакуумного ультрафиолета
Tekijä: Гоголев С. Ю. Сергей Юрьевич
Julkaistu: (2009)
Tekijä: Гоголев С. Ю. Сергей Юрьевич
Julkaistu: (2009)
Модифицированный алгоритм обратного проецирования для томографической реконструкции при сканировании образца с пошаговым сдвигом
Tekijä: Оздиев А. Х. Али Хосенович
Julkaistu: (2016)
Tekijä: Оздиев А. Х. Али Хосенович
Julkaistu: (2016)
Нейросетевая реализация процедуры идентификации динамических систем
Tekijä: Гаврилов А. И.
Julkaistu: (2002)
Tekijä: Гаврилов А. И.
Julkaistu: (2002)
Samankaltaisia teoksia
-
Python. Сборник упражнений. Введение в язык Python с задачами и решениями пер. с англ.
Tekijä: Стивенсон Б. Бен
Julkaistu: (Москва, ДМК Пресс, 2021) -
Microsoft открывает исходный код. Проект ROSLYN
Tekijä: Балашова О. В.
Julkaistu: (2014) -
Операционные системы. Особенности реализации учебное пособие
Tekijä: Дагаев А. В.
Julkaistu: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2021) -
Calculating program for Huffman and Shannon-Fano codes
Tekijä: Itiligator A. E.
Julkaistu: (2012) -
Т. 25, № 3
Julkaistu: (2022)