Source Code Analysis: Current and Future Trends & Challenges; Key Engineering Materials; Vol. 685 : High Technology: Research and Applications 2015 (HTRA 2015)
| Источник: | Key Engineering Materials: Scientific Journal Vol. 685 : High Technology: Research and Applications 2015 (HTRA 2015).— 2016.— [P. 877-880] |
|---|---|
| Главный автор: | Ponomarev A. A. Aleksey Anatolievich |
| Корпоративные авторы: | Национальный исследовательский Томский политехнический университет (ТПУ) Институт кибернетики (ИК) Кафедра автоматики и компьютерных систем (АИКС), Национальный исследовательский Томский политехнический университет (ТПУ) Институт кибернетики (ИК) Кафедра оптимизации систем управления (ОСУ) |
| Другие авторы: | Nalamvar H. S. Hitesh Sanzhay, Jaiswal R. |
| Примечания: | 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. Режим доступа: по договору с организацией-держателем ресурса |
| Язык: | английский |
| Опубликовано: |
2016
|
| Серии: | Information Technology, Data and Signal Processing |
| Предметы: | |
| Online-ссылка: | http://dx.doi.org/10.4028/www.scientific.net/KEM.685.877 |
| Формат: | Электронный ресурс Статья |
| Запись в KOHA: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=646559 |
Схожие документы
Software Traceability – A Key to Improve Software Evolution; Key Engineering Materials; Vol. 685 : High Technology: Research and Applications 2015 (HTRA 2015)
по: Ponomarev A. A. Aleksey Anatolievich
Опубликовано: (2016)
по: Ponomarev A. A. Aleksey Anatolievich
Опубликовано: (2016)
Optical Model of Medium for the Numerical Imitation of Wave Surface Forming High-Intensity Reflected Radiant Energy; Key Engineering Materials; Vol. 685 : High Technology: Research and Applications 2015 (HTRA 2015)
по: Shefer O. V. Olga Vladimirovna
Опубликовано: (2016)
по: Shefer O. V. Olga Vladimirovna
Опубликовано: (2016)
Microsoft открывает исходный код. Проект ROSLYN; Технологии Microsoft в теории и практике программирования
по: Балашова О. В.
Опубликовано: (2014)
по: Балашова О. В.
Опубликовано: (2014)
Операционные системы. Особенности реализации учебное пособие
по: Дагаев А. В.
Опубликовано: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2021)
по: Дагаев А. В.
Опубликовано: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2021)
Python. Сборник упражнений. Введение в язык Python с задачами и решениями: пер. с англ.
по: Стивенсон Б. Бен
Опубликовано: (Москва, ДМК Пресс, 2021)
по: Стивенсон Б. Бен
Опубликовано: (Москва, ДМК Пресс, 2021)
Architecture of Enterprise Information Systems Based on the Semantic Web Technologies; Key Engineering Materials; Vol. 685 : High Technology: Research and Applications 2015 (HTRA 2015)
по: Zaikin I. A. Ivan Anatolievich
Опубликовано: (2016)
по: Zaikin I. A. Ivan Anatolievich
Опубликовано: (2016)
Numerical Simulation of Gas Evolution from Oil-in-Water Flow for Multistage Separation; Key Engineering Materials; Vol. 685 : High Technology: Research and Applications 2015 (HTRA 2015)
по: Khamukhin A. A. Aleksandr Anatolievich
Опубликовано: (2016)
по: Khamukhin A. A. Aleksandr Anatolievich
Опубликовано: (2016)
Calculating program for Huffman and Shannon-Fano codes; Перспективы развития фундаментальных наук
по: Itiligator A. E.
Опубликовано: (2012)
по: Itiligator A. E.
Опубликовано: (2012)
Microstructure and Properties of the Composite on the Basis of Copper and Diamond; Key Engineering Materials; Vol. 685 : High Technology: Research and Applications 2015 (HTRA 2015)
по: Ivashutenko A. S. Alexander Sergeevich
Опубликовано: (2016)
по: Ivashutenko A. S. Alexander Sergeevich
Опубликовано: (2016)
Allocation of Clusters of Objects on Topological Graphs of High Cardinality; Key Engineering Materials; Vol. 685 : High Technology: Research and Applications 2015 (HTRA 2015)
по: Pogrebnoy A.
Опубликовано: (2016)
по: Pogrebnoy A.
Опубликовано: (2016)
Two-Step Synthesis of Tungsten and Molybdenum Disulfides; Key Engineering Materials; Vol. 685 : High Technology: Research and Applications 2015 (HTRA 2015)
по: Irtegov Yu. A. Yuri Aleksandrovich
Опубликовано: (2016)
по: Irtegov Yu. A. Yuri Aleksandrovich
Опубликовано: (2016)
Treeing Morphology in Oil Shale; Key Engineering Materials; Vol. 685 : High Technology: Research and Applications 2015 (HTRA 2015)
Опубликовано: (2016)
Опубликовано: (2016)
Flexible Process Model Design; Key Engineering Materials; Vol. 685 : High Technology: Research and Applications 2015 (HTRA 2015)
по: Rudometkina M. N. Monika Nikolaevna
Опубликовано: (2016)
по: Rudometkina M. N. Monika Nikolaevna
Опубликовано: (2016)
Strength and Stiffness Calculation of Small Diameter Gun Drills; Key Engineering Materials; Vol. 685 : High Technology: Research and Applications 2015 (HTRA 2015)
по: Babaev A. S. Artem Sergeevich
Опубликовано: (2016)
по: Babaev A. S. Artem Sergeevich
Опубликовано: (2016)
Algorithm of the Alternatives Generation in the Design of the Geological and Engineering Operations; Key Engineering Materials; Vol. 685 : High Technology: Research and Applications 2015 (HTRA 2015)
по: Silich V. A. Viktor Alekseevich
Опубликовано: (2016)
по: Silich V. A. Viktor Alekseevich
Опубликовано: (2016)
Real-Time Recovery of Functions and their Derivatives by Variation Splines; Key Engineering Materials; Vol. 685 : High Technology: Research and Applications 2015 (HTRA 2015)
по: Kochegurova E. A. Elena Alekseevna
Опубликовано: (2016)
по: Kochegurova E. A. Elena Alekseevna
Опубликовано: (2016)
Simulation of the Acoustic Field of Antenna Arrays; Key Engineering Materials; Vol. 685 : High Technology: Research and Applications 2015 (HTRA 2015)
Опубликовано: (2016)
Опубликовано: (2016)
Optimality Conditions for Pareto-Optimal Solutions; Key Engineering Materials; Vol. 685 : High Technology: Research and Applications 2015 (HTRA 2015)
по: Gorbunov V. M. Vladimir Mikhailovich
Опубликовано: (2016)
по: Gorbunov V. M. Vladimir Mikhailovich
Опубликовано: (2016)
Production of Powders by the Method of Electrospark Dispersion; Key Engineering Materials; Vol. 685 : High Technology: Research and Applications 2015 (HTRA 2015)
Опубликовано: (2016)
Опубликовано: (2016)
SLS Setup and its Working Procedure; Key Engineering Materials; Vol. 685 : High Technology: Research and Applications 2015 (HTRA 2015)
Опубликовано: (2016)
Опубликовано: (2016)
Formalized Approach in Relational Database Design; Key Engineering Materials; Vol. 685 : High Technology: Research and Applications 2015 (HTRA 2015)
по: Osipova V. V. Viktoriya Viktorovna
Опубликовано: (2016)
по: Osipova V. V. Viktoriya Viktorovna
Опубликовано: (2016)
The Influence of the Pouring Temperature on the Structure and Properties of Copper Metal Alloys; Key Engineering Materials; Vol. 685 : High Technology: Research and Applications 2015 (HTRA 2015)
по: Korchmit A. V. Anton Viktorovich
Опубликовано: (2016)
по: Korchmit A. V. Anton Viktorovich
Опубликовано: (2016)
Casting Quality Enhancement of Bushings Made of Foundry Aluminium Bronzes; Key Engineering Materials; Vol. 685 : High Technology: Research and Applications 2015 (HTRA 2015)
по: Korchmit A. V. Anton Viktorovich
Опубликовано: (2016)
по: Korchmit A. V. Anton Viktorovich
Опубликовано: (2016)
Effect of Conjugated Heat Transfer Conditions on the Crystallization of the Composite Coating; Key Engineering Materials; Vol. 685 : High Technology: Research and Applications 2015 (HTRA 2015)
по: Anisimova M. A. Mariya Aleksandrovna
Опубликовано: (2016)
по: Anisimova M. A. Mariya Aleksandrovna
Опубликовано: (2016)
Resource Allocation Algorithm Modeling in Queuing System Based on Quantization; Key Engineering Materials; Vol. 685 : High Technology: Research and Applications 2015 (HTRA 2015)
по: Raspopov A. V. Aleksandr Vladimirovich
Опубликовано: (2016)
по: Raspopov A. V. Aleksandr Vladimirovich
Опубликовано: (2016)
Integration of Heterogeneous Company Information Resources Using Semantic Technologies; Key Engineering Materials; Vol. 685 : High Technology: Research and Applications 2015 (HTRA 2015)
по: Chernii (Cherniy) A. V. Anton Vasilievich
Опубликовано: (2016)
по: Chernii (Cherniy) A. V. Anton Vasilievich
Опубликовано: (2016)
Friction Influence on the Accuracy of the Rotors Automatic Balance; Key Engineering Materials; Vol. 685 : High Technology: Research and Applications 2015 (HTRA 2015)
Опубликовано: (2016)
Опубликовано: (2016)
Methodological Aspects of Evaluation of Foundry Technologies Effectiveness; Key Engineering Materials; Vol. 685 : High Technology: Research and Applications 2015 (HTRA 2015)
по: Ardashkin I. B. Igor Borisovich
Опубликовано: (2016)
по: Ardashkin I. B. Igor Borisovich
Опубликовано: (2016)
Strength of Cutting Tool in Titanium Alloy Machining; Key Engineering Materials; Vol. 685 : High Technology: Research and Applications 2015 (HTRA 2015)
по: Kozlov V. N. Victor Nikolayevich
Опубликовано: (2016)
по: Kozlov V. N. Victor Nikolayevich
Опубликовано: (2016)
Spectral Analysis of Narrow Band Periodic Signals; Key Engineering Materials; Vol. 685 : High Technology: Research and Applications 2015 (HTRA 2015)
по: Avramchuk V. S. Valery Stepanovich
Опубликовано: (2016)
по: Avramchuk V. S. Valery Stepanovich
Опубликовано: (2016)
Development of a Queuing System with Dynamic Priorities; Key Engineering Materials; Vol. 685 : High Technology: Research and Applications 2015 (HTRA 2015)
по: Apachidi X. N.
Опубликовано: (2016)
по: Apachidi X. N.
Опубликовано: (2016)
Discrete-Event Approach to Simulation of Queueing Networks; Key Engineering Materials; Vol. 685 : High Technology: Research and Applications 2015 (HTRA 2015)
Опубликовано: (2016)
Опубликовано: (2016)
Using Parallel Computing in Queueing Network Simulation; Key Engineering Materials; Vol. 685 : High Technology: Research and Applications 2015 (HTRA 2015)
Опубликовано: (2016)
Опубликовано: (2016)
Generation of the Dynamic System Control Signal According to Characteristic of the Transient Process; Key Engineering Materials; Vol. 685 : High Technology: Research and Applications 2015 (HTRA 2015)
по: Ponomareva A. V. Anna Vladimirovna
Опубликовано: (2016)
по: Ponomareva A. V. Anna Vladimirovna
Опубликовано: (2016)
Morphology of Aluminum Nanopowder Combustion Products in a Magnetic Field in Air; Key Engineering Materials; Vol. 685 : High Technology: Research and Applications 2015 (HTRA 2015)
по: Mostovshchikov A. V. Andrey Vladimirovich
Опубликовано: (2016)
по: Mostovshchikov A. V. Andrey Vladimirovich
Опубликовано: (2016)
Initial Data Forming for Process Simulation in System "Intruder - Physical Protection System"; Key Engineering Materials; Vol. 685 : High Technology: Research and Applications 2015 (HTRA 2015)
по: Bukovetskiy A. V.
Опубликовано: (2016)
по: Bukovetskiy A. V.
Опубликовано: (2016)
Hydraulic Power of Vibration Test Stand with Vibration Generator Based on Switching Device; Key Engineering Materials; Vol. 685 : High Technology: Research and Applications 2015 (HTRA 2015)
по: Nizhegorodov A. I.
Опубликовано: (2016)
по: Nizhegorodov A. I.
Опубликовано: (2016)
Modifications of the Mathematical Crisher Model for Effective Moduli of Two-Component Elastic Isotropic Composite; Key Engineering Materials; Vol. 685 : High Technology: Research and Applications 2015 (HTRA 2015)
по: Svetashkov A. A. Aleksandr Andreevich
Опубликовано: (2016)
по: Svetashkov A. A. Aleksandr Andreevich
Опубликовано: (2016)
Influence of Ultra-Violet Radiation on Sublimation Energy of Silver Chloride (AgCl); Key Engineering Materials; Vol. 685 : High Technology: Research and Applications 2015 (HTRA 2015)
по: Mostovshchikov A. V. Andrey Vladimirovich
Опубликовано: (2016)
по: Mostovshchikov A. V. Andrey Vladimirovich
Опубликовано: (2016)
Non-Uniform Temperature Distribution in Multilayer Thermal Protective Coating with Curved Interfaces; Key Engineering Materials; Vol. 685 : High Technology: Research and Applications 2015 (HTRA 2015)
по: Chumakov Yu. A. Yuri Aleksandrovich
Опубликовано: (2016)
по: Chumakov Yu. A. Yuri Aleksandrovich
Опубликовано: (2016)
Схожие документы
-
Software Traceability – A Key to Improve Software Evolution; Key Engineering Materials; Vol. 685 : High Technology: Research and Applications 2015 (HTRA 2015)
по: Ponomarev A. A. Aleksey Anatolievich
Опубликовано: (2016) -
Optical Model of Medium for the Numerical Imitation of Wave Surface Forming High-Intensity Reflected Radiant Energy; Key Engineering Materials; Vol. 685 : High Technology: Research and Applications 2015 (HTRA 2015)
по: Shefer O. V. Olga Vladimirovna
Опубликовано: (2016) -
Microsoft открывает исходный код. Проект ROSLYN; Технологии Microsoft в теории и практике программирования
по: Балашова О. В.
Опубликовано: (2014) -
Операционные системы. Особенности реализации учебное пособие
по: Дагаев А. В.
Опубликовано: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2021) -
Python. Сборник упражнений. Введение в язык Python с задачами и решениями: пер. с англ.
по: Стивенсон Б. Бен
Опубликовано: (Москва, ДМК Пресс, 2021)