#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@…

Description

Hello,
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 main.report

Attachments (1)

main.report (3.9 KB) - added by Lukáš Zaoral 6 years ago.

Download all attachments as: .zip

Change History (3)

Changed 6 years ago by Lukáš Zaoral

Attachment:	main.report added

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

Owner:	set to Vladimír Štill
Status:	new → accepted

comment:2 Changed 5 years ago by mornfall

Resolution:	→ fixed
Status:	accepted → closed

Fixed in next.

Note: See TracTickets for help on using tickets.