沙箱/逐行运行python代码

Question

我很希望能够做到这两个正在做的事情：

原则上发明@ 18：20， Live
ClojureScript游戏编辑器

如果您不想查看视频，我的问题是：

说我有这段代码：

....
xs = []
for x in xrange(10):
    xs.append(x)
...

我想创建一个环境，在其中我可以执行代码，为语句声明并在本地/全局变量更改时对其进行监视/跟踪。也许给它一个变量列表，以便在本地/全局字典中跟踪。就像单步执行代码并保存状态信息一样。

我说得通吗 我觉得用文字解释很复杂，但是视频展示了我想尝试的方法:)

谢谢你的时间

我的下一步将是研究ast并编译代码并逐位运行它，但我确实需要一些指导。我是否应该更多地考虑反射和inspect-module？

我以前使用过Spin模型检查器，但它使用了自己的DSL，我只是喜欢用实现语言（在本例中为python）进行建模。

噢，顺便说一句，我了解沙盒代码的安全性，但我并不是在尝试创建一个安全的执行环境，而是在尝试创建一个非常交互式的环境，例如用于粗略模型检查或谓词声明。

Answer 1

在取得了最初的成功之后sys.settrace()，我最终切换到了ast模块（抽象语法树）。我解析要分析的代码，然后在每次分配后插入新的调用，以报告变量名称及其新值。我还插入调用以报告循环迭代和函数调用。然后我执行修改后的树。

        tree = parse(source)

        visitor = TraceAssignments()
        new_tree = visitor.visit(tree)
        fix_missing_locations(new_tree)

        code = compile(new_tree, PSEUDO_FILENAME, 'exec')

        self.environment[CONTEXT_NAME] = builder
        exec code in self.environment

我正在使用像Bret
Victor’s这样的实时编码工具，并且您可以在GitHub上查看我的工作代码，以及有关其在测试中的行为的一些示例。您还可以从项目页面上找到演示视频，教程和下载的链接。