Opened 5 years ago

Closed 5 years ago

#88 closed defect (fixed)

VFS: Divine crashes while capturing current directory

Reported by: Lukáš Zaoral Owned by:
Priority: major Milestone: 4.3
Component: DiOS Keywords:
Cc: kdudka@…, jamartis@…, lzaoral@…

Description

Hello,
following command makes Divine 4.3.6 crash:
divine check --capture ./ main.c
where main.c is an arbitrary C source file.

Divine crashes with following output (full report is enclosed):

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

Attachments (1)

main.report​ (4.2 KB) - added by Lukáš Zaoral 5 years ago.

Download all attachments as: .zip

Change History (2)

Changed 5 years ago by Lukáš Zaoral

Attachment: main.report​ added

comment:1 Changed 5 years ago by mornfall

Resolution: → fixed
Status: new → closed

Fixed in next. FWIW, this is not divine crashing but rather dios failing to boot.

Note: See TracTickets for help on using tickets.