Does daikon support mining invariants of network programs ?

[songxpu]

Hi ~
I am focusing on the research work in the field of invariants. I am very curious about whether the invariants mining tool daikon used in invscov is suitable for server programs, that is, reading input through sockets?

[songxpu]

I didn't notice the details related to socket in the daikon document, So I want to know if you have considered this problem when doing the Invscov work