620 search results - page 4 / 124 » Abstract Analysis of Symbolic Executions |
90
Voted
APLAS
2005
ACM
15 years 5 months 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...
92
Voted
SP
2010
IEEE
15 years 4 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...
117
Voted
ECRTS
2002
IEEE
15 years 5 months 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...
64
Voted
MICRO
2009
IEEE
15 years 6 months ago
2009
IEEE
102
Voted
CADE
2007
Springer
16 years 15 days 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...