Open Samarium150 opened 4 weeks ago
@arc-s14 Witness::GoalTest method contains bugs
Witness::GoalTest
11e64fc6b5328f0a9e1859faf2a9376a9f146033:
daff8ca87e470a96865bb4c5bb8ef9d9f8bf78b2:
Some obvious ones:
node.path
node.path.back()
@arc-s14
Witness::GoalTest
method contains bugs11e64fc6b5328f0a9e1859faf2a9376a9f146033:
daff8ca87e470a96865bb4c5bb8ef9d9f8bf78b2:
Some obvious ones:
node.path
is empty, then callingnode.path.back()
will cause undefined behaviour (memory access out of bound). https://github.com/nathansttt/hog2/blob/e470a47abf8de036b8b55b312a62c493f7156f02/environments/Witness.h#L2859-L2861