Verification of C Buffer Overflows in C Programs. - Andreea Bican; Razvan Deaconescu; Wei-Ngan Chin; Quang-Trung Ta (RoEduNet, 2018)