352 search results - page 29 / 71 » Evaluating the imprecision of static analysis |
MOBICOM
2004
ACM
15 years 7 months ago
2004
ACM
Several studies have recently been performed on wireless university campus networks, corporate and public networks. Yet little is known about the flow-level characterization in s...
107
click to vote
CSFW
2009
IEEE
15 years 8 months ago
2009
IEEE
This paper studies the problem of securing information release in dynamic languages. We propose (i) an intuitive framework for information-release policies expressing both what ca...
117
Voted
BMCBI
2008
15 years 2 months ago
2008
Background: Time-course microarray experiments are being increasingly used to characterize dynamic biological processes. In these experiments, the goal is to identify genes differ...
136
click to vote
CC
2012
Springer
13 years 9 months ago
2012
Springer
The computational cost and precision of a shape style heap analysis is highly dependent on the way method calls are handled. This paper introduces a new approach to analyzing metho...
115
click to vote
TACAS
2007
Springer
15 years 8 months ago
2007
Springer
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...