147:18 Tian Tan,Yue Li,Xiaoxing Ma,Chang Xu,and Yannis Smaragdakis Table 1.Precision and performance metrics for context-insensitive(CI)and selective context-sensitive pointer analyses guided by CoLLECTION,ZIPPER,SCALER,and BATON(Unity)respectively.For all numbers,lower is better. Program Analysis VarPts AvgPts Aliases FCasts PCalls RMtds CEdges Time(s) CI 5,120.447 53.4 54.502.418 1.662 15g2 11.486 63.790 59 COLLECTION 2.239.445 242 25,676,463 1,342 1.343 10.995 56.426 69 ZIPPER 1.110.244 19.5 R650411 10含9 161 10.440 51.261 119 hsqldb SCALER 1.062,721 11.8 12.096.236 1,120 1197 10,639 52,063 357 BATON (Unity) 738.878 8.4 6.905.176 842 1.145 10.304 49.864 450 CI 61,536.682 224.6 774.840.941 5063 7046 31.137 195.026 571 COLLECTION 21,484,100 80.9 338.974351 3,647 6,071 30.038 164,764 1,012 ZIPPER 25,881,909 97.8 330,.526.330 3923 5903 29.786 165085 583 galleon SCALER 28.084.055 105.2 383.443.213 3.739 6.175 30,194 167.957 4.697 BATON(Unity) 7,831,380 31.5 110,490.509 3.023 5,458 28,138 139,979 533 CI 16,874.067 98.0 224,287.546 3.382 4.749 21.006 118.426 104 COLLECTION 3,895.227 23.1 66.401.696 251 4,152 20562 99,574 79 jedit ZIPPER 3,588,763 21.4 59.605.295 2,304 41.065 20.418 98,290 100 SCALER 3.583.465 213 61720.584 2377 3.990 20.499 97,999 580 BATON (Unity) 3.140.272 18.8 52,291.827 2,098 3,895 20.340 96,872 2,028 CI 110,901,529 365.2 2.006,757,243 16,570 16,532 32 459 415 4/ 1,013 COLLECTION 31.431.,433 105.1 744,789.961 10.296 14765 31952 367708 1,221 ZIPPER 33,832.881 113. 859.999.654 10.673 14666 31,965 326,092 797 soot SCALER 34.952,536 116.8 817.587.505 10,549 14822 31982 374.877 1,257 BATON(Unity) 24,080,734 80.7 579,686.802 9.483 14.499 31,878 308,306 574 CI 23.261.792 112.6 301.389.233 3.583 5.703 24.887 148.874 171 COLLECTION 8.099,569 40.1 103,258.215 2,636 4.820 24,210 120,835 137 ZIPPER 7670.883 38.2 104660.677 4739 24.117 120316 288 gruntspud 2,549 SCALER 7.577.272 37.6 100,355.028 2,479 4.699 24,207 120.177 2.761 BATON(Unity) 6,275,349 31.4 81,988.438 2,096 4.572 23.992 116,842 3,254 CI 19,576,304 120.3 208,124.549 2514 3264 18.820 117551 198 COLLECTION 6,268.412 41.0 71227109 1628 2553 17549 94501 217 ZIPPER 7,179,587 47.2 78,727.889 1,734 2.501 heritrix 17,419 96.633 348 SCALER 7,106,210 46.7 80,018,315 1,637 2.461 17,461 94,785 2,601 BATON (Unity) 2,546,396 17.7 20,679,819 1,200 2,18216,428 82,301 847 CI 7,.713.272 57.8 86,502.490 2.948 4183 15,254 104.457 6 COLLECTION 2.765.814 21.1 28.677.101 2237 36R4 14,967 94.750 74 pmd ZIPPER 2,760,540 29,809,145 2,153 ,634 14,908 93,516 386 SCALER 2.410.883 28,460,705 276 3.536 14.895 92,775 697 BATON(Unity) 2.141253 16.5 24.976.066 1,956 3.463 14,803 91,762 3,602 CI 16,581.997 157.7 183,658.141 2.234 2,778 12,718 114,856 108 COLLECTION 13,281,462 131.5 148.452.466 .901 2572 12,205 107,903 152 ZIPPER 12.948.335 129.8 142.634.911 1781 24只 12026 107.113 134 jython SCALER 13.016.241 129.1 134.214.889 1,852 2.500 12.167 107.410 459 BATON(Unity） 12,687,718 127.3 129,984,727 1,719 2,438 11,997 106,645 773 CI 73,783,904 276.9 586.687.036 5,305 7.060 33.019 187173 577 COLLECTION 14,935,335 59.9 151.406.154 3.501 5,544 30,774 152,250 627 ZIPPER 32,834,048 126.5 258484.882 4202 6,083 32044 167,340 1,043 jasperreports SCALER 19.025,792 75.9 176,489,911 3,615 5577 30,904 154,745 1,551 BATON(Unity) 6.453.254 26.5 74,908878 2,994 5,267 30,008 142,256 834 CI 24.841,670 123.4 261,199.033 4,190 9.197 20,862 161,222 136 COLLECTION 11366316 574 70520064 3266 8.657 2052 146770 122 ZIPPER 11,848.840 59.8 90,933,963 3,223 8.599 20,499 148,037 3.052 eclipse SCALER 11,117,708 56.4 73,208.882 3,211 8,486 20,374 145.953 680 BATON (Unity) 9,817.684 50.4 62.570.596 2,834 8,352 20,142 143,503 5.965 CI 34,335.976 136.6 370,495,823 4,904 6,297 26,582 176,785 233 COLLECTION 9.454,391 38.7 101.712.404 3.416 5.373 25.706 153.414 151 ZIPPER 8,202.040 33.7 85.183.405 3158 5306 25,537 151,550 217 briss SCALER 9,294.471 38.1 101,195.279 3,428 5,323 25.652 152.761 1,265 BATON (Unity) 7,653,188 31.5 79,503.155 2,955 5,147 25,473 150,749 1.726 6 86,528.734 336.2 745.538.811 4,889 6.669 31.476 195,930 771 COLLECTION 8,837,513 418 109,500,746 2,842 4,774 25,709 122.187 218 ZIPPER 21510.036 100.4 264213.761 3.444 5.213 26.051 140.637 837 columba SCALER 9,986,400 47.2 122,951,398 2,897 4,799 25,729 123,330 295 BATON(Unity） 6.658,750 32.1 85,365.064 2,393 4.52225.157118.803 358 Proc.ACM Program.Lang.,Vol.5.No.OOPSLA,Article 147.Publication date:October 2021.147:18 Tian Tan, Yue Li, Xiaoxing Ma, Chang Xu, and Yannis Smaragdakis Table 1. Precision and performance metrics for context-insensitive (CI) and selective context-sensitive pointer analyses guided by Collection, Zipper𝑒 , Scaler, and Baton (Unity) respectively. For all numbers, lower is better. Program Analysis VarPts AvgPts Aliases FCasts PCalls RMtds CEdges Time (s) hsqldb CI 5,120,447 53.4 54,502,418 1,662 1,592 11,486 63,790 59 Collection 2,239,445 24.2 25,676,463 1,342 1,343 10,995 56,426 69 Zipper𝑒 1,110,244 12.5 8,650,411 1,032 1,261 10,440 51,261 119 Scaler 1,062,721 11.8 12,096,236 1,120 1,197 10,639 52,063 357 Baton (Unity) 738,878 8.4 6,905,176 842 1,145 10,304 49,864 450 galleon CI 61,536,682 224.6 774,840,941 5,063 7,046 31,137 195,026 571 Collection 21,484,100 80.9 338,974,351 3,647 6,071 30,038 164,764 1,012 Zipper𝑒 25,881,909 97.8 330,526,330 3,923 5,903 29,786 165,085 583 Scaler 28,084,055 105.2 383,443,213 3,739 6,175 30,194 167,957 4,697 Baton (Unity) 7,831,380 31.5 110,490,509 3,023 5,458 28,138 139,979 533 jedit CI 16,874,067 98.0 224,287,546 3,382 4,749 21,006 118,426 104 Collection 3,895,227 23.1 66,401,696 2,516 4,152 20,562 99,574 79 Zipper𝑒 3,588,763 21.4 59,605,295 2,304 4,065 20,418 98,290 100 Scaler 3,583,465 21.3 61,720,584 2,377 3,990 20,499 97,999 1,580 Baton (Unity) 3,140,272 18.8 52,291,827 2,098 3,895 20,340 96,872 2,028 soot CI 110,901,529 365.2 2,006,757,243 16,570 16,532 32,459 415,476 1,013 Collection 31,431,433 105.1 744,789,961 10,296 14,765 31,952 367,708 1,221 Zipper𝑒 33,832,881 113.1 859,999,654 10,673 14,666 31,965 326,092 797 Scaler 34,952,536 116.8 817,587,505 10,549 14,822 31,982 374,877 1,257 Baton (Unity) 24,080,734 80.7 579,686,802 9,483 14,499 31,878 308,306 574 gruntspud CI 23,261,792 112.6 301,389,233 3,583 5,703 24,887 148,874 171 Collection 8,099,569 40.1 103,258,215 2,636 4,820 24,210 120,835 137 Zipper𝑒 7,670,883 38.2 104,660,677 2,549 4,739 24,117 120,316 288 Scaler 7,577,272 37.6 100,355,028 2,479 4,699 24,207 120,177 2,761 Baton (Unity) 6,275,349 31.4 81,988,438 2,096 4,572 23,992 116,842 3,254 heritrix CI 19,576,304 120.3 208,124,549 2,514 3,264 18,820 117,551 198 Collection 6,268,412 41.0 71,227,109 1,628 2,553 17,549 94,501 217 Zipper𝑒 7,179,587 47.2 78,727,889 1,734 2,501 17,419 96,633 348 Scaler 7,106,210 46.7 80,018,315 1,637 2,461 17,461 94,785 2,601 Baton (Unity) 2,546,396 17.7 20,679,819 1,200 2,182 16,428 82,301 847 pmd CI 7,713,272 57.8 86,502,490 2,948 4,183 15,254 104,457 67 Collection 2,765,814 21.1 28,677,101 2,237 3,684 14,967 94,750 74 Zipper𝑒 2,760,540 21.1 29,809,145 2,153 3,634 14,908 93,516 386 Scaler 2,410,883 18.4 28,460,705 2,176 3,536 14,895 92,775 697 Baton (Unity) 2,141,253 16.5 24,976,066 1,956 3,463 14,803 91,762 3,602 jython CI 16,581,997 157.7 183,658,141 2,234 2,778 12,718 114,856 108 Collection 13,281,462 131.5 148,452,466 1,901 2,572 12,205 107,903 152 Zipper𝑒 12,948,335 129.8 142,634,911 1,781 2,486 12,026 107,113 134 Scaler 13,016,241 129.1 134,214,889 1,852 2,500 12,167 107,410 459 Baton (Unity) 12,687,718 127.3 129,984,727 1,719 2,438 11,997 106,645 773 jasperreports CI 73,783,904 276.9 586,687,036 5,305 7,060 33,019 187,173 577 Collection 14,935,335 59.9 151,406,154 3,501 5,544 30,774 152,250 627 Zipper𝑒 32,834,048 126.5 258,484,882 4,202 6,083 32,044 167,340 1,043 Scaler 19,025,792 75.9 176,489,911 3,615 5,577 30,904 154,745 1,551 Baton (Unity) 6,453,254 26.5 74,908,878 2,994 5,267 30,008 142,256 834 eclipse CI 24,841,670 123.4 261,199,033 4,190 9,197 20,862 161,222 136 Collection 11,366,316 57.4 70,520,064 3,266 8,657 20,523 146,770 122 Zipper𝑒 11,848,840 59.8 90,933,963 3,223 8,599 20,499 148,037 3,052 Scaler 11,117,708 56.4 73,208,882 3,211 8,486 20,374 145,953 680 Baton (Unity) 9,817,684 50.4 62,570,596 2,834 8,352 20,142 143,503 5,965 briss CI 34,335,976 136.6 370,495,823 4,904 6,297 26,582 176,785 233 Collection 9,454,391 38.7 101,712,404 3,416 5,373 25,706 153,414 151 Zipper𝑒 8,202,040 33.7 85,183,405 3,158 5,306 25,537 151,550 217 Scaler 9,294,471 38.1 101,195,279 3,428 5,323 25,652 152,761 1,265 Baton (Unity) 7,653,188 31.5 79,503,155 2,955 5,147 25,473 150,749 1,726 columba CI 86,528,734 336.2 745,538,811 4,889 6,669 31,476 195,930 771 Collection 8,837,513 41.8 109,500,746 2,842 4,774 25,709 122,187 218 Zipper𝑒 21,510,036 100.4 264,213,761 3,444 5,213 26,051 140,637 837 Scaler 9,986,400 47.2 122,951,398 2,897 4,799 25,729 123,330 295 Baton (Unity) 6,658,750 32.1 85,365,064 2,393 4,522 25,157 118,803 358 Proc. ACM Program. Lang., Vol. 5, No. OOPSLA, Article 147. Publication date: October 2021