# Ensure all blacklisted files exist. Paths with wildcards are ignored.
# Run against a blacklist with fully-qualified paths.
blacklist_files=`sed -n -e '
# ignore paths with wildcards
# strip leading 'src:'
for f in $blacklist_files ; do
if ! [[ -e $f ]] ; then
echo "KASan: blacklisted file $f not found" >&2