为什么在对 AfxWinInit 的调用中我收到警告 C6309？
在进行一些静态代码分析时，我发现了一个奇怪的问题。在这样的调用中： if(!AfxWinInit(moduleHandle,NULL,::GetCommandLine(),0) 我在第二个参数处收…
有哪些静态分析工具可以帮助检测 CPU 字节序问题？
我们的团队管理嵌入式大端 CPU 的代码库已有多年（10 多年）。 在嵌入式代码的开发和维护过程中，我们通常不会费心考虑字节序问题。 很快，我们将把这…
Visual Studio VC 的静态代码内存泄漏检测++
有没有一种方法可以使用静态分析工具来检测像这样的简单内存泄漏？我无法更改代码以包含运行时内存泄漏检测中使用的典型包含（struc1 是带有一些字段…
代码契约：为什么有些不变量不在类之外考虑？
考虑这个不可变类型： public class Settings { public string Path { get private set } [ContractInvariantMethod] private void ObjectInvariants(…
ReSharper 如何知道此返回类型永远不为 null？
我正在使用 ReSharper 5.0，并且想知道它的代码分析功能如何知道使用注释“表达式始终为假”来突出显示以下 assemblies == null。 var directory = ne…
如何识别返回的对象是否是在方法执行期间创建的 - Java
原始问题：给定一个方法，我想确定返回的对象是否是在该方法的执行过程中创建的。我可以或应该使用哪种静态分析？ 重新设计的问题：给定一个方法，我…
在代码合约中使用 Contract.ForAll
好的，我还有另一个代码合同问题。我有一个关于接口方法的合同，如下所示（为了清楚起见，省略了其他方法）： [ContractClassFor(typeof(IUnboundTagG…
