1880 search results - page 188 / 376 » A Static Analysis for Beta-Binders |
169
click to vote
SAS
2007
Springer
16 years 22 days ago
2007
Springer
Interval analysis seeks static lower and upper bounds on the values of program variables. These bounds are useful, especially for inferring invariants to prove buffer overflow ch...
181
click to vote
ACSC
2005
IEEE
16 years 8 days ago
2005
IEEE
We introduce a new approach to computing interprocedural modification side effects for Java programs in the presence of dynamic class loading. When compile-time unknown classes c...
165
click to vote
VMCAI
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
181
click to vote
AOSD
2004
ACM
16 years 2 days ago
2004
ACM
Aspect-Oriented Programming promises separation of concerns at the implementation level. However, aspects are not always orthogonal and aspect interaction is a fundamental problem...
156
click to vote
SCAM
2003
IEEE
15 years 12 months ago
2003
IEEE
Software maintenance, program analysis and transformation tools almost always rely on static source code analysis as the first and fundamental step to gather information. In the ...