651 search results - page 96 / 131 » Precise Analysis of Java Programs Using JOANA |
103
click to vote
CC
2006
Springer
15 years 6 months ago
2006
Springer
Interprocedural dataflow analysis has a large number of uses for software optimization, maintenance, testing, and verification. For software built with reusable components, the tra...
143
click to vote
DLS
2005
15 years 4 months ago
2005
The DDP (Demand-driven/Pruning) analysis algorithm allows us to perform data-flow analyses of programming languages that are dynamically typed and have higher-order control flow...
134
Voted
PPOPP
2011
ACM
14 years 5 months ago
2011
ACM
Developing parallel software using current tools can be challenging. Even experts find it difficult to reason about the use of locks and often accidentally introduce race condit...
120
click to vote
CSFW
2004
IEEE
15 years 6 months ago
2004
IEEE
Non-interference is a high-level security property that guarantees the absence of illicit information leakages through executing programs. More precisely, non-interference for a p...
116
Voted
ISW
2009
Springer
15 years 8 months ago
2009
Springer
Various online studies on the prevalence of spyware attest overwhelming numbers (up to 80%) of infected home computers. However, the term spyware is ambiguous and can refer to anyt...