Precision-Guided Context Sensitivity for Pointer Analysis 141:15 Table 1.Performance and precision metrics for context-insensitive(ci),conventional object-sensitive(2obj), ZIPPER-guided(zipper-2obj),and introspective object-sensitive(introX-2obj)pointer analyses. Program Pointer analysis Time (s) #fail-cast #poly-call #reach-mtd #call-edge ci 82 2961 4681 19197 101616 2obj 31 1606 3491 16859 76807 batik zipper-2obj 927 1614 3501 16863 76858 introA-2obj 232 2675 4262 19011 97120 introB-2obj 2146 2149 3997 18703 90126 ci 50 1114 1444 9866 57490 2obj 1912 581 1035 9513 48809 checkstyle zipper-2obj 355 607 1059 9526 48945 introA-2obi 124 970 1206 9769 55736 introB-2obj 1566 792 1134 9595 51437 ci 61 3003 4113 19773 106410 2obj 1124 1837 3385 19245 89866 sunflow zipper-2obj 520 1869 3391 19247 89902 introA-2obj 153 2764 3796 19651 103536 introB-2obj 404 2346 3529 19429 95602 ci 52 2508 2925 13036 77370 2obj 2321 1409 2182 12657 65836 findbugs zipper-2obj 830 1437 2190 12662 65880 introA-2obi 191 2271 2422 12960 73681 introB-2obj 422 2024 2372 12882 70725 ci 18 2370 5013 17146 96669 2obj 1392 4222 15852 81030 zipper-2obj 211 1415 4231 15857 81072 introA-2obj 130 2169 4703 17038 95170 introB-2obj 331 1736 4327 16001 85316 ci 3 1139 1334 8465 45474 2obj 126 546 980 7911 38151 eclipse zipper-2obj 66 586 1013 7927 38369 introA-2obi 977 1118 8319 43781 introB-2obj 72 764 1046 8001 39876 ci 6 1810 1852 12064 63453 2obj 2 883 1378 11330 52374 chart zipper-2obj 77 910 1384 11334 52399 introA-2obi 126 1580 1613 11952 61323 introB-2obj 183 1236 1497 11518 55594 ci 74 2458 3585 17154 84330 2obj 1022 1446 2844 16438 71408 fop zipper-2obj 457 1471 2860 16442 71478 introA-2obi 197 2206 3246 17007 82113 introB-2obj 512 1804 2979 16571 75770 ci 39 1182 1898 9705 51302 2obj 985 533 1522 9047 44871 xalan zipper-2obj 107 568 1542 9129 45332 introA-2obi 111 1129 1765 9637 50659 introB-2obj 705 723 1579 9119 45904 ci 31 1924 2014 8939 61150 2obj 3128 1193 1427 8470 53143 zipper-2obj 2704 1224 1449 8486 53289 bloat introA-2obj 57 1809 1690 8869 60111 introB-2obj 135 1621 1522 8626 55455 zipper-2obj" 52 1310 1511 8538 54049 Proc.ACM Program.Lang.,Vol.2,No.OOPSLA,Article 141.Publication date:November 2018.Precision-Guided Context Sensitivity for Pointer Analysis 141:15 Table 1. Performance and precision metrics for context-insensitive (ci), conventional object-sensitive (2obj), Zipper-guided (zipper-2obj), and introspective object-sensitive (introX-2obj) pointer analyses. Program Pointer analysis Time (s) #fail-cast #poly-call #reach-mtd #call-edge batik ci 82 2 961 4 681 19 197 101 616 2obj 3 137 1 606 3 491 16 859 76 807 zipper-2obj 927 1 614 3 501 16 863 76 858 introA-2obj 232 2 675 4 262 19 011 97 120 introB-2obj 2 146 2 149 3 997 18 703 90 126 checkstyle ci 50 1 114 1 444 9 866 57 490 2obj 1 912 581 1 035 9 513 48 809 zipper-2obj 355 607 1 059 9 526 48 945 introA-2obj 124 970 1 206 9 769 55 736 introB-2obj 1 566 792 1 134 9 595 51 437 sunflow ci 61 3 003 4 113 19 773 106 410 2obj 1 124 1 837 3 385 19 245 89 866 zipper-2obj 520 1 869 3 391 19 247 89 902 introA-2obj 153 2 764 3 796 19 651 103 536 introB-2obj 404 2 346 3 529 19 429 95 602 findbugs ci 52 2 508 2 925 13 036 77 370 2obj 2 321 1 409 2 182 12 657 65 836 zipper-2obj 830 1 437 2 190 12 662 65 880 introA-2obj 191 2 271 2 422 12 960 73 681 introB-2obj 422 2 024 2 372 12 882 70 725 jpc ci 58 2 370 5 013 17 146 96 669 2obj 515 1 392 4 222 15 852 81 030 zipper-2obj 211 1 415 4 231 15 857 81 072 introA-2obj 130 2 169 4 703 17 038 95 170 introB-2obj 331 1 736 4 327 16 001 85 316 eclipse ci 23 1 139 1 334 8 465 45 474 2obj 126 546 980 7 911 38 151 zipper-2obj 66 586 1 013 7 927 38 369 introA-2obj 58 977 1 118 8 319 43 781 introB-2obj 72 764 1 046 8 001 39 876 chart ci 46 1 810 1 852 12 064 63 453 2obj 244 883 1 378 11 330 52 374 zipper-2obj 77 910 1 384 11 334 52 399 introA-2obj 126 1 580 1 613 11 952 61 323 introB-2obj 183 1 236 1 497 11 518 55 594 fop ci 74 2 458 3 585 17 154 84 330 2obj 1 022 1 446 2 844 16 438 71 408 zipper-2obj 457 1 471 2 860 16 442 71 478 introA-2obj 197 2 206 3 246 17 007 82 113 introB-2obj 512 1 804 2 979 16 571 75 770 xalan ci 39 1 182 1 898 9 705 51 302 2obj 985 533 1 522 9 047 44 871 zipper-2obj 107 568 1 542 9 129 45 332 introA-2obj 111 1 129 1 765 9 637 50 659 introB-2obj 705 723 1 579 9 119 45 904 bloat ci 31 1 924 2 014 8 939 61 150 2obj 3 128 1 193 1 427 8 470 53 143 zipper-2obj 2 704 1 224 1 449 8 486 53 289 introA-2obj 57 1 809 1 690 8 869 60 111 introB-2obj 135 1 621 1 522 8 626 55 455 zipper-2obj* 52 1 310 1 511 8 538 54 049 Proc. ACM Program. Lang., Vol. 2, No. OOPSLA, Article 141. Publication date: November 2018