crete-dev
crete-dev copied to clipboard
SVL-PSU
CRETE under development
Hi, I tried to build crete locally. I did all the steps using the manual. When I ran crete-run, the following error shows up- [CRETE] Waiting for port.. Illegal Instruction...
The host OS displays "Awaiting connection on 'ubuntu' on port 10012" after the 3 files dispatch,vm-node and svm-node are run. The guest OS is also running crete-run command which displays...
@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...
CRETE now supports only symbolic files with fixed size. This symbolic file support is limited, because file size commonly makes important effects on program's behavior. Support of Symbolic size is...
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...
README is the main documentation of CRETE. Its content is outdated and is not consistent with recent updates. Roughly, contents after [section 3](https://github.com/SVL-PSU/crete-dev#3-preparing-the-guest-operating-system) need to be adjusted.
The translation from qemu-ir to llvm bitcode is now a part of VMNodeFSM, while the error handling is not fully supported. Some discussions can be found in issue #32.
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:...