620 search results - page 4 / 124 » Abstract Analysis of Symbolic Executions |
APLAS
2005
ACM
14 years 28 days ago
2005
ACM
We describe a sound method for automatically proving Hoare triples for loop-free code in Separation Logic, for certain preconditions and postconditions (symbolic heaps). The method...
SP
2010
IEEE
13 years 11 months ago
2010
IEEE
—Dynamic taint analysis and forward symbolic execution are quickly becoming staple techniques in security analyses. Example applications of dynamic taint analysis and forward sym...
ECRTS
2002
IEEE
14 years 9 days ago
2002
IEEE
Most WCET analysis techniques only provide an upper bound on the worst case execution time as a constant value. However, it often appears that the execution time of a piece of cod...
MICRO
2009
IEEE
14 years 2 months ago
2009
IEEE
CADE
2007
Springer
14 years 7 months ago
2007
Springer
In this paper we propose a method for inferring invariants for loops in Java programs. An example of a simple while loop is used throughout the paper to explain our approach. The m...