z3 - Z3 编译选项

Question

我想知道 Z3 是否使用 _SECURE_SCL=0 编译，因为我在另一个需要将其设置为 0 的应用程序中使用它。

谢谢，

AG。

Answer 1

我们的构建配置不会更改 SECURE_SCL 选项的默认值。因此，它应该在 VS2010 下的发布模式下设置为 0：http: //msdn.microsoft.com/en-us/library/aa985896 (v=vs.100).aspx