2009 | OriginalPaper | Buchkapitel
Resource Usage Analysis and Its Application to Resource Certification
verfasst von : Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini
Erschienen in: Foundations of Security Analysis and Design V
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Resource usage
is one of the most important characteristics of programs. Automatically generated information about resource usage can be used in multiple ways, both during program development and deployment. In this paper we discuss and present examples on how such information is obtained in COSTA, a state of the art static analysis system. COSTA obtains safe symbolic upper bounds on the resource usage of a large class of general-purpose programs written in a mainstream programming language such as Java (bytecode). We also discuss the application of resource-usage information for
code certification
, whereby code not guaranteed to run within certain user-specified bounds is rejected.