angelix icon indicating copy to clipboard operation
angelix copied to clipboard

Published 20 hours ago • verified publisher icon pku-msv-lab

Update for the latest KLEE

Open XVilka opened this issue 5 years ago • 1 comments

There were a lot of improvements and bugfixes in KLEE since:

  • 2.0.0 release https://github.com/klee/klee/releases/tag/v2.0
  • Newer changes: https://github.com/klee/klee/compare/v2.0...master

XVilka avatar Sep 13 '19 11:09 XVilka

Thanks, we plan to update it. Currently, Angelix uses old llvm with llvm-gcc. To update KLEE, we also have to switch to newer llvm and use wllvm instead.

mechtaev avatar Sep 13 '19 12:09 mechtaev