可以滥用literal_eval（f'{}'）从外部源执行代码吗？

Question

我只是好奇，如果这是一个风险，我想不出用户可能会导致这种情况发生的方式......但它似乎令人担忧。

>>> import ast
>>> help(ast.literal_eval)
Help on function literal_eval in module ast:

literal_eval(node_or_string)
    Safely evaluate an expression node or a string containing a Python
    expression.  The string or node provided may only consist of the following
    Python literal structures: strings, numbers, tuples, lists, dicts, booleans,
    and None.

ast.literal_eval(f'{os.remove("dontdelete.txt")-hello-world}')将执行文件删除。 是否存在可以用于应用程序的风险？ 是什么

“安全地评估表达式节点”

意思？

Answer 1

literal_eval以这种方式定义的原因是它是ast模块中的一个专门函数，而不是一个用于各种其他目的的魔术函数，因此如果你'你被期望至少撇去ast文档重新使用它。

literal_eval可以带有ast.Node表示解析表达式或字符串，当给予ast,parse ，产生这样的一个节点。

然后，只要表达式只使用“以下Python文字结构：字符串，字节，数字，元组，列表，字符串，集合，布尔值和None ”，它将评估表达式; 否则会引发错误。

---

所以，如果你传递字符串'os.remove("dontdelete.txt")-hello-world' ，那么，当你分析，你得到一个BinOp的表达，这是不是种表达节点之一literal_eval接受，所以它立即拒绝它与ValueError 。

---

如果你传递字符串"""f'{os.remove("dontdelete.txt")-hello-world}'""" ，当你解析它时，你得到一个JoinedStr表达式节点，里面有一堆节点它是literal_eval也不会接受（这是值得做的ast.dump看到正是这些节点是，如果你不明白F-字符串是如何工作的），所以这将有拒绝ValueError一次。

---

但是如果你传递字符串f'{os.remove("dontdelete.txt")-hello-world}'怎么办？

好吧，该字符串在被传递给literal_eval之前由解释器进行评估。

在大多数情况下，甚至可以在调用literal_eval之前引发异常，因此literal_eval完全无关紧要。 例如：

• 如果未导入os ，则会出现NameError 。
• 如果该文件不存在，则会出现FileNotFoundError 。
• 如果hello或world不存在，则会出现NameError 。
• 如果hello存在但是是任何正常的值，因为remove返回None ，你得到一个关于尝试从None减去hello类型的TypeError 。

在某些情况下，当然会删除该文件。 但是由于literal_eval甚至没有被调用过，所以这里几乎没有关系。 您可以使用print而不是literal_eval执行相同的操作，或者根本不执行任何操作。

但是，如果导入了os ，并且文件存在，那么hello是某种类型的实例，其中__rsub__接受None ，而world是某种类型的实例，可以传递给__sub__ ，无论hello.__rsub__返回了什么？ 然后将使用该sub返回的任何内容调用literal_eval 。 如果它是一个字符串或ast.Node ，它甚至会评估它。 也许这会是一些其他危险的字符串？ 但在这种情况下， literal_eval会在该危险字符串上引发ValueError ，因此不会造成额外的伤害。