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