Opened 5 years ago

Closed 3 years ago

#96 closed defect (fixed)

DiOS: Passing the debug:faultcfg option results in null pointer dereference in kernel

Reported by: Lukáš Zaoral Owned by: Vladimír Štill
Priority: major Milestone: 4.4
Component: DiOS Keywords:
Cc: kdudka@…, jamartis@…, lzaoral@…


running divine check with the -o debug:faultcfg option results in a null pointer dereference in DiOS's kernel. Thanks.

  $ divine check -o debug:faultcfg main.c 
  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 1 ddn]
    [  ] FATAL: memory error in kernel
  boot info:
    fault and simfail configuration:

  a report was written to

Attachments (1) (3.9 KB) - added by Lukáš Zaoral 5 years ago.

Download all attachments as: .zip

Change History (3)

Changed 5 years ago by Lukáš Zaoral

Attachment: added

comment:1 Changed 4 years ago by Vladimír Štill

Owner: set to Vladimír Štill
Status: newaccepted

comment:2 Changed 3 years ago by mornfall

Resolution: fixed
Status: acceptedclosed

Fixed in next.

Note: See TracTickets for help on using tickets.