1
zhuangzhuang1988 2021-01-13 09:31:10 +08:00 via Android
去看 lsp 的一些相关实现
|
2
Kilerd 2021-01-13 09:35:50 +08:00
用 ast 库,转成 ast 然后自己检查,过了就 eval
|
3
no1xsyzy 2021-01-13 09:59:12 +08:00 1
oj 直接开虚拟机的吧……
不可信代码安全执行,差不多三种 1. 沙箱(虚拟机、容器) 2. 代码检查(#2,限定一个字集语言,但问题就是黑名单可能导致不安全,白名单可能导致子集语言表达能力减弱) 3. 重新实现一个解释器 注:有些语言本身提供名为沙箱的功能(指 Racket ),实质是解释器。主要是 Lisp 系语言基本都要求支持宏,那就意味着任何一个执行环境都必须包含全套解释器,并且在程序中常常可以完整独立调用解释器的各个部分。那不如直接通过标准库封装成沙箱。 综合来看,代码检查思路比较符合你的要求。 |
4
black11black 2021-01-13 17:54:58 +08:00
收藏一波等答案,以前做过特定领域语言,是用了自己实现解释器的方案。但是你叫我重新实现一个 python 语法检查那我肯定是不行的。
|