Hi There I think it is common that source code includes the external invocations which require the external libraries.
If the user does not have the source code of external libraries, but only ones compiled into native bitcode, in this case, how does KLEE work? I tried the simple case, looks like klee is not able to resolve the external functions correctly. Thanks Peng _______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
