qutorial
Results
12
comments of
qutorial
I guess we should delete the confusing --function XYZ cbmc setting. It has no effect. Right?
Ok, it returns also false positives, when memcpy() is used. uint8[10] src; uint8[10] dst; memcpy(dst,src,5);