Open Bug 1736088 Opened 3 years ago Updated 2 years ago

Analysis for checking correct thread


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


(Not tracked)


(Reporter: sfink, Unassigned)


(Blocks 1 open bug)


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.