django coex Django应用程序的Concolic执行

该项目旨在为Django Web应用程序构建一个concolic执行检查器。 Concolic执行可用于验证系统的某些不变量是否成立（例如，除非交易被记录，否则钱永远不会离开银行），而不会产生全面的符号检查成本。最初，目标是让检查器适用于此处托管的Zoobar演示应用程序的Django版本： : 。虽然我们想尽量避免对Django进行更改来实现这一点，但我们在维护了一个单独的分支，目前基于1.7稳定版，其中可能包括获得concolic所需的修改执行以正常工作。该代码主要基于（MIT许可的）concolic执行框架，该框架为MIT 2014年秋季6.858类计算机安全中的构建。要为Zoobar启动并运行django-coex，请执行以下操作： $ git clone https://github.com/jonhoo/dj