Compile the Code Instrumentation Technique for Selective Debugging of Optimizing Transformations

The paper addresses the problem of an optimizing compiler debugging. A new method for compile-time instrumentation is presented as an efficient approach to improve reliability of optimizing transformations implemented in the compiler. The principal feature of the method is that it aims at debugging...

書誌詳細
出版年:	Труды Института системного программирования РАН
第一著者:	D. A. Maksimenkov
フォーマット:	論文
言語:	英語
出版事項:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
主題:	тестирование, инструментирование кода, отладка оптимизирующих компиляторов
オンライン･アクセス:	https://ispranproceedings.elpub.ru/jour/article/view/938

類似資料

Technique The Instrumentation A Code And Optimization of code lines in modeling phase transitions on the programming language C++
著者:: E. V. Palchevsky, 等
出版事項: (2018-10-01)

Stealth debugging of programs in Qemu emulator with WinDbg debugger
著者:: M. A. Abakumov, 等
出版事項: (2018-10-01)

Methods to improve reverse debugging performance
著者:: M. A. Klimushenkova, 等
出版事項: (2018-10-01)

Analysis of program changes nature and searching for unpatched code fragments
著者:: Mariam Seropovna Arutunian, 等
出版事項: (2019-04-01)

Automatic uninitialized value usage detection during full-system emulation
著者:: N. A. Belov
出版事項: (2018-10-01)

Application of software emulators for the binary code analysis
著者:: P. M. Dovgalyuk, 等
出版事項: (2018-10-01)

Комплексная система защиты от уязвимостей, основанных на возвратно-ориентированном программировании
著者:: Ivan Lubkin, 等
出版事項: (2022-03-01)

Platform-independent and scalable tool for binary code clone detection
著者:: H. K. Aslanyan, 等
出版事項: (2018-10-01)

Survey of Just-in-Time Query Compilation Methods
著者:: E. Y. Sharygin, 等
出版事項: (2018-10-01)

Automatic clone detection for refactoring
著者:: N. G. Zetser
出版事項: (2018-10-01)

Source code transformation and automatic correction of defects with KAST language
著者:: N. L. Lugovskoy, 等
出版事項: (2018-10-01)

Dynamic detection of Use After Free bugs
著者:: S. A. Asryan, 等
出版事項: (2018-10-01)

Code switch problem and language contacts
著者:: J N Ebzeeva, 等
出版事項: (2012-09-01)

Platform for interprocedural static analysis of binary code
著者:: H. K. Aslanyan
出版事項: (2018-12-01)

Incremental source code analysis for C/C++ languages
著者:: V. O. Savitsky, 等
出版事項: (2018-10-01)

Analyzing C/C++ code entities and relations for program understanding
著者:: A. . Belevantsev, 等
出版事項: (2018-10-01)

Using Deterministic Replay for Software Fault Injection
著者:: P. M. Dovgalyuk, 等
出版事項: (2018-10-01)

The technique of probability reference distribution law finding at кеу sequence statistical testing
著者:: N. G. Kiyevets, 等
出版事項: (2019-06-01)

Testing of Operating Systems
著者:: E. A. Gerlits, 等
出版事項: (2018-10-01)

Power saving code optimization based on using the power controllable components of CPU
著者:: I. I. Karetin, 等
出版事項: (2018-10-01)

TLS clients testing
著者:: A. V. Nikeshin, 等
出版事項: (2018-10-01)

Defect Detection: Combining Bounded Model Checking and Code Contracts
著者:: Marat Akhin, 等
出版事項: (2013-01-01)

OF PRESENTING THE RESULTS OF NETWORK TRAFFIC ANALYSIS
著者:: A. I. Get'man, 等
出版事項: (2018-10-01)

Evaluating a number of cache coherency misses based on a statistical model
著者:: Evgeny Velesevich
出版事項: (2018-10-01)

Software deobfuscation methods: analysis and implementation
著者:: Sh. F. Kurmangaleev, 等
出版事項: (2018-10-01)

Особенности Ванских землетрясений 1976 и 2011 гг., роевая сейсмичность и поле поглощения S-волн
著者:: О.И. Аптикаева
出版事項: (2019-10-01)

Method of selecting between manual and automated testing based on the software product features
著者:: EkaterinaY. . Galimova, 等
出版事項: (2016-12-01)

Automation of conformance testing for communication protocols
著者:: Nikolay Pakulin, 等
出版事項: (2018-10-01)

Building Modular Real-time software from Unified Component Model
著者:: K. A. Mallachiev, 等
出版事項: (2018-10-01)

The refactoring approach used in Klocwork Insight toolkit
著者:: N. L. Lugovskoy
出版事項: (2018-10-01)

Dynamic analysis of virtualization- and dispatching-obfuscated applications
著者:: M. G. Bakulin, 等
出版事項: (2018-10-01)

Vulnerabilities Detection via Static Taint Analysis
著者:: Nikita Vladimirovitch Chimtchik, 等
出版事項: (2019-09-01)

Configurable system call tracer in QEMU emulator
著者:: A. V. Ivanov, 等
出版事項: (2018-10-01)

Рекомендации по применению фармакогенетического тестирования в клинической практике
出版事項: (2018-06-01)

Optimization of Calculating Invariants in Petri Nets to Support the Creation of Integration Testing Scenarios
著者:: M. G. Dorrer, 等
出版事項: (2012-01-01)

Conformance testing based on a state relation
著者:: Igor B. Burdonov, 等
出版事項: (2018-10-01)

Conformance testing of Extensible Authentication Protocol implementations
著者:: A. V. Nikeshin, 等
出版事項: (2019-02-01)

Approach to analyzing executable code based on the software architecture recovery
著者:: D. S. Kononov
出版事項: (2018-12-01)

Avalanche: Using dynamic analysis for automatic defect detection in programs based on network sockets
著者:: Ildar Isaev, 等
出版事項: (2018-10-01)

Тестирование специальной подготовленности теннисистов: зарубежный опыт
著者:: Леонід Прокопович Сергієнко [Leonid Serhiyenko]
出版事項: (2013-12-01)