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