Miao (Annabella) Miao

Thank you for your swift response! We are currently conducting an empirical study to detect non-deterministic behaviors within static analyzers. We would greatly appreciate your insights regarding the generation of...

Hello Soot team, I'm following up on this issue and would greatly appreciate any insights you could provide. Thank you!

Hi team, any feedback would be really helpful! Thank you so much in advance!

Hi Steven, thank you so much for your time and valuable feedback! We've conducted testing on 30 sampling configurations, encompassing 28 options, which were generated using the 2-way covering array...

Hello Infer team, I'm following up on this issue and would greatly appreciate any insights you could provide. Thank you!

Hi, Thank you @errt so much for the prompt response! I'm happy to provide more details about my setup: OPAL Version: de.opal-project version 5.0.0 from the Maven Central Repository JDK...

Hi, thank you for the prompt reply! > Which version did you use? Specifically, did you use a commit after [d6dde99](https://github.com/secure-software-engineering/FlowDroid/commit/d6dde99bcaa0e25d04bb6d0888f26ebed09a76d9)? We were using v2.111.1 for testing. And we are...

Hi Tim @timll, we have finished the new experiments on the latest version of FlowDroid. The new experiments detected non-deterministic results under 18 configurations out of a total of 19...

Hi Steven @StevenArzt , thank you so much for the prompt reply! > What was your command line for the compilation? Did you use the clean target to ensure that...

Dear @StevenArzt and @timll, I changed the occurrences of `soot-infoflow:2.12.0-SNAPSHOT` to `soot-infoflow:2.12.0` in the `pom.xml` of both `soot-infoflow-android`, `soot-infoflow-summary`, `soot-infoflow-cmd` and `soot-infoflow-integration`, and FlowDroid builds successfully now. Thank you so...