Open Bug 1736088 Opened 3 years ago Updated 2 years ago

Analysis for checking correct thread

Categories

(Developer Infrastructure :: Source Code Analysis, task, P4)

Tracking

(Not tracked)

People

(Reporter: sfink, Unassigned)

References

(Blocks 1 open bug)

Details

The hazard analysis framework could be used to statically verify NS_IsMainThread() assertions, as well as report on potential offtrhread calls to mainthread-only functions.

(This would probably require a fair amount of work to clean up the callgraph, which currently is only as correct as it needs to be to detect GC rooting hazards.)

Severity: -- → S4
Priority: -- → P4
Product: Firefox Build System → Developer Infrastructure
You need to log in before you can comment on or make changes to this bug.