GJDuck
I think the segault is real but I am unable to reproduce it (your `RECORD.pcap.gz` does not cause a segfault for me). Your gdb session is not clear, it just...
It is not clear what the underlying problem is. Although EnvFuzz modifies the VDSO and `clock_gettime()`, I do not immediately see a connection with `do_lookup_x()` which is part of symbol...
The current system was developed on Ubuntu, so there is a likely a bug that is only triggered on different systems. I will have to try it on a Red...
My colleage (@Marti2203) tried `env-fuzz` on SuSE and other RPM-based Linux. The recording worked (no crash), but the replay did not (replay not in sync with recording). Probably `env-fuzz` is...
It is current installed under `$(DESTDIR)/usr/share/e9compile/include/stdlib.c`, and that path should already be searched by `e9compile`. Let me know if it is not working. The `STATE` was originally a separate file,...
Yeah, I would definitely like to avoid new dependencies where possible.
Yes, it probably means the recording failed for some reason. You can try: $ ./env-fuzz record --log=3 -- prog [arg ...] This should print a log of the all the...
I believe we used `gcov` and @mengrj can confirm. However, there may be an issue `gcov` and the repo version of EnvFuzz . I need to check when I am...
Hi, can you please clarify what you mean by "object"?
Yes, the program is automatically (re)started each time the `env-fuzz` command is run. There is no need to do anything manually. For example, the workflow for `gnome-calculator` is simply: $...