Re: [RFD] Efficient unit test and fuzz tools for kernel/libc porting

2016-07-21 Thread Zhangjian (Bamvor)
Hi, Joseph On 2016/7/20 23:47, Joseph Myers wrote: On Wed, 6 Jul 2016, Zhangjian (Bamvor) wrote: correct or not. After learn and compare some fuzz tools, I feel that there is no such fuzz tools could help me. So, I wrote a new fuzz tools base on the trinity and it found several wrapper issues

Re: [RFD] Efficient unit test and fuzz tools for kernel/libc porting

2016-07-20 Thread Joseph Myers
On Wed, 6 Jul 2016, Zhangjian (Bamvor) wrote: > correct or not. After learn and compare some fuzz tools, I feel that there is > no such fuzz tools could help me. So, I wrote a new fuzz tools base on the > trinity and it found several wrapper issues in glibc. I will first explain the > different wi

Re: [RFD] Efficient unit test and fuzz tools for kernel/libc porting

2016-07-06 Thread Zhangjian (Bamvor)
Hi, Dmitry On 2016/7/6 17:09, Dmitry Vyukov wrote: On Wed, Jul 6, 2016 at 10:24 AM, Zhangjian (Bamvor) wrote: Hi, Dmitry Hi Bamvor, Nice work! Coverage should be easy to do with CONFIG_KCOV, but do you need fuzzing/coverage? It seems that testing a predefined set of special values for eac

Re: [RFD] Efficient unit test and fuzz tools for kernel/libc porting

2016-07-06 Thread Dmitry Vyukov
On Wed, Jul 6, 2016 at 10:24 AM, Zhangjian (Bamvor) wrote: > Hi, Dmitry > > >> Hi Bamvor, >> >> Nice work! >> >> Coverage should be easy to do with CONFIG_KCOV, but do you need >> fuzzing/coverage? It seems that testing a predefined set of special >> values for each arg should be enough for your u

Re: [RFD] Efficient unit test and fuzz tools for kernel/libc porting

2016-07-06 Thread Zhangjian (Bamvor)
Hi, Dmitry On 2016/7/6 16:00, Dmitry Vyukov wrote: On Wed, Jul 6, 2016 at 9:39 AM, Zhangjian (Bamvor) wrote: HI, When I working on the ILP32 ABI for ARMv8 in last two years, I has encountered lots of syscall issues such as wrong number of arguments, different data type in binary interface. I

Re: [RFD] Efficient unit test and fuzz tools for kernel/libc porting

2016-07-06 Thread Zhangjian (Bamvor)
Fix the wrong email address for Arnd. Sorry for the noise. On 2016/7/6 15:39, Zhangjian (Bamvor) wrote: HI, When I working on the ILP32 ABI for ARMv8 in last two years, I has encountered lots of syscall issues such as wrong number of arguments, different data type in binary interface. I reali

Re: [RFD] Efficient unit test and fuzz tools for kernel/libc porting

2016-07-06 Thread Dmitry Vyukov
On Wed, Jul 6, 2016 at 9:39 AM, Zhangjian (Bamvor) wrote: > HI, > > When I working on the ILP32 ABI for ARMv8 in last two years, I has > encountered lots of syscall issues such as wrong number of arguments, > different data type in binary interface. I realized that the correctness of > argument pa

[RFD] Efficient unit test and fuzz tools for kernel/libc porting

2016-07-06 Thread Zhangjian (Bamvor)
HI, When I working on the ILP32 ABI for ARMv8 in last two years, I has encountered lots of syscall issues such as wrong number of arguments, different data type in binary interface. I realized that the correctness of argument passing between the C library and core kernel code is a common problem