Opened 4 years ago

Closed 4 years ago

Last modified 4 years ago

#28 closed defect (fixed)

Capturing symbolically linked files seem to crash DiOS

Reported by: John Lång Owned by: mornfall
Priority: minor Milestone: 5.0
Component: DiOS Keywords: virtual file system, symbolic links, capturing files


For verifying my application, I created a new directory, into which I symbolically linked two files that my application needed to access. I then ran divine cc, after which I ran divine verify by using the "--capture" option with "follow". From the report, it shows that DIVINE was able to access the files correctly, because I see their contents in the report. However, DiOS seems to crash before my application gets control. Using hard links works flawlessly.

Change History (3)

comment:1 Changed 4 years ago by mornfall

Owner: set to mornfall
Status: newaccepted

I have added a few test cases to test/posix/fs/capture-* that cover this and a few more related scenarios (they all currently fail).

comment:2 Changed 4 years ago by mornfall

Resolution: fixed
Status: acceptedclosed

The patches fixing this and a few other capture-related problems are in 'next' now.

comment:3 Changed 4 years ago by mornfall

Milestone: future5.0

Milestone renamed

Note: See TracTickets for help on using tickets.