secure-software-engineering
Question of gramma compatible (●'◡'●)
Hi professor！ Thank you so much for taking the time to answer my questions. With recently deeper using of flowdroid. I feel more and more that your project is full of passion and charm and I really love it . But i have a little question about taint tracing ,maybe I use in a wrong way. When I test the stream() of java8 lambda. Infoflow.getresult() get none result and it stop at this lambda gramma use. Does flowdroid support stream,collect etc. using? Looking forward to your reply！
I think we don't have a summary for stream() yet. Maybe you can extend the StubDroid summaries and open a merge request for your changes? You can find examples in the soot-infoflow-.summaries/summariesManual folder. The idea would be to extend the summaries of the collection classes (add stream()), and create a new summary for java.util.stream.Stream.
