以文本的方式传入一段代码,怎么对其进行一些简单的检查(比如是否有语法错误,是否实现了 xxx 方法),然后执行这段代码的某个方法? - V2EX
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
推荐学习书目
Learn Python the Hard Way
Python Sites
PyPI - Python Package Index
http://diveintopython.org/toc/index.html
Pocoo
值得关注的项目
PyPy
Celery
Jinja2
Read the Docs
gevent
pyenv
virtualenv
Stackless Python
Beautiful Soup
结巴中文分词
Green Unicorn
Sentry
Shovel
Pyflakes
pytest
Python 编程
pep8 Checker
Styles
PEP 8
Google Python Style Guide
Code Style from The Hitchhiker's Guide
zhoudaiyu
V2EX    Python

以文本的方式传入一段代码,怎么对其进行一些简单的检查(比如是否有语法错误,是否实现了 xxx 方法),然后执行这段代码的某个方法?

  •  
  •   zhoudaiyu
    PRO
    2021-01-13 09:27:11 +08:00 2079 次点击
    这是一个创建于 1734 天前的主题,其中的信息可能已经有所发展或是发生改变。
    我觉得有点像类似 oj 的需求,但是好像 oj 没有这些检查?
    4 条回复    2021-01-13 17:54:58 +08:00
    zhuangzhuang1988
        1
    zhuangzhuang1988  
       2021-01-13 09:31:10 +08:00 via Android
    去看 lsp 的一些相关实现
    Kilerd
        2
    Kilerd  
       2021-01-13 09:35:50 +08:00
    用 ast 库,转成 ast 然后自己检查,过了就 eval
    no1xsyzy
        3
    no1xsyzy  
       2021-01-13 09:59:12 +08:00   1
    oj 直接开虚拟机的吧……

    不可信代码安全执行,差不多三种
    1. 沙箱(虚拟机、容器)
    2. 代码检查(#2,限定一个字集语言,但问题就是黑名单可能导致不安全,白名单可能导致子集语言表达能力减弱)
    3. 重新实现一个解释器

    注:有些语言本身提供名为沙箱的功能(指 Racket ),实质是解释器。主要是 Lisp 系语言基本都要求支持宏,那就意味着任何一个执行环境都必须包含全套解释器,并且在程序中常常可以完整独立调用解释器的各个部分。那不如直接通过标准库封装成沙箱。

    综合来看,代码检查思路比较符合你的要求。
    black11black
        4
    black11black  
       2021-01-13 17:54:58 +08:00
    收藏一波等答案,以前做过特定领域语言,是用了自己实现解释器的方案。但是你叫我重新实现一个 python 语法检查那我肯定是不行的。
    关于     帮助文档     自助推广系统     博客     API     FAQ     Solana     3127 人在线   最高记录 6679       Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 32ms UTC 12:29 PVG 20:29 LAX 05:29 JFK 08:29
    Do have faith in what you're doing.
    ubao snddm index pchome yahoo rakuten mypaper meadowduck bidyahoo youbao zxmzxm asda bnvcg cvbfg dfscv mmhjk xxddc yybgb zznbn ccubao uaitu acv GXCV ET GDG YH FG BCVB FJFH CBRE CBC GDG ET54 WRWR RWER WREW WRWER RWER SDG EW SF DSFSF fbbs ubao fhd dfg ewr dg df ewwr ewwr et ruyut utut dfg fgd gdfgt etg dfgt dfgd ert4 gd fgg wr 235 wer3 we vsdf sdf gdf ert xcv sdf rwer hfd dfg cvb rwf afb dfh jgh bmn lgh rty gfds cxv xcv xcs vdas fdf fgd cv sdf tert sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf shasha9178 shasha9178 shasha9178 shasha9178 shasha9178 liflif2 liflif2 liflif2 liflif2 liflif2 liblib3 liblib3 liblib3 liblib3 liblib3 zhazha444 zhazha444 zhazha444 zhazha444 zhazha444 dende5 dende denden denden2 denden21 fenfen9 fenf619 fen619 fenfe9 fe619 sdf sdf sdf sdf sdf zhazh90 zhazh0 zhaa50 zha90 zh590 zho zhoz zhozh zhozho zhozho2 lislis lls95 lili95 lils5 liss9 sdf0ty987 sdft876 sdft9876 sdf09876 sd0t9876 sdf0ty98 sdf0976 sdf0ty986 sdf0ty96 sdf0t76 sdf0876 df0ty98 sf0t876 sd0ty76 sdy76 sdf76 sdf0t76 sdf0ty9 sdf0ty98 sdf0ty987 sdf0ty98 sdf6676 sdf876 sd876 sd876 sdf6 sdf6 sdf9876 sdf0t sdf06 sdf0ty9776 sdf0ty9776 sdf0ty76 sdf8876 sdf0t sd6 sdf06 s688876 sd688 sdf86