hi, everyone klee cannot handle the external function from some lib**.so, can I process the situation like libc, building the lib**.so in klee, Is someone interented in it or having related knowledge?
Best regards davis
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
