[klee-dev] Fix inconsistent implementations from uclibc

[li peng]

Hi Cristian

No problem, I will do so.

Thanks
Peng


Cristian Cadar <c.cadar at imperial.ac.uk> 于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
> > klee-dev at imperial.ac.uk
> > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
> >
>
-------------- next part --------------
HTML attachment scrubbed and removed