You are viewing a plain text version of this content. The canonical link for it is here.

Posted to commits@shiro.apache.org by GitBox <gi...@apache.org> on 2020/11/13 18:09:57 UTC

[GitHub] [shiro] lcc edited a comment on pull request #266: Fix: flushes ByteArrayOutputStream before using

lcc edited a comment on pull request #266:
URL: https://github.com/apache/shiro/pull/266#issuecomment-726929310


   > Does it attach as an agent can you point me to the tool's site? (I like these kinds of tools)
   
    Yes, it attaches as an agent.
   
   > Sorry, that was a bit poorly worded, I just meant. If there are other JVMs (for example projects like Android, Substrate, etc) where the implementation of ByteArrayOutputStream is different, then this issue becomes more important (for both Shiro and other projects).
   That's actually really interesting, I think it would be a really good idea to take a look at this!
   
   Requested links:
   javaMOP link: http://fsl.cs.illinois.edu/index.php/JavaMOP4
   github (usage and installation): https://github.com/runtimeverification/javamop


----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

For queries about this service, please contact Infrastructure at:
users@infra.apache.org