352 search results - page 6 / 71 » Evaluating the imprecision of static analysis |
101
Voted
WWW
2009
ACM
16 years 10 days ago
2009
ACM
We present a static control-flow analysis for JavaScript programs running in a web browser. Our analysis tackles numerous challenges posed by modern web applications including asy...
ICCAD
2004
IEEE
15 years 8 months ago
2004
IEEE
A latch-based timing analyzer is an essential tool for developing high-speed pipeline designs. As process variations increasingly influence the timing characteristics of DSM desi...
EURODAC
1995
IEEE
15 years 3 months ago
1995
IEEE
With VHDL models increasing their size, it becomes more important to assure the quality of these descriptions in order to improve simulation performances, to make project maintain...
79
Voted
ICSE
2008
IEEE-ACM
16 years 14 days ago
2008
IEEE-ACM
Static analysis tools report software defects that may or may not be detected by other verification methods. Two challenges complicating the adoption of these tools are spurious f...
94
Voted
SIGSOFT
2004
ACM
16 years 12 days ago
2004
ACM
In this paper, we describe PSE (Postmortem Symbolic Evaluation), a static analysis algorithm that can be used by programmers to diagnose software failures. The algorithm requires ...