MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Pointer-Range Analysis." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

8 documents found, showing 1 through 8.

ATOM

Pointer-range analysis
by Suan Hsi Yong, Susan Horwitz — 2004 — In SAS’04, number 3148 in LNCS
…Pointer-Range Analysis ⋆ Suan Hsi Yong and Susan Horwitz Computer Sciences Department, University…
Cited by 10 (1 self) – Add To MetaCart

Identifying Critical Loads in Real Programs for Decoupled VSM Systems
by He Zhu And, He Zhu, Ian Watson
… consists of the pointer range analysis, the critical value analysis and the identifying steps…
Add To MetaCart

Construction of Concrete Verification Models from C++
by Malay Haldar, Eep Singh, Saurabh Prabhakar, Basant Dwivedi, Antara Ghosh
….2 Pointer Range Analysis As mentioned in the previous section, we use pointer range analysis to compute…
Add To MetaCart

Overhead. Formal Methods in System Design, 27(3):313-334, November
by Yong Suan Hsi, Minor Mathematics, S. Yong, S. Horwitz, Using Static, Analysis Reduce, Dynamic Analysis — 2004
… Sciences Department, University of Wisconsin- Madison, August 2004. S. Yong and S. Horwitz. Pointer-Range…
Add To MetaCart

Data Randomization
by Cristian Cadar, Jean-phillipe Martin, Periklis Akritidis, Manuel Costa, Miguel Castro
… runs a simple intraprocedural pointer-range analysis to compute writes and reads through pointers…
Add To MetaCart

Preventing memory error exploits with WIT
by Periklis Akritidis, Cristian Cadar, Costin Raiciu, Manuel Costa, Miguel Castro
… analysis runs a simple intra-procedural pointer-range analysis to compute writes through pointers…
Cited by 2 (1 self) – Add To MetaCart

Fail-Safe ANSI-C Compiler: An Approach to Making C Programs Secure
by Yutaka Oiwa, Tatsurou Sekiguchi, Eijiro Sumii, Akinori Yonezawa — 2002 — In Proceedings of International Symposium on Software Security 2002
… pointer range analysis which can reduce this performance penalty. Direct member accesses (e.g., a…
Cited by 6 (0 self) – Add To MetaCart

Fail-Safe ANSI-C Compiler: An Approach to
by Making Programs Secure, Yutaka Oiwa, Tatsurou Sekiguchi, Eijiro Sumii, Akinori Yonezawa — 2002 — In Proceedings of International Symposium on Software Security 2002
…->elem)) may have some performance penalties. We are currently implementing a pointer range analysis which can…
Add To MetaCart

Showing 1 through 8.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB