гарантировать отсутствие

Может ли статический анализатор javascript-кода проверить, что регулярное выражение будет давать совпадение на любой строке?