[klee-dev] How to create a dummy symbol expression

[Gao 高Min 敏]

I want to create a dummy symbol expression in klee (manually setting name and width, no address allocation required, just a pure dummy symbol representing a bunch of constraints). In klee::Expr I can't find a way to do that. Can someone give me some hints on how to do that?Thanks,Min 		 	   		  
-------------- next part --------------
HTML attachment scrubbed and removed