Eu baixei o proguard encapsulado em um arquivo zip e o descompactei no meu disco rígido. Eu nãoinstalar de qualquer forma (porque eu não sabia como). Eu adicionei entãoproguard.config=proguard.cfg ao meu arquivo project.properties. Então eu fiz um "aplicativo android de exportação" totalmente esperando eclipse para reclamar que não sabia onde estava a minha instalação de proguard, mas não houve queixa. De fato, um novo arquivo apk apareceu no meu keystore, e um conjunto de arquivos (dump.txt etc) apareceu no subdiretório proguard do meu aplicativo. O mapping.txt parece uma boa lista de mapeamentos dos meus nomes de variáveis ​​longas para variáveis ​​de uma e duas letras. Isso tudo deve ser uma forte evidência de que o proguard de alguma forma funcionou - minha única preocupação é que o apk não seja menor do que era antes. Existe alguma maneira de verificar se o apk inclui ofuscações de proguard?