Opened 5 years ago
Closed 5 years ago
#102 closed defect (duplicate)
VFS: DiOS fails to boot when capturing an absolute path
Reported by: | Lukáš Zaoral | Owned by: | mornfall |
---|---|---|---|
Priority: | major | Milestone: | 4.4 |
Component: | other | Keywords: | |
Cc: | kdudka@…, jamartis@…, lzaoral@… |
Description
Hello,
the following command makes DiOS crash while booting:
divine check --capture /[abs_path]/ main.c
where main.c
is an arbitrary C source file and the size of given directory is lower than the VFS capture limit. This issue occurs only with absolute paths of length 2 or more, e.g. path /dir1/
is ok, but path /dir1/dir2/.../dirn/
is not.
Thanks!
Divine output:
compiling main.c loading bitcode … DiOS … LART … RR … constants … done booting … done states per second: 0 state count: 0 mips: 0 error found: boot error trace: | FAULT: null pointer dereference: [global* 0 0 ddn] DOUBLE FAULT: trying to return without a caller a report was written to main.report
Note: See
TracTickets for help on using
tickets.
Pretty much #31 -- the parent of the mount point must exist. The error message sucks, but I guess it doesn't make much sense to fix that until we figure out what --capture should actually do. It'd be helpful if you could comment in #31 what would you like/expect --capture semantics to be. I'll probably get to implementing something soon, because this keeps biting people and it's not a big change.