Sciweavers

957 search results - page 66 / 192
» Modular Static Program Analysis
Sort
View
SAS
1991
Springer
15 years 3 months ago
Polymorphic Time Systems for Estimating Program Complexity
We present a new approach to static program analysis that permits each expression in a program to be assigned an execution time estimate. Our approach uses a time system in conjun...
Vincent Dornic, Pierre Jouvelot, David K. Gifford
ICSE
2008
IEEE-ACM
16 years 20 days ago
Static detection of cross-site scripting vulnerabilities
Web applications support many of our daily activities, but they often have security problems, and their accessibility makes them easy to exploit. In cross-site scripting (XSS), an...
Gary Wassermann, Zhendong Su
DATE
2005
IEEE
116views Hardware» more  DATE 2005»
15 years 5 months ago
FORAY-GEN: Automatic Generation of Affine Functions for Memory Optimizations
In today’s embedded applications a significant portion of energy is spent in the memory subsystem. Several approaches have been proposed to minimize this energy, including the u...
Ilya Issenin, Nikil D. Dutt
WCRE
2008
IEEE
15 years 6 months ago
Workshop on Program Comprehension Through Dynamic Analysis (PCODA'08)
Applying program comprehension techniques may render software maintenance and evolution easier. Understanding a software system typically requires a combination of static and dyna...
Andy Zaidman, Abdelwahab Hamou-Lhadj, Orla Greevy,...
WCRE
2006
IEEE
15 years 5 months ago
Program COmprehension through Dynamic Analysis
Software maintenance and evolution can be made easier if program comprehension techniques are used. Understanding a software system would typically necessitate a combination of st...
Andy Zaidman, Orla Greevy, Abdelwahab Hamou-Lhadj