981 search results - page 59 / 197 » Symbolic pointer analysis |
PLDI
2003
ACM
14 years 2 months ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
ICDAR
2011
IEEE
12 years 8 months ago
2011
IEEE
—We present a multiresolution scheme for symbol representation and recognition based on statistical shape features. We define a symbol as a set of shape points, each of which is...
TCC
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We prove a computational soundness theorem for the symbolic analysis of cryptographic protocols which extends an analogous theorem of Abadi and Rogaway (J. of Cryptology ...
TIME
1999
IEEE
14 years 1 months ago
1999
IEEE
In the recent literature on time representation, an effort has been made to characterize the notion of time granularity and the relationships between granularities, in order to ha...
CONCUR
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...