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