Get desktop application:
View/edit binary Protocol Buffers messages
uint64 id = 1
repeated uint32 features = 2
(message has no fields)
Used in: CreateFuzzerRequest
Used in: Function
uint64 id = 1
repeated uint64 successors = 2
uint64 sancov_index = 3
Used in: ControlFlowGraph
uint64 id = 1
string name = 2
repeated BasicBlock basic_blocks = 3