Christopher Havlicek
Christopher Havlicek
@likebreath @UnseeingEye Currently, when a file of size 0 is listed as a symbolic input file, CRETE raises an assertion. Presumably, the reasoning was that the user likely made a...
Hi @likebreath , I'm curious what is the purpose of the `Analyzer::guest_vcpu_regs_black_list_`? Defined here https://github.com/SVL-PSU/crete-dev/blob/master/front-end/qemu-2.3/runtime-dump/tci_analyzer.cpp#L854 The inquiry stems from an observation that, with single-step enabled (where one TB represents a...
Hi @likebreath , CC: @zhenkun We're looking for some context for why we suddenly hit this assertion: https://github.com/moralismercatus/crete-dev/blob/exciting/front-end/qemu-2.3/runtime-dump/runtime-dump.cpp#L1590 The only change we made was in the seed value. The assertion...
Offending example: ```bash $ ls last/test-case | wc -l 0 $ crete-tc-compare -b last $ echo $? 137 ``` Have difficulty reproducing the error, but it's been observed by a...
Look at https://github.com/SVL-PSU/crete-dev/blob/71ab5f8f3c6116e1024219d6b93190102c956584/lib/include/crete/cluster/node_driver.h#L302:L323 Notice that _lock_'s mutex is released upon function scope exit. It is held during transmission of the trace. I don't believe this is necessary. Rather, I believe:...
The dispatch-communication thread and the run-node thread compete for node_, as a shared resource. Either one of these can starve the other, if one repeatedly acquires node_ consecutively. This is...
**Problem Statement** When QEMU fails to start, an exception is thrown (https://github.com/SVL-PSU/crete-dev/blob/2124206a7dea46842582e1da43161b891a9465c7/lib/cluster/vm_node_fsm.cpp#L725). At this point, VMNode's recovery mechanism will attempt a recovery and try again to the same effect, and...
**Problem Statement** Presently, only a subset of Boost is provided to the guest for building. When any guest lib/util uses a feature of Boost not in the subset, or the...
The name of the crete-klee executable has been changed to crete-klee-1.3.0. This change was not reflected in crete-svm-node's fallback routine that looks in PATH when the user declines to provide...
Previously, there was a dependency issue (or some other issue) with the CRETE build that disallowed the use of -jN. Since the recent changes to the CMake files, I have...