Robuta

https://guardsquare.github.io/proguard-core/api/proguard/analysis/cpa/defaults/ListAbstractState.html ListAbstractState (ProGuardCORE)