Server mode

[keremc]

Implement a server mode. It uses the jsonrpc library for processing messages. rpclib was another viable alternative, but jsonrpc has no dependencies and is yojson-compatible.

Example usage:

$ ./goblint --enable server.enabled example.c

Example input:

{"jsonrpc":"2.0","id":0,"method":"analyze","params":{}}

Example output:

{"id":0,"jsonrpc":"2.0","result":null}

[jerhard]

@keremc The documentation on BatIO.to_input_channel says that the operation is "extremely costly and is provided essentially for debugging purposes", see here. As Yojson.Safe.linestream_from_channel requires an Stdlib.in_channel maybe one just change serv.input to be of type in_channel?

[sim642]

If anyone's wondering how costly is extremely, then here's the answer: https://github.com/ocaml-batteries-team/batteries-included/blob/a7276a8d41b31035423235b2395aa82ab5d6f392/src/batIO.ml#L687-L716 — it might go through a temporary file...

[keremc]

Oops. Thanks for pointing this out. I plan to make a server mode-related PR soon anyway, so I'll include the fix in it.