Matches in SemOpenAlex for { <https://semopenalex.org/work/W2107406536> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2107406536 abstract "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. We have developed both static and dynamic techniques to find solutions to PQL queries. Our static analyzer finds all potential matches conservatively using a context-sensitive, flow-insensitive, inclusionbased pointer alias analysis. While the results may not be precise for certain queries, they are useful in optimizing the dynamic analysis. Our dynamic analyzer instruments the source program to catch all violations precisely as the program runs and to perform the specified actions if such are provided. We have implemented the proposed techniques and used them successfully to find severe breaches of security and important resource leaks in 6 large real-world open-source Java applications containing a total of more than 62,000 classes using a combination of static and dynamic analysis." @default.
- W2107406536 created "2016-06-24" @default.
- W2107406536 creator A5002419188 @default.
- W2107406536 creator A5044418818 @default.
- W2107406536 date "2004-01-01" @default.
- W2107406536 modified "2023-09-27" @default.
- W2107406536 title "Finding Application Errors Using PQL: a Program Query Language" @default.
- W2107406536 cites W1564121721 @default.
- W2107406536 cites W1579850852 @default.
- W2107406536 cites W1610570299 @default.
- W2107406536 cites W1967966231 @default.
- W2107406536 cites W1972544179 @default.
- W2107406536 cites W1986453394 @default.
- W2107406536 cites W2013007594 @default.
- W2107406536 cites W2015607366 @default.
- W2107406536 cites W2062613080 @default.
- W2107406536 cites W2066836426 @default.
- W2107406536 cites W2099016869 @default.
- W2107406536 cites W2106972913 @default.
- W2107406536 cites W2121059325 @default.
- W2107406536 cites W2126077537 @default.
- W2107406536 cites W2130958154 @default.
- W2107406536 cites W2138369269 @default.
- W2107406536 cites W2151298976 @default.
- W2107406536 cites W2158600037 @default.
- W2107406536 cites W2295399529 @default.
- W2107406536 cites W2615760767 @default.
- W2107406536 cites W318451624 @default.
- W2107406536 cites W84258820 @default.
- W2107406536 cites W87331621 @default.
- W2107406536 hasPublicationYear "2004" @default.
- W2107406536 type Work @default.
- W2107406536 sameAs 2107406536 @default.
- W2107406536 citedByCount "15" @default.
- W2107406536 crossrefType "journal-article" @default.
- W2107406536 hasAuthorship W2107406536A5002419188 @default.
- W2107406536 hasAuthorship W2107406536A5044418818 @default.
- W2107406536 hasConcept C150202949 @default.
- W2107406536 hasConcept C154945302 @default.
- W2107406536 hasConcept C177264268 @default.
- W2107406536 hasConcept C199360897 @default.
- W2107406536 hasConcept C2778514511 @default.
- W2107406536 hasConcept C41008148 @default.
- W2107406536 hasConcept C489000 @default.
- W2107406536 hasConcept C548217200 @default.
- W2107406536 hasConcept C7263679 @default.
- W2107406536 hasConcept C77088390 @default.
- W2107406536 hasConcept C80444323 @default.
- W2107406536 hasConcept C88468194 @default.
- W2107406536 hasConcept C97686452 @default.
- W2107406536 hasConceptScore W2107406536C150202949 @default.
- W2107406536 hasConceptScore W2107406536C154945302 @default.
- W2107406536 hasConceptScore W2107406536C177264268 @default.
- W2107406536 hasConceptScore W2107406536C199360897 @default.
- W2107406536 hasConceptScore W2107406536C2778514511 @default.
- W2107406536 hasConceptScore W2107406536C41008148 @default.
- W2107406536 hasConceptScore W2107406536C489000 @default.
- W2107406536 hasConceptScore W2107406536C548217200 @default.
- W2107406536 hasConceptScore W2107406536C7263679 @default.
- W2107406536 hasConceptScore W2107406536C77088390 @default.
- W2107406536 hasConceptScore W2107406536C80444323 @default.
- W2107406536 hasConceptScore W2107406536C88468194 @default.
- W2107406536 hasConceptScore W2107406536C97686452 @default.
- W2107406536 hasLocation W21074065361 @default.
- W2107406536 hasOpenAccess W2107406536 @default.
- W2107406536 hasPrimaryLocation W21074065361 @default.
- W2107406536 hasRelatedWork W1511982475 @default.
- W2107406536 hasRelatedWork W1536098516 @default.
- W2107406536 hasRelatedWork W1610570299 @default.
- W2107406536 hasRelatedWork W1995350708 @default.
- W2107406536 hasRelatedWork W2021875003 @default.
- W2107406536 hasRelatedWork W2044269998 @default.
- W2107406536 hasRelatedWork W2044590882 @default.
- W2107406536 hasRelatedWork W2090727480 @default.
- W2107406536 hasRelatedWork W2091712774 @default.
- W2107406536 hasRelatedWork W2111141292 @default.
- W2107406536 hasRelatedWork W2133497528 @default.
- W2107406536 hasRelatedWork W2134311998 @default.
- W2107406536 hasRelatedWork W2134429122 @default.
- W2107406536 hasRelatedWork W2135522367 @default.
- W2107406536 hasRelatedWork W2136033258 @default.
- W2107406536 hasRelatedWork W2137591753 @default.
- W2107406536 hasRelatedWork W2150593762 @default.
- W2107406536 hasRelatedWork W2162126440 @default.
- W2107406536 hasRelatedWork W2166091242 @default.
- W2107406536 hasRelatedWork W2169589594 @default.
- W2107406536 isParatext "false" @default.
- W2107406536 isRetracted "false" @default.
- W2107406536 magId "2107406536" @default.
- W2107406536 workType "article" @default.