981 search results - page 19 / 197 » Symbolic pointer analysis |
APLAS
2008
ACM
13 years 10 months ago
2008
ACM
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...
ICDAR
2003
IEEE
14 years 2 months ago
2003
IEEE
We describe a method to enable the selection of specific text regions with a hand-held camera by means of projecting a structured light pointer on the document. The user indicates...
DAS
2008
Springer
13 years 10 months ago
2008
Springer
DAS
2008
Springer
13 years 10 months ago
2008
Springer
APSEC
1999
IEEE
14 years 1 months ago
1999
IEEE
In this paper, we propose four slicing methods using both static and dynamic analysis information. (1) StatementMark Slice : removes the unnecessary statements using an execution ...