[klee-dev] How to use KLEE to test web server, such as Nginx.

[张天宁]

Hi,
I try to use KLEE to test nginx, and it works. But I wonder how to symbolize all the bytes received from the network. Should I instrument all the recv() functions? Since I want to cover as much paths as possible, I need to make the network receive buffer symbolic to mimic real network interactions. Is there any way to achieve the goal without changing the program code?


Thank you very much!


Best regards,
Tianning Zhang




 
-------------- next part --------------
HTML attachment scrubbed and removed