- 1.0.9
- refactoring
- 1.0.84
- toasts resolution
- new command line params
- 1.0.83
- scope used in string resolution, results in fewer strings overapproximation
- resolve add/get of ArrayLists, results in identification values from Lists, may lead to some overapproximation
- fixed bug in api resolution: artificial edges were removed incorrectly