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

[Frank Busse]

Hi,


On Mon, 31 May 2021 17:40:49 +0800 (CST)
张天宁 <zhangtianning128 at 126.com> wrote:

> Is there any way to achieve the goal without changing the program
> code?

You could write a model for it or re-use an existing one, e.g. from:
https://github.com/efeslab/agamotto


Kind regards,

Frank