LinuxCon+ContainerCon Europe 2016

Bamvor has encountered lots of syscall issues such as wrong number of arguments, different data type in binary interface when working on the ILP32 ABI for ARMv8 in the last two years. He realized that the correctness of argument passing between the C library and core kernel code is a common problem when bringing up new architecture or ABI to kernel and libc. Existing fuzz testing tools such as trinity and skzkaller only generate random or boundary values for syscall parameters and then inject them into kernel, but those tools won't validate if the results of those syscalls are correct or not. Thus they can not act as a unit test for ILP32. Bamvor Jian Zhang would like to share how to improve trinity to serve this purpose.