- Improved analysis of the Android class
AsyncTaskso that data can properly flow through its methods according to the life-cycle steps described here: https://developer.android.com/reference/android/os/AsyncTask#the-4-steps. - Added a data-flow model for the
setPropertymethod ofjava.util.Properties. Additional results may be found where relevant data is stored in and then retrieved from aPropertiesinstance.