981 search results - page 47 / 197 » Symbolic pointer analysis |
SP
2002
IEEE
13 years 8 months ago
2002
IEEE
This paper shows how system-speci c static analysis can nd security errors that violate rules such as \integers from untrusted sources must be sanitized before use" and \do n...
ICDAR
2007
IEEE
14 years 3 months ago
2007
IEEE
In this paper we present a method to locate and recognize graphical symbols appearing in real images. A vectorial signature is defined to describe graphical symbols. It is formul...
ICDAR
2003
IEEE
14 years 2 months ago
2003
IEEE
Content-based retrieval and recognition of graphic images requires good models for symbol representation, able to identify those features providing the most relevant information a...
DAS
2008
Springer
13 years 10 months ago
2008
Springer
In this paper we present an adaptive method for graphic symbol representation based on shape contexts. The proposed descriptor is invariant under classical geometric transforms (r...
PLDI
2009
ACM
14 years 3 months 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...