Closed Bug 592413 Opened 15 years ago Closed 7 years ago

Static missing write-barrier detector

Categories

(Tamarin Graveyard :: Garbage Collection (mmGC), defect)

Product:
Tamarin Graveyard
Component:
Garbage Collection (mmGC)
Type:
defect
Priority:
Not set
Severity:
normal

Tracking

(Not tracked)

Status:
RESOLVED WONTFIX
Milestone:
Future

People

(Reporter: edwsmith, Unassigned)

References

Details

It might be possible to detect missing write barriers statically. Sketch: - filter all assignments - if the LHS is a tracked pointer, and the current function is not one of the write barriers, then fail. complications: - it is legal to assign w/out a write barrier to a newly allocated object if no intervening allocations have occurred (complicated analysis) - not all LHS types will be gc types (eg tagged pointers laundered as uintptr_t fields) - surely more A decent analyzer might catch obvious cases and be a starting point for something more sophisticated.
Blocks: 583074
Target Milestone: --- → Future
Flags: flashplayer-qrb+
Tamarin is a dead project now. Mass WONTFIX.
Status: NEW → RESOLVED
Closed: 7 years ago
Resolution: --- → WONTFIX
Tamarin isn't maintained anymore. WONTFIX remaining bugs.
You need to log in before you can comment on or make changes to this bug.