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

Change History (1)

comment:1 Changed 5 years ago by mornfall

Resolution: duplicate
Status: newclosed

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.

Note: See TracTickets for help on using tickets.