gerrit.named-data.net / ndn-tools / 4fb67ea932bb17be740343654750c56e286ad8f5 / .waf-tools / sanitizers.py