Opened 2 months ago

Last modified 2 months ago

#65 reopened defect

Error message in symbolic mode

Reported by: otis01329 Owned by: mornfall
Priority: major Milestone: 4.3
Component: other Keywords:

Description (last modified by mornfall)

In the symbolic mode using the divine, I have encountered the following error problem.

FAULT: undefined pointer dereference: [global* 0 2 uun]
[0] FATAL: memory error in userspace

What program will cause this error, can you provide me with the code that will cause this kind of error?

Because the program is very large, I can't provide my program. Sorry.

Change History (2)

comment:1 Changed 2 months ago by mornfall

Description: modified (diff)
Resolution: invalid
Status: newclosed

A program which gives the same error as you see would be the following. If you think the error is wrong or a problem with divine, you will need to provide more info, at minimum the backtrace(s) that follow the error message you got.

int main()
    char *a;
    return a[2];

comment:2 Changed 2 months ago by otis01329

Resolution: invalid
Status: closedreopened

I put the report of the divine4 output in the cloud.

Thank you for your help.

Last edited 2 months ago by otis01329 (previous) (diff)
Note: See TracTickets for help on using tickets.