Burton Qin
Results
3
comments of
Burton Qin
Thank you! drop lockguard seems not detected by the dataflow analysis. This weekend I will spend some time resolving this issue.
Confirmed. Thanks. Will try to figure out how to fix it.
Thanks a lot! I think this kind of FN is related to the imprecise aliasing with the upvars of the closures. The current logic uses a hacky way to computing...