Hi Cristian No problem, I will do so.
Thanks Peng Cristian Cadar <[email protected]> 于2018年10月5日周五 上午3:41写道： > 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
