Mathematical Foundations of Informatics and Programming

Resource usage analysis in software

V. V. Gorelov

Tomsk State University, Tomsk

Abstract: A portable method to detect and pinpoint bugs in runtime programs is presented. Traced operations in it are functions manipulating resources. A language for describing a number of resources and related functions is presented too. The hierarchy of definitions are stored in XML. Analyzer core works with many classes of resources without recompilation. Instrumented code is placed in the source files of target application during preprocessing. Traced errors often impact the safety and the security of software.

UDC: 681.3