Hi Peng,
Many thanks for your patch. But could you instead open a PR at
https://github.com/klee/klee-uclibc ?
Cristian
On 05/10/18 01:11, li peng wrote:
Hi There
I found there exist some incomplete or unsupported functions in
klee-uclibc during my testing with KLEE, I created a simple patch based
on current klee-uclibc repo, please check.
1. Inconsistent implementation with realpath of uclibc
when I tested programs containing realpath functions, KLEE failed to
interpret it correctly, then I found it is caused by obsolete realpath
function, so I incorporated the current implementation of realpath in
uclibc into klee-uclibc. It works well now.
2. libc/string/strdup.c does not include __strdup implementation
When I tested binutils, I found that strdup call will be compiled to
__strdup which is interpreted incorrectly by KLEE, so I added the
implementation based on Wstrdup.
Thanks
Peng
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
