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