ASAN has trouble dealing with the heap allocations SpiderMonkey produces, due to the storage format of those pointers (tagged punbox'd types). Keeping a side std::unordered_set<void*> which tracks allocations provides the reachability ASAN needs for a little bit of extra book keeping.