Add option to approximate pointers based on values they're pointing to

ApproxSymate / klee

KLEE Symbolic Virtual Machine for Numerical Precision Analysis

Other

0 stars 0 forks source link

Closed Himeshi closed 6 years ago

Himeshi commented 6 years ago

Adding an option which will decide to approximate pointers based on values they're pointing to.