Python script to automate anonymization and aggregate results by file and line number.

uwplse / pumpkin-pi

An extension to PUMPKIN PATCH with support for proof repair across type equivalences.

MIT License

49 stars 9 forks source link

Closed billzorn closed 3 years ago

billzorn commented 3 years ago

example command: python3.7 find-deanonymizing-words.py --list deanonymizing-words.txt --exclude .git