Write a dehydra analyzer that warns about dangerous or missing finalizer code

NEW
Unassigned

Status

Tamarin
Garbage Collection (mmGC)
8 years ago
7 years ago

People

(Reporter: Edwin Smith, Unassigned)

Tracking

(Blocks: 2 bugs)

unspecified
Future
Dependency tree / graph
Bug Flags:
flashplayer-qrb +

Details

Comment hidden (empty)
(Reporter)

Updated

8 years ago
Blocks: 583074

Comment 1

8 years ago
It's absolutely legal to do so and the player totally depends on it, but it might still be interesting to know.
(Reporter)

Comment 2

8 years ago
I'll leave this open as a placeholder to write an analyzer for doing bad things in finalizers, whatever they might be.  possibly:

* dereferencing another finalized object for anything except a null check (order of finalization is not specified)
* forgetting to zero a non-smart pointer field
Summary: Write a dehydra analyzer that warns if you allocate memory from a finalizer, or call a function that might. → Write a dehydra analyzer that warns about dangerous or missing finalizer code

Updated

8 years ago
Blocks: 604333

Updated

8 years ago
Target Milestone: --- → Future

Updated

7 years ago
Flags: flashplayer-qrb+
You need to log in before you can comment on or make changes to this bug.