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
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
