gerrit.named-data.net / ndn-tools / 0df0e1c5b07a733de9e5ecc95f207a61e4f7f1f7 / .waf-tools / sanitizers.py