Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage

Treffer: Finding Application Errors and Security Flaws Using PQL: a Program Query Language

Title:
Finding Application Errors and Security Flaws Using PQL: a Program Query Language
Authors:
Michael Martin, Benjamin Livshits, Monica S. Lam
Contributors:
The Pennsylvania State University CiteSeerX Archives
Source:
http://suif.stanford.edu/~livshits/papers/pdf/oopsla05.pdf.
Publication Year:
2005
Collection:
CiteSeerX
Subject Terms:
Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging–Tracing
Document Type:
Fachzeitschrift text
File Description:
application/pdf
Language:
English
Relation:
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.9056; http://suif.stanford.edu/~livshits/papers/pdf/oopsla05.pdf
Availability:
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.9056
http://suif.stanford.edu/~livshits/papers/pdf/oopsla05.pdf
Rights:
Metadata may be used without restrictions as long as the oai identifier remains attached to it.
Accession Number:
edsbas.B2A4B365
Database:
BASE

Weitere Informationen

A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with sequences of events associated with a set of related objects. This paper presents a language called PQL (Program Query Language) that allows programmers to express such questions easily in an application-specific context. A query looks like a code excerpt corresponding to the shortest amount of code that would violate a design rule. Details of the target application's precise implementation are abstracted away. The programmer may also specify actions to perform when a match is found, such as recording relevant information or even correcting an erroneous execution on the fly.