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