10 search results - page 2 / 2 » Static Bug Detection Through Analysis of Inconsistent Clones |
ICST
2011
IEEE
12 years 10 months ago
2011
IEEE
—Static analysis tools have been widely used to detect potential defects without executing programs. It helps programmers raise the awareness about subtle correctness issues in t...
PEPM
2009
ACM
15 years 6 months ago
2009
ACM
The Verilog hardware description language has padding semantics that allow designers to write descriptions where wires of different bit widths can be interconnected. However, many ...
CARDIS
2008
Springer
13 years 8 months ago
2008
Springer
The Java Card API provides a framework of classes and interfaces that hides the details of the underlying smart card interface, thus relieving developers from going through the swa...
ACMSE
2006
ACM
14 years 9 days ago
2006
ACM
Software researchers have already developed static code security checkers to parse through and scan source code files, looking for security vulnerabilities [8, 9]. What about exec...
PLDI
2009
ACM
14 years 1 months ago
2009
ACM
Unchecked errors are especially pernicious in operating system file management code. Transient or permanent hardware failures are inevitable, and error-management bugs at the fi...