EN | RU    
Scientific & Technical Literature Publishing House
Search:

Home»

Contact Us»

Journals»

News»

Preparation of Papers»

Advertising»

Feedback»

Books»

About Us»



advertisement



Instruments and Systems: Monitoring, Control, and Diagnostics

Annotation
<< Back
Method and software tool MEDIS for detection and isolation memory-related errors in C / C++ programs
M.A. TETEREV N.S. GUBONIN

A new effective method for memory-related errors detection is developed for C / C++ programs, which is used on the static stage
of debugging. The distinction of the method is memory-control mechanism, which is applied after intermediate data representation.
This mechanism includes intra-procedural analyses, inter-procedural analyses and errors detection stage.
MEDIS (Memory-related Errors Detection and Isolation System) is developed. MEDIS is based on the proposed method. Results
of comparative tests of MEDIS and widely used tool Сppcheck v.1.53 on detection of memory-related errors indicate MEDIS reveals
more errors for a more short time.
Keywords: memory-related errors, static analyses, software debugging, real-time systems, analyzers, dynamic memory, memory
leaks.

Contacts: E-mail: n.s.gubonin@mail.ru

Pp. 12-18.

 Sections

«About journal

«Archive

«Thematic focus of the journal

«Formatting rules

«Stages of the review and publication

«Review process

«Editorial and Professional Ethics

«Detecting plagiarism

«Editors and Editorial Board

«News journal


 Journals
...................................
Instruments and Systems: Monitoring, Control, and Diagnostics
...................................
Instrument-Making and Automation Means. Encyclopedic Textbook
...................................
Industrial Automatic Control Systems and Controllers
...................................
Ecological Systems and Devices
...................................
Aerospace Instrument-Making
...................................
Engineering Physics
...................................
History of Science and Engineering
...................................
Music and Time
...................................
Note Album
...................................
Musicology
...................................
Bulletin of the Central Botanical Garden
...................................
Universal History
...................................
Directory of engineer
...................................
Applied Physics and Mathematics
...................................
News Academy of Engineering Sciences A.M. Prokhorov
...................................

Last news:

Выставки по автоматизации и электронике «ПТА-Урал 2018» и «Электроника-Урал 2018» состоятся в Екатеринбурге

Открыта электронная регистрация на выставку Дефектоскопия / NDT St. Petersburg

Открыта регистрация на 9-ю Международную научно-практическую конференцию «Строительство и ремонт скважин — 2018»

ExpoElectronica и ElectronTechExpo 2018: рост площади экспозиции на 19% и новые формы контент-программы

Тематика и состав экспозиции РЭП на выставке "ChipEXPO - 2018"

   Rambler's Top100 Rambler's Top100         


    Management system developed by: ananskikh.ru
© Publishing House "NAUCHTEKHLITIZDAT", 2005-2022