1911 search results - page 295 / 383 » Program analysis for code duplication in logic programs |
107
click to vote
SCAM
2008
IEEE
15 years 8 months ago
2008
IEEE
Bug-checking tools have been used with some success in recent years to find bugs in software. For finding bugs that can cause security vulnerabilities, bug checking tools requir...
113
click to vote
CGO
2008
IEEE
15 years 4 months ago
2008
IEEE
Data-flow analysis is an integral part of any aggressive optimizing compiler. We propose a framework for improving the precision of data-flow analysis in the presence of complex c...
115
click to vote
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
We present the Stack Trace Analysis Tool (STAT) to aid in debugging extreme-scale applications. STAT can reduce problem exploration spaces from thousands of processes to a few by ...
121
Voted
RTAS
1998
IEEE
15 years 6 months ago
1998
IEEE
Static timing analyzers need to know the minimum and maximum number of iterations associated with each loop in a real-time program so accurate timing predictions can be obtained. ...
128
click to vote
CCS
2011
ACM
14 years 2 months ago
2011
ACM
Parameter tampering attacks are dangerous to a web application whose server fails to replicate the validation of user-supplied data that is performed by the client. Malicious user...