search

moralismercatus / crete

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

Is Klee file logging on exceptions reasonable? #147

Open moralismercatus opened 8 years ago

moralismercatus commented 8 years ago

Unlike in vm-node, in svm-node, the FSM instances all share the same directory; therefore, their logging mechanism points to the same file.

What appears to be happening is that the log file is being appended to, as if all instances are sharing the same log file. Still, it raises the question of a race condition.

Either each FSM instance should have its own log file, or they should share a thread-safe logger.

moralismercatus commented 8 years ago

Since I've unified error handling in dispatch, this is not likely going to be an issue. I'm thinking of eliminating the local log altogether.