static-analysis

2热度

1回答

做CDF后，我收到的P以下值（其中样本） [0.43 0.12 0.0021 0.05 0.017 0.001 0.025 0.038 0.35 0.29] 我想我P值与Fisher方法的帮助相结合，并得到以下列方式输出：选择第一个3 P值并将它们组合并从中得到结果（使用Fisher方法）。例如，我的第一个组合P的值将为：0.43 ,0.12 0.0021，我的下一个P组合值将为0.12,

3热度

1回答

有没有办法使用resharper属性指定发布条件？

说我们有一个方法 internal static void NotNull<T>(T value) where T : class { if (value == null) { throw new ArgumentNullException(); } } 有没有办法告诉ReSharper的静态分析，经过传递给此方法的值是永远不能为null

1热度

1回答

如何使用scan-build在不同的目标上运行clang静态分析器

我想在不同的目标上运行clang静态分析器。这里是makefile剪辑： CC = <path to clang folder>/build/bin/clang . . . src/%.o: ../src/%.c ${CC} --target=powerpc -O0 -g3 -Wall -c -fmessage-length=0 -MMD -MP -MF"$(@:%.o=%.d

0热度

3回答

程序集中的搜索方法名称

如果我在C＃中具有类似下面的代码，其中MyClass是项目库中的某个类。我该如何做静态分析，并找出调用代码Method1和Method2的次数。输出应该是：namespace.MyClass.Method1 = 4，namespace.MyClass.Method2 = 1个 namespace.MyClass obj = new namespace.MyClass() obj.Method1

0热度

1回答

别名分析和_restrict关键字 - C

别名分析如何与关键字__restrict和__noalias一起使用？它是否认为它们是没有锯齿的证据？或者根据指针简单计算自己的结果？望着LLVM的别名分析，在许多紧密循环做负载-binop店序列的结果，下面的瓶颈看到：即使输入和输出指针用__restrict，别名分析仍然充分标假设它们为'MayAlias'，并使循环结束时的商店依赖于循环中的所有负载。例如 void _BitwiseO

0热度

1回答

如何确定一个样品或双样品检验，Z或t检验

如果你想知道，如果有两个不同的群体之间的态度差异显著（假设A和B）。我从一个画了31样本和33 B.两个样本的样本是相互独立的，所列举的事实： 1）我需要运行一个样品或双样品检验，为什么？ 2）考虑样本量，我应该进行T检验还是Z检验，为什么？ 3）它是单尾或双尾测试，为什么？

1热度

1回答

Jessie插件与Frama-c铝的集成

如何集成 Jessie外部插件（为什么2.36）与 Frama-c铝？

0热度

2回答

更新列表内的字典

我在TCL以下数据结构（http://stardict.sourceforge.net/Dictionaries.php下载的列表）列表[{1 A 2 B} {1个C 2 d} {1和E 2 d}] ，你可以看到列表中有三个相同键的字典。我想更新d，让我们说只有e的P有，否则构造dict {1 e 2 P}并追加到列表中。无论，我更新或追加，在端我应该有这种列表[{1 A 2 B} {1个

2热度

2回答

扫描服务和“此平台不被Coverity支持”

我试图在OS X下提交扫描。procedure I am following在32位和64位Linux下工作良好，类似的过程在Winows nmake。在OS X cov-build未能与： $ CXXFLAGS="-DNDEBUG -g2 -O3" cov-build --dir cov-int make -j 2 Coverity Build Capture (64-bit) versio

3热度

1回答

溢出无效断言检查邮资-C

当检查用于加法运算short和char数据类型的溢流，通过邮资-C插入断言是似乎是不正确的：对于char和短数据的最大正值和负值是整型数据类型。这可能是什么原因？