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