This is a fork of KLEE for use in SPA only: https://git.noc.ruhr-uni-bochum.de/brokamrc/symbolic_patch_analyzer

Standard KLEE repository: https://github.com/klee/klee