Question

I m目前正在撰写自动源代码验证工具。基本上,学生必须上载其C#源代码,作为不同任务的解决办法。服务器在框架中汇编这些档案,对照不同的投入文件对方案进行检查。如果方案产出有效(与预先确定的产出相同),课程表是有效的,学生可以找到方案点。

But I don t think I can trust the students ;) The might try to gain file access or execute other bad things on the server.

What can I do to restrict access to a minimum?
What do I need to consider?

深思:

目前,我可以想象的检查守则的唯一途径是利用常规表述,寻找“File”、“Net”、“Process”等关键词。

But I m pretty sure that this is VERY unsecure.
Any suggestions?

Answer 1

如果只是安全方面的话,你就应当汇编和操作沙箱中的方案。如果能使用一台虚拟机器的话。对来源安全法的扫描利用了像任务这样的声音(坦率地说,如果学生在正确生产守则时能够进行剥削,那么你应考虑奖金点:P)。

Answer 2

如果你愿意使用Roslyn CTP,请看Compilification。你们赢得了扩大基础设施的需求,关键部分是创造沙箱。

Answer 3

你还可以做的一件事是把汇编作为一个新系统。诊断。程序用户的许可非常有限。这赢得了保护,避免了无限的休息,但你或许应该通过人工检查,并接受你自己的方案,因为即使有一家新方案家也可以提交意外的无限休息。

Answer 4

如果你担心学生会错失方案(例如,引起SackOverflowException的无休止的复职呼吁),那么你就必须在一个单独的主办过程中做上述所有工作,以便与你的主要应用进行沟通。

A. 更新

实际上,汇编可能会造成问题,因为烟雾可能通过在案卷中的任务执行任意守则。我认为,管理编审员(csc.exe)会造成问题,但你必须建立指挥线。