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