https://1library.org/uk/docs/detection-of-undefined-behavior-using-klee.19481420