8 search results - page 1 / 2 » Interprocedural Symbolic Evaluation of Ada Programs with Ali... |
ADAEUROPE
1999
Springer
13 years 10 months ago
1999
Springer
LCPC
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. We have designed and implemented an interprocedural algorithm to analyze symbolic value ranges that can be assumed by variables at any given point in a program. Our algor...
TACAS
2007
Springer
13 years 12 months ago
2007
Springer
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
PLDI
2009
ACM
14 years 17 days ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
POPL
2008
ACM
14 years 6 months ago
2008
ACM
We present a framework for generating procedure summaries that are precise -- applying the summary in a given context yields the same result as re-analyzing the procedure in that ...