Miao (Annabella) Miao
Miao (Annabella) Miao
Hi, I have recently been using Soot for an empirical study to detect non-deterministic behaviors in static analyzers. The experiments resulted in discovering some nondeterministic analysis results across multiple runs...
Hi, I have recently been using Soot for an empirical study to detect non-deterministic behaviors in static analyzers. The experiments resulted in discovering some nondeterministic analysis results across multiple runs...
Hi, This issue is related to issue [583](https://github.com/secure-software-engineering/FlowDroid/issues/583) and issue [663](https://github.com/secure-software-engineering/FlowDroid/issues/663). As a follow-up investigation, I was testing on the commit [d6dde9](https://github.com/secure-software-engineering/FlowDroid/commit/d6dde99bcaa0e25d04bb6d0888f26ebed09a76d9) for nondeterministic behaviors. As a result, I found...
Dear all, I was trying to build the version 2.12.0 of FlowDroid but it failed with many errors such as "cannot find symbol" or "incompatible types". I attached the complete...
Hi, I have recently been using FlowDroid for an empirical study to detect non-deterministic behaviors in static analyzers. The experiments resulted in discovering some nondeterministic analysis results across multiple runs...
Hi, I have recently been using Amandroid for an empirical study to detect non-deterministic behaviors in static analyzers. The experiments resulted in discovering some nondeterministic analysis results across multiple runs...
Dear all, I want to use DOOP as a library and obtain the call graph DOOP generates by using DOOP's API. Could you kindly provide any insights, documentation, or tutorials...
Hi, I have recently been using Doop for an empirical study to detect non-deterministic behaviors in static analyzers. The experiments resulted in discovering some nondeterministic analysis results across multiple runs...
Hi, I was running soot on 30 sampled configurations * 112 target programs to detect nondeterministic behaviors. I ran each configuration-program combination 5 times and compared the 5 results to...
Hi, I have recently been using Infer for an empirical study to detect non-deterministic behaviors in static analyzers. The experiments resulted in discovering some nondeterministic analysis results across multiple runs...