981 search results - page 19 / 197 » Symbolic pointer analysis |
117
Voted
APLAS
2008
ACM
15 years 4 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...
111
Voted
ICDAR
2003
IEEE
15 years 8 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...
80
Voted
DAS
2008
Springer
15 years 4 months ago
2008
Springer
101
Voted
DAS
2008
Springer
15 years 4 months ago
2008
Springer
137
Voted
APSEC
1999
IEEE
15 years 7 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 ...