Desirable Features

[Lawliar]

• Implementation of the monitor without any RTOS.
• Catch up with SymCC's latest development.
• Better visualization for the cdfg(i.e., SVFG).
• Orchestrator's Persistent mode, to avoid the file IO and parsing them to SVFG. #3
• For the workstation version of CO3.
  • 1. carry out the existing protocol over UNIX socket.
  • 2. add sym init and sym end automatically in the prologue and epilogue of the main function and just do sanity check in the old initialization routine.
  • 3. redirect socket to stdin.
  • 4. support libc functions.
    1. instead of doing intercepted call like SymCC does (doing the concrete call and the symbolic one all in this one intercepted function), we need to separate the concrete part and the symbolic part.
    2. Since we are on the workstation, I do not think the communication will be a bottleneck.
  • App-side shadow memory. #4
• For extreme performance:
  • 1. consider removing the 1-byte header for every package (since USB is quite reliable)
  • 2. we are still processing messages one by one; we can consider parallelizing constructing multiple messages at the same time if they don't have data dependency.