On 12 September 2014 03:54, Daniel Dunbar <[email protected]> wrote: > One "hack" to do this is to simply loop over all of bytes of the symbolic > variable, and test each bit in them (you probably can't let the optimizer > run on this code though, as it will figure out what is happening and remove > it).
Just as a small note for recent versions of LLVM/Clang you could probably use the "optnone" attribute [1] on the function to prevent the optimizer from modifying the "concretizeByte()" function. [1] http://clang.llvm.org/docs/AttributeReference.html#optnone-clang-optnone _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
