Question

问题：

我有这个人工示例函数：

def test_function(target, words):
    pattern = re.compile(r"|".join(words))

    return bool(pattern.search(target))

获取单词列表并动态构造正则表达式模式，而无需正确转义列表中的单词。

用法样本：

text = "hello world!"

print(test_function(text, ["test"]))  # prints False
print(test_function(text, ["hello"]))  # prints True
print(test_function(text, ["test", "world"]))  # prints True

问题：

如何测试此函数以证明没有正确的正则表达式转义或输入清理？

换句话说，我应该提供words列表中的哪些项目来“破解”此功能？

我尝试了几个“邪恶”的正则表达式来模拟灾难性的回溯并强制该函数像(x+x+)+y或(a+)+一样挂起，但该函数只是立即返回False / em>并且没有任何问题的迹象。

Answer 1

有很多方法可以做到这一点。例如，一个不是有效正则表达式的单词：

>>> test_function('a', ['*'])
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "<string>", line 2, in test_function
  File "/usr/lib64/python2.6/re.py", line 190, in compile
    return _compile(pattern, flags)
  File "/usr/lib64/python2.6/re.py", line 245, in _compile
    raise error, v # invalid expression
sre_constants.error: nothing to repeat

或与正则表达式相匹配的单词：

>>> test_function('a', ['.*'])
True

或与正则表达式不匹配的单词：

>>> test_function('$^', ['$^'])
False

或以反斜杠结尾的单词并转义|：

>>> test_function('a', ['\\', 'a'])
False

灾难性的回溯也有效：

>>> test_function('a'*100, ['(a+)+b'])
# Hangs.

证明函数没有正确的输入验证

1 个答案: