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