#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
Cc:

Description

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 6 years ago by mornfall

Owner:	set to mornfall
Status:	new → accepted

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 6 years ago by mornfall

Resolution:	→ fixed
Status:	accepted → closed

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

comment:3 Changed 6 years ago by mornfall

Milestone:	future → 5.0

Milestone renamed

Note: See TracTickets for help on using tickets.