[klee-dev] How to restrict the character space of symbolic string

[Loi Luu]

I make a string variable as symbolic as:

unsigned char password[12];
klee_make_symbolic(password, sizeof(password),"password");

Is there any way like klee_assume to restrict all characters of password to
be only normal characters and numbers?

Thank you,
-------------- next part --------------
HTML attachment scrubbed and removed