https://bz.apache.org/bugzilla/show_bug.cgi?id=58321
--- Comment #2 from Yilong Li <yilong...@runtimeverification.com> --- (In reply to Remy Maucherat from comment #1) > This looks invalid as the IO operations are protected by pending flags > and/or semaphores. I get it your tool seems to use (sub)classes > independently, which is not the case here. Hi Remy, thanks for your quick response. Can you please be more specific about the synchronization mechanism applied here? For example, which pending flags, semaphores, futures are functioning in this case? The thing is that, ideally, our tool should have zero false positive and we take false positive very seriously. I would like to understand the problem and fix it. Thanks again! -- You are receiving this mail because: You are the assignee for the bug. --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org
