deepstate icon indicating copy to clipboard operation
deepstate copied to clipboard
verified publisher icon trailofbits

Add `DeepState_IsSymbolic(uintptr_t)`

Open ranweiler opened this issue 7 years ago • 0 comments

This will let us implement klee_is_symbolic(uintptr_t).

ranweiler avatar Feb 24 '18 22:02 ranweiler