A New Property Verification Method for Code Security Based on Pointer Logic: A New Property Verification Method for Code Security Based on Pointer Logic