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