Steven Arzt
Steven Arzt
Since there has not been any further activity on this issue, I assume that the question has been answered with my last reply.
The access path indicates field dereferences, e.g., "this.a.b.c". Whenever a variable is tainted, an access path is generated. If the taint is written into a field, the access path grows....
If you can ensure that all test cases still work with your optimization and can show a significant speedup, that would be greatly appreciated. Please provide precise data on your...
We can remove the check, but need to ensure that the parser doesn't fail for some unexpected XML formats or other file types that are cpontained in the "res" folder...
The alias analysis is an IFDS analysis as well, i.e., it propagates aliases along the ICFG. It doesn't matter whether the same local is re-used at different locations, because the...
If the right side is a constant, the variable is of a primitive type or a string anyway, so the variable cannot have aliases. Therefore, it's safe to abort. The...
This looks like a bug. I guess the pointer analysis is released at some point. If someone requests a pointer analysis after it has been released, Soot dishes out a...
I'd expect that from a static point of view. Set a breakpoint. My guess is that FlowDroid optimizes the code and thereby looses the points-to information. Depending on the type...
Mostly. The PtS infoirmation is still used, e.g., for some typing checks. Those should then assume that all casts are valid, I guess.
You can try to compile FlowDroid on your own: ``` mvn package -DskipTests ```