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