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