Port of the PassManager program to Android