C-2PO: AWeakly Relational Pointer Domain "These Are Not the Memory Cells You Are Looking For"

被引：0

作者：

Ghidini, Rebecca ^{[1
]}

Erhard, Julian ^{[1
,2
]}

Schwarz, Michael ^{[1
]}

Seidl, Helmut ^{[1
]}

机构：

[1] Tech Univ Munich, TUM Sch Computat Informat & Technol, Munich, Germany

[2] Ludwig Maximilians Univ Munchen, Munich, Germany

来源：

PROCEEDINGS OF THE 10TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON NUMERICAL AND SYMBOLIC ABSTRACT DOMAINS, NSAD 2024 | 2024年

基金：

美国国家科学基金会;

关键词：

static analysis; abstract interpretation; weakly relational domains; pointers;

D O I：

10.1145/3689609.3689994

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Pointer analysis is foundational for statically analyzing realworld programs. We present C-2PO - a weakly relational domain for C programs, which tracks must-equalities and -disequalities between pointer expressions. This domain captures address arithmetic and its confinement to single memory objects, both core concepts in C. We implement the domain in Goblint and provide a preliminary evaluation. For 95% of SV-COMP tasks, the slowdown incurred by adding C-2PO is below a factor of 3. To measure precision, we instrumented coreutil programs with assertions computed by C-2PO. For an existing non-relational pointer analysis, 80% of the assertions are out of reach.

引用

页码：2 / 9

页数：8

共 50 条

[21] REGULATION OF A NOVEL TRANSCRIPT, C-JER IN HL-60 CELLS WITH HOMOLOGY TO THE C2 REGULATORY DOMAIN OF PKC ALPHA
ROSEN, JE
JOURNAL OF CELLULAR BIOCHEMISTRY, 1993, : 171 - 171
[22] Ceramide induces translocation of protein kinase C-α to the Golgi compartment of human embryonic kidney cells by interacting with the C2 domain
Aschrafi, A
Fabbro, D
Pfeilschifter, J
Huwiler, A
FASEB JOURNAL, 2003, 17 (04): : A168 - A168
[23] Double C2 domain protein (Doc2b) regulates insulin secretion in pancreatic beta-cells
Miyazaki, Mutsuko
Emoto, Masahiro
Fukuda, Naofumi
Matsubara, Atsushi
Okuya, Shigeru
Tanizawa, Yukio
DIABETES, 2007, 56 : A436 - A436
[24] Cell cycle arrest and apoptosis by expression of a novel TPIP (TPIP-C2) cDNA encoding a C2-domain in HEK-293 cells
Rasmi Rekha Mishra
Jitendra Kumar Chaudhary
Pramod C. Rath
Molecular Biology Reports, 2012, 39 : 7389 - 7402
[25] The calcium binding loops of the cytosolic phospholipase A2 C2 domain specify targeting to Golgi and ER in live cells
Evans, JH
Gerber, SH
Murray, D
Leslie, CC
MOLECULAR BIOLOGY OF THE CELL, 2004, 15 (01) : 371 - 383
[26] Cell cycle arrest and apoptosis by expression of a novel TPIP (TPIP-C2) cDNA encoding a C2-domain in HEK-293 cells
Mishra, Rasmi Rekha
Chaudhary, Jitendra Kumar
Rath, Pramod C.
MOLECULAR BIOLOGY REPORTS, 2012, 39 (07) : 7389 - 7402
[27] Natural H3N2 influenza A infection in humans expands memory B cells specific for the hemagglutinin stalk domain
Tesini, B.
Halliley, J.
Ellebedy, A.
Kanagaiah, P.
Anderson, C.
Dediego, M.
Chaves, F.
Wang, J.
Krammer, F.
Yang, H.
Zand, M.
Ahmed, R.
Treanor, J.
Topham, D.
Sangster, M.
EUROPEAN JOURNAL OF IMMUNOLOGY, 2016, 46 : 96 - 96
[28] Cloning of cDNAs with PDCD2C domain and their expressions during apoptosis of HEK293T cells
Qiu Chen
Kaixian Qian
Chengqi Yan
Molecular and Cellular Biochemistry, 2005, 280 : 185 - 191
[29] Cloning of cDNAs with PDCD2_C domain and their expressions during apoptosis of HEK293T cells
Chen, Q
Qian, KX
Yan, CQ
MOLECULAR AND CELLULAR BIOCHEMISTRY, 2005, 280 (1-2) : 185 - 191
[30] The Relevance of the SH2 Domain for c-Src Functionality in Triple-Negative Breast Cancer Cells
Mayoral-Varo, Victor
Pilar Sanchez-Bailon, Maria
Calcabrini, Annarica
Garcia-Hernandez, Marta
Frezza, Valerio
Elena Martin, Maria
Gonzalez, Victor M.
Martin-Perez, Jorge
CANCERS, 2021, 13 (03) : 1 - 23

← 1 2 3 4 5 →