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...