Hi, I know it's been asked before, but I'd like to check again. Has anyone had success using KLEE to check programs on OS X? Last I checked, it looked possible to get KLEE to compile. However, ulibc didn't , which meant we couldn't do anything with existing programs.
Take care, David
