Austin Mordahl
Austin Mordahl
## Issue The fast callback analyzer (i.e., running FlowDroid with configuration `callbackanalyzer` set to `FAST`) unsoundly deals with anonymous classes. ## Test Cases Many of the APKs in Droidbench 3.0's...
Here's another issue (different cause than #501) with flow sensitive aliasing: ## Test Case Mutant of Callbacks/Button5.apk in DroidBench, in which the source and sink statements are switched in `sendMessage()`:...
Hi, When running FlowDroid under a configuration that sets `codeelimination` to `REMOVECODE,` the tool misses flows because the implementation of the InterproceduralConstantValuePropagator is unsound. ### Test Case ActivityLifecycle1.apk in DroidBench...
Hi, I've noticed some (seemingly) strange behavior when running WALA on programs under different reflection settings. For example, consider the antlr.jar [(antlr.zip)](https://github.com/wala/WALA/files/9355370/antlr.zip) program from DaCapo-2006: specifically, the following piece of...
Hi, I have discovered a few potential bugs across various configurations of SOOT. My methodology is as follows: 1. Construct a hypothesis about the relationship between two configuration options (e.g.,...
When trying to run Slicer4J through the python script, the instrumentation fails. I am using JDK 9, on Mac OS. Here is the content of instr-debug.log. ``` SLF4J: Class path...
Hi, I have a project that depends on Soot 3.0.0, from back when Soot was hosted at `https://soot-build.cs.uni-paderborn.de/`. Are these older versions of Soot still available anywhere? I can't find...
The page for [multiple parameter lists](https://github.com/scala/docs.scala-lang/blob/main/_tour/multiple-parameter-lists.md) shows one use case of multiple parameter lists being to drive type inference, and it shows an example that it claims does not compile...