Slide 1 1/25 Pointer Logic Changki Hong @ PSWLAB Pointer Logic Daniel Kroening and Ofer Strichman Decision Procedure Slide 2 2/25 Pointer Logic Changki Hong @ PSWLAB Why…