651 search results - page 52 / 131 » Precise Analysis of Java Programs Using JOANA |
118
click to vote
ESOP
1999
Springer
15 years 6 months ago
1999
Springer
Control Flow Analysis is a widely used approach for analysing functional and object oriented programs. Once the applications become more demanding also the analysis needs to be mor...
115
click to vote
OOPSLA
2005
Springer
15 years 7 months ago
2005
Springer
Micro patterns are similar to design patterns, except that micro patterns stand at a lower, closer to the implementation, level of abstraction. Micro patterns are also unique in t...
124
click to vote
APSEC
2008
IEEE
15 years 8 months ago
2008
IEEE
Memory usage analysis is an important problem for resource-constrained mobile devices, especially under mission- or safety-critical circumstances. Program codes running on or bein...
107
click to vote
POPL
1999
ACM
15 years 6 months ago
1999
ACM
This paper presents a program analysis to estimate uncaught exceptions in ML programs. This analysis relies on unification-based type inference in a non-standard type system, usi...
147
click to vote
SEKE
2010
Springer
15 years 22 days ago
2010
Springer
Given the bytecode of a software system, is it possible to automatically generate attack signatures that reveal its vulnerabilities? A natural solution would be symbolically execu...