Full list of PTAs

Note that the symbol k used in the table should be replaced with a concrete small constant like 1 or 2.

PTA patterns/commands	Description	Reference
-pta=insens	Andersen's context-insensitive analysis	https://link.springer.com/chapter/10.1007/3-540-36579-6_12
-pta=kc	k-callsite-sensitive pointer analysis (denoted kCFA).	https://www.cse.psu.edu/~trj1/cse598-f11/docs/sharir_pnueli1.pdf
-pta=ko	k-object-sensitive pointer analysis (denoted kOBJ).	https://dl.acm.org/doi/abs/10.1145/1044834.1044835
-pta=kt	k-type-sensitive pointer analysis (denoted kTYPE).	https://dl.acm.org/doi/abs/10.1145/1926385.1926390
-pta=kh	hybrid k-object-sensitive pointer analysis.	https://dl.acm.org/doi/10.1145/2499370.2462191
-pta=kht	hybrid k-type-sensitive pointer analysis.	https://dl.acm.org/doi/10.1145/2499370.2462191
-pta=B-2o	BEAN-guided 2OBJ. Only k=2 is supported.	https://link.springer.com/chapter/10.1007/978-3-662-53413-7_24
-pta=D-2o	Data-driven 2OBJ. Only k=2 is supported.	https://dl.acm.org/doi/10.1145/3133924
-pta=D-2c	Data-driven 2CFA. Only k=2 is supported.	https://dl.acm.org/doi/10.1145/3133924
-pta=M-ko	MAHJONG-guided kOBJ.	https://dl.acm.org/doi/10.1145/3062341.3062360
-pta=M-kc	MAHJONG-guided kCFA.	https://dl.acm.org/doi/10.1145/3062341.3062360
-pta=E-ko	EAGLE-guided kOBJ.	https://dl.acm.org/doi/10.1145/3360574
-pta=T-ko	TURNER-guided kOBJ.	https://drops.dagstuhl.de/opus/volltexte/2021/14059/
-pta=Z-ko	ZIPPER-guided kOBJ.	https://dl.acm.org/doi/10.1145/3276511
-pta=Z-kc	ZIPPER-guided kCFA.	https://dl.acm.org/doi/10.1145/3276511
-pta=Z-ko -cd	The context debloated version of ZIPPER-guided kOBJ.	https://doi.org/10.1109/ASE51524.2021.9678880
-pta=ko -cd	The context debloated version of kOBJ.	https://doi.org/10.1109/ASE51524.2021.9678880
-pta=s-kc	SELECTX-guided kCFA.	https://doi.org/10.1007/978-3-030-88806-0_13