2673 search results - page 342 / 535 » Guided Static Analysis |
174
click to vote
SP
2010
IEEE
15 years 9 months ago
2010
IEEE
—To handle the growing flood of malware, security vendors and analysts rely on tools that automatically identify and analyze malicious code. Current systems for automated malwar...
170
click to vote
WWW
2011
ACM
14 years 12 months ago
2011
ACM
Malicious web pages that host drive-by-download exploits have become a popular means for compromising hosts on the Internet and, subsequently, for creating large-scale botnets. In...
111
click to vote
DAC
2005
ACM
16 years 6 months ago
2005
ACM
MiniBit, our automated approach for optimizing bit-widths of fixed-point designs is based on static analysis via affine arithmetic. We describe methods to minimize both the intege...
121
click to vote
EMSOFT
2009
Springer
15 years 11 months ago
2009
Springer
In this paper, we propose a formal analysis approach to estimate the expected (average) data cache access time of an application across all possible program inputs. Towards this g...
159
click to vote
SBMF
2009
Springer
15 years 11 months ago
2009
Springer
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...