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,
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
