#!/bin/bash # Ensure all blacklisted files exist. Paths with wildcards are ignored. # Run against a blacklist with fully-qualified paths. IFS=$'\n' blacklist_files=`sed -n -e ' # ignore paths with wildcards /\*/ d # strip leading 'src:' /^src/ { s/^src:// p } ' $1` ret=0 for f in $blacklist_files ; do if ! [[ -e $f ]] ; then echo "KASan: blacklisted file $f not found" >&2 ret=1 fi done exit $ret