Where do most vulnerabilities occur in software? Our Vulture tool automatically mines
existing vulnerability databases and version archives to map past vulnerabilities to …

In order to contribute to the solution of the software reliability problem, tools have been
designed to analyze statically the run-time behavior of programs. Because the correctness …

Solid State Drives (SSD's) have shown promise to be a candidate to replace traditional hard
disk drives, but due to certain physical characteristics of NAND flash, there are some …

The purpose of this paper is to introduce frameworks based on data-flow equations which
estimate the worst-case execution time (WCET) of real-time programs. These frameworks …

Programming tools and compilers require sophisticated techniques to statically reason
about program semantics. Existing program analysis techniques often fail to give precise …

The present invention is directed to detecting leaks in computer memory. Memory leaks are
detected by analyzing computer component memory usage records. The first derivative of …

Among various abstract domains, the interval domain is simple but also less precise. To
improve the precision of static defect detection based on the interval domain, we propose a …

As the proliferation of the Internet, especially World Wide Web, numerous information
resources have been constructed. The characteristics of information resources on the …

The quality of many optimizations and analyses of parallelizing compilers depends
significantly on the ability to evaluate symbolic expressions and on the amount of …

Although a number of weaknesses of symbolic execution, when used for software testing,
have been highlighted in the literature, the recent resurgence of strongly‐typed languages …