bitdroid
cargoModels what blocks an Android package from running on a target environment, plans a conservative fix, and refuses when correctness cannot be established.
Audits
No audits for this package yet.
Models what blocks an Android package from running on a target environment, plans a conservative fix, and refuses when correctness cannot be established.