388 search results - page 31 / 78 » Program Analysis Using Symbolic Ranges |
ICC
2009
IEEE
14 years 7 months ago
2009
IEEE
Nowadays, the web-based architecture is the most frequently used for a wide range of internet services, as it allows to easily access and manage information and software on remote ...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
c Modular Abstractions for Template Numerical Constraints David Monniaux May 26, 2010 We propose a method for automatically generating abstract transformstatic analysis by abstrac...
CP
1998
Springer
15 years 1 months ago
1998
Springer
We study how constraint-based static analysis can be applied to the automated and systematic debugging of program errors. Strongly moding and constraint-based mode analysis are tur...
INFSOF
2002
14 years 9 months ago
2002
Pointer analysis is an important part of source code analysis. Many programs that manipulate source code take points-to sets as part of their input. Points-to related data collect...
103
click to vote
SAC
2009
ACM
15 years 4 months ago
2009
ACM
JavaScript is widely used by web developers and the complexity of JavaScript programs has increased over the last year. Therefore, the need for program analysis for JavaScript is ...