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