DOI,IST REx ID,Title of publication
10.1145/3498681,17503,VIP: Verifying real-world C idioms with integer-pointer casts