使用C的子集进行语法检查

我想构建一个基于Web的服务,让用户输入一些C代码,然后服务器将编译并运行并返回结果.我知道,我知道安全噩梦.所以也许我可以使用chroot或lxc或类似的东西. stackoverflow上有关于这些的好帖子.另一种选择是使用编程竞赛软件.

我所做的不是用于一般编程目的.用户可以将代码添加到几个存根函数中,就是这样.它们不需要能够使用指针或数组或字符串.它们不应该能够打开/关闭/读/写文件套接字或共享内存.他们甚至无法创建自己的功能.他们应该只能做以下事情:

// style comments
/* */ style comments
declare variables of type int,double,float,int64_t,int32_t,uint64_t,uint32_t
for,while,do
+,-,*,/,% arithmetic operators ( * as dereference is NOT allowed )
( )
+,- unary operators
++,-- operators
math functions like sin,cos,abs,fabs,etc
a bunch of API functions that will exist
switch,case,break
{ }
if,else,==,!=
=,+=,-=,*=,/=,etc

有没有一个工具可以用来检查给定的C代码块,以确保它只包含那些元素?

如果我找不到现有的解决方案,我可以使用Antlr或类似的东西自己提出来.

解决方法

有关运行用户代码的Web服务的实际示例,请查看 Travis CI持续集成服务.开源项目使用它来集中运行单元测试.特拉维斯进程有点像这样:

>从已知良好的配置中启动一个全新的VM.
>加载并编译用户代码.
>运行测试并显示结果.
>丢弃VM.

一个时间限制(10分钟IIRC),以防止人们在系统上运行僵尸网络,但除此之外,虚拟机功能齐全并连接到互联网.无需限制语法或其他人为限制.

要记住的一点是,无论用户限制多少,您都无法保证服务器免受用户代码的恐怖.另一种选择是假设服务器在被用户代码触及的时刻完全毁了,然后将其丢弃,这就是特拉维斯所做的事情. VM软件通常具有快照功能来帮助这类事情.

相关文章

本程序的编译和运行环境如下(如果有运行方面的问题欢迎在评...
水了一学期的院选修,万万没想到期末考试还有比较硬核的编程...
补充一下,先前文章末尾给出的下载链接的完整代码含有部分C&...
思路如标题所说采用模N取余法,难点是这个除法过程如何实现。...
本篇博客有更新!!!更新后效果图如下: 文章末尾的完整代码...
刚开始学习模块化程序设计时,估计大家都被形参和实参搞迷糊...