Frama-C Server
Protocols
Architecture
ZeroMQ Protocol
Unix Socket Protocol
Batch Protocol
Unix Socket Protocol