Statement oracle violation stands for the error caused by illegal value usages in a particular statement. In Android application, detecting statement oracle violations is challenging because particular event sequences are always needed to trigger them, which are hard to find since Android applications have huge numbers of possible event sequences.

We propose a scalable targeted approach to detecting statement oracle violations using symbolic analysis. We provide a sound symbolic modelling of error conditions prescribing all the possible event sequences with bounded length. To achieve high scalability, we model the symbolic analysis using dynamic programming to significantly reduce the size of constraints. We implemented and evaluated our approach on eight real world applications...[ Read more ]

Statement oracle violation stands for the error caused by illegal value usages in a particular statement. In Android application, detecting statement oracle violations is challenging because particular event sequences are always needed to trigger them, which are hard to find since Android applications have huge numbers of possible event sequences.

We propose a scalable targeted approach to detecting statement oracle violations using symbolic analysis. We provide a sound symbolic modelling of error conditions prescribing all the possible event sequences with bounded length. To achieve high scalability, we model the symbolic analysis using dynamic programming to significantly reduce the size of constraints. We implemented and evaluated our approach on eight real world applications. The experiment results show that our approach can detect statement oracle violations effectively and efficiently. Our quantification of the size of the constraints and the corresponding analysis time show that our approach achieves high scalability.