search

likebreath / crete-dev

CRETE under development
Other
1 stars 1 forks source link

[Dispatch] Incorrect termination detection #1

Open likebreath opened 7 years ago

likebreath commented 7 years ago

A incorrect termination detection may have been introduced by a recent fix for issue #13.

After that fix, the initial test case will not be inserted to test case pool until the the symbolic replay on the first trace is done.

likebreath commented 7 years ago

To replay: Commit: f2cb7514ed17027fa6d7e9f4deb63086960bc9fe Target Exec: pwd

likebreath commented 7 years ago

Dispatch output:

======================================== time (s)| tests left| traces left| 1-[vm] tc/tr| 2-[svm] tc/tr| pending| 0/0| 0/0| 20/0| 6/0| time (s)| tests left| traces left| 1-[vm] tc/tr| 2-[svm] tc/tr| pending| 0/0| 0/0| 20/0| 6/0| time (s)| tests left| traces left| 1-[vm] tc/tr| 2-[svm] tc/tr| pending| 0/0| 0/0| 20/0| 6/0|

Stopped from here.

likebreath commented 7 years ago

VM-NODE output:

leaving: NextTest entering: Testing leaving: Testing entering: StoreTrace leaving: StoreTrace entering: Finished leaving: Finished entering: NextTest leaving: NextTest entering: Testing leaving: Testing entering: StoreTrace leaving: StoreTrace entering: Finished leaving: Finished entering: NextTest leaving: NextTest entering: Testing leaving: Testing entering: StoreTrace leaving: StoreTrace entering: Finished leaving: Finished entering: NextTest leaving: NextTest entering: Testing leaving: Testing entering: StoreTrace leaving: StoreTrace entering: Finished leaving: Finished entering: NextTest leaving: NextTest entering: Testing leaving: Testing entering: StoreTrace leaving: StoreTrace entering: Finished leaving: Finished entering: NextTest leaving: NextTest entering: Testing leaving: Testing entering: StoreTrace leaving: StoreTrace entering: Finished leaving: Finished entering: NextTest leaving: NextTest entering: Testing leaving: Testing entering: StoreTrace leaving: StoreTrace entering: Finished leaving: Finished entering: NextTest leaving: NextTest entering: Testing

Exception Caught: /home/chenbo/crete/crete-dev/lib/cluster/vm_nodefsm.cpp(1010): Throw in function bool crete::cluster::node::vm::fsm::QemuFSM::is_finished::operator()(const EVT &, FSM &, SourceState &, TargetState &) [EVT = crete::cluster::node::vm::ev::poll, FSM = boost::msm::back::statemachine<crete::cluster::node::vm::fsm::QemuFSM, boost::parameter::void, boost::parameter::void, boost::parameter::void, boost::parameter::void>, SourceState = crete::cluster::node::vm::fsm::QemuFSM::Testing, TargetState = crete::cluster::node::vm::fsm::QemuFSM::StoreTrace] Dynamic exception type: boost::exception_detail::clone_impl std::exception::what: std::exception [crete::err::tag_processexited*] = pid Node: VM Target: /home/test/tests/configs/auto-coreutils-1018/auto_printf.xml VM dir: "vm/1" inputs_auto_printf.xml_crash_516.bin being dumped

VMException thrown.

fsm.dispatchoptions.mode.distributed fsm.dispatchoptions.mode.distributed leaving: Valid entering: Error pushing error! entering: QemuFSM_ entering: Start entering: Active entering: Valid ev.dispatchoptions.mode.distributed ev.dispatchoptions.mode.distributed leaving: Start entering: ValidateImage leaving: ValidateImage entering: StartVM leaving: StartVM entering: ConnectVM qemu path: /home/chenbo/crete/crete-dev/front-end/qemu-2.3/i386-softmmu/crete-qemu-2.3-system-i386 qemu args: /home/chenbo/crete/crete-dev/front-end/qemu-2.3/i386-softmmu/crete-qemu-2.3-system-i386 qemu args: -hda qemu args: crete.img qemu args: -loadvm qemu args: test qemu args: -nographic qemu args: -m qemu args: 256 qemu args: -monitor qemu args: telnet:127.0.0.1:1234,server,nowait working dir: vm/1 fsm.dispatchoptions.mode.distributed fsm.dispatchoptions.mode.distributed leaving: ConnectVM entering: NextTest new_port: 36816 reset() leaving: Active entering: Terminated

Stopped from here.

likebreath commented 7 years ago

SVM-NODE output:

leaving: StoreTests entering: Finished leaving: Finished entering: ResultReady leaving: ResultReady entering: NextTrace clustertrace leaving: NextTrace entering: Prepare leaving: Prepare entering: ExecuteSymbolic leaving: ExecuteSymbolic entering: StoreTests klee --max-memory=1000 --disable-inlining --use-forked-solver --max-sym-array-size=4096 --max-instruction-time=5. --max-time=150. -randomize-fork=false -search=dfs -check-overshift=false run.bc leaving: StoreTests entering: Finished leaving: Finished entering: ResultReady leaving: ResultReady entering: NextTrace reset() leaving: Active KleeFSM::terminate() entered KleeFSM::terminate() finished entering: Terminated entering: KleeFSM entering: Start entering: Active entering: Valid leaving: Start entering: NextTrace crete-svm-node: [CRETE] Exception: /home/chenbo/crete/crete-dev/lib/include/crete/cluster/node_driver.h(99): Throw in function void crete::cluster::NodeDriver::run_node(crete::AsyncTask &) [Node = crete::cluster::SVMNode] Dynamic exception type: boost::exception_detail::clone_impl std::exception::what: std::exception [crete::err::tag_msg*] = End of file

/home/chenbo/crete/crete-dev/build/bin