Tool for Verification of Programs with Pointers