Programming for coverage part 4

This is a trivial C++ function that does an unchecked access of an array element. It is perfectly fine to use if i is in bounds, and the CFG is just the straight line you would expect. Testing wise, the only thing we really can do is call it with a valid vec and i in bounds, as anything else would be undefined. int & unsafe_at ( int * vec , std :: size_t i ) { return vec [ i ]; } unsafe_at() Here…