moralismercatus / crete

Open source concolic testing tool for binaries
1 stars 1 forks source link

Integrate batch mode functionality to svm-node #146

Open moralismercatus opened 8 years ago

moralismercatus commented 8 years ago

Similar to what is done in vm-node. Strictly speaking, svm-node instances don't care about what test is being run; however, for logging purposes, it's important to know which trace belongs to which test currently being performed.

Thus, each trace should be put into the trace folder corresponding to the test, much as dispatch does.