[Stack R/W Sets] [Heap R/W Sets] [Field-Sets] [Connection] [Points-to] [Show Intro]