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