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 -------------- next part -------------- HTML attachment scrubbed and removed