182 search results - page 19 / 37 » Static Program Analysis for Java Card Applets |
118
Voted
PPDP
2007
Springer
15 years 8 months ago
2007
Springer
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
128
Voted
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
Checkpointing and replaying is an attractive technique that has been used widely at the operating/runtime system level to provide fault tolerance. Applying such a technique at the...
109
click to vote
CCS
2009
ACM
15 years 9 months ago
2009
ACM
Software flaws in native methods may defeat Java’s guarantees of safety and security. One common kind of flaws in native methods results from the discrepancy on how exceptions...
122
Voted
ECLIPSE
2006
ACM
15 years 8 months ago
2006
ACM
Eclipse plug-ins have access to a rich collection of GUI components. One such component is the progress bar, which allows a long-running task to provide Eclipse users with feedbac...
108
click to vote
CC
2005
Springer
15 years 7 months ago
2005
Springer
We introduce a new approach, called completeness analysis, to computing points-to sets for incomplete Java programs such as library modules or applications in the presence of dynam...