5 // Demonstration of directionality of flow edges.
12 // Tracking functions.
21 print(s) // @pointsto main.f1
22 print(p) // @pointsto main.f2
23 print(q) // @pointsto main.f2
24 print(r) // @pointsto main.f1 | main.f2
27 // Tracking concrete types in interfaces.
30 var p interface{} = "foo"
36 print(s) // @types int
37 print(p) // @types string
38 print(q) // @types string
39 print(r) // @types int | string
44 // Tracking addresses of globals.
53 print(s) // @pointsto main.g1
54 print(p) // @pointsto main.g2
55 print(q) // @pointsto main.g2
56 print(r) // @pointsto main.g2 | main.g1