861 search results - page 67 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
106
click to vote
PLDI
2012
ACM
13 years 5 months ago
2012
ACM
When program verification tools fail to verify a program, either the program is buggy or the report is a false alarm. In this situation, the burden is on the user to manually cla...
132
click to vote
EMSOFT
2004
Springer
15 years 8 months ago
2004
Springer
We present a technique to approximate the worst-case execution time that combines structural analysis with a loop-bounding algorithm based on local induction variable analysis. St...
139
click to vote
SIGSOFT
2004
ACM
16 years 3 months ago
2004
ACM
Five modern static analysis tools (ARCHER, BOON, PolySpace C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnera...
148
click to vote
CGO
2010
IEEE
15 years 10 months ago
2010
IEEE
We present a practical and scalable method for flow- and contextsensitive (FSCS) pointer analysis for C programs. Our method analyzes the pointers in a program level by level in ...
126
click to vote
SIGMOD
2011
ACM
14 years 6 months ago
2011
ACM
We are witnessing an exciting revival of interest in recursive Datalog queries in a variety of emerging application domains such as data integration, information extraction, netwo...