static-analysis

6热度

1回答

的文件夹中运行以下命令与项目：显示 $ xcodebuild -target MyCocoaFramework -configuration Debug -scheme MyCocoaFramework clean build | tee xcodebuild.log $ oclint-xcodebuild $ oclint-json-compilation-database $ 没有。

5热度

1回答

使用链接器命令进行铛静态分析

我正在开发一个静态分析工具和python-clang-3.6库，可以让我绘制函数调用图。要正确创建TranslationUnit我需要使用相应的编译命令（即clang.cindex.Index.parse(c_file, compile_command)）。但是，我相信，为了能够正确互连TranslationUnits我还需要使用链接器命令来了解哪个TranslationUnit使用其他Tran

1热度

1回答

为什么Ideone.com C编译器不能捕获不匹配的指针类型？

为什么我能够将错误类型的指针传递给C函数，而不会收到编译器错误或警告？ //given 2 distinct types struct Foo{ int a,b,c; }; struct Bar{ float x,y,z; }; //and a function that takes each type by pointer void function(struct Foo* x, s

1热度

1回答

Facebook流量功能联盟类型

我正在玩Facebook流和奇怪，为什么以下功能不打字检查？它显然使用由'|'表示的联合类型。 declare var f: ((x: any) => number) | ((x: any) => string); function f(x) { if(true) { return 5; } else return 'hello'; } 检查者抱

0热度

1回答

源提交/登记时自动静态源代码分析

是否有机制通过GIT或SVN识别传入的源代码签名和内联源代码文档。例如：如果有人将Java代码提交给源代码控制，则此拦截器应验证所有方法名称，并检查其上方的JavaDoc，如果没有可用于一种Java方法的文档，则不应发生提交。这真的有可能吗？，任何人都可以告诉是否有现成的机制或宏选项可用？

1热度

2回答

的Python：显示一个对象的实现源

我一直在负责的东西有点不寻常，出人意料地令人费解 - 显示特定类的实现方法的源代码。 In [1]: class Demonstration: ...: def cost(): ...: return 42 ...: In [2]: class OtherDemo: ...: def cost(): ...: return 43

1热度

1回答

Xamarin与Unity的静态分析

我的公司正在Unity中开发一款游戏，我正在开始将静态代码分析整合到我们的项目中。我们使用Xamarin Studio作为我们的IDE，它具有开箱即用的源代码分析以及我们可以使用的许多规则。我的问题是我如何让Unity将Xamarin规则识别为编译器错误，警告等？它似乎甚至没有考虑到它们。编码标准很容易实施，这一定很有用。提前致谢！

0热度

1回答

Androguard有没有办法确定某个方法是否可以实际调用？

我想用Androguard做一个Android应用程序的静态分析。特别是，我有兴趣确定是否调用特定的库方法。然而，由于方法调用可能是永远不会到达的代码的一部分，那么使用Androguard进行静态分析的原因是什么？如果不是，我可以使用不同的工具吗？（请注意，因为我需要对许多应用程序进行大规模分析，所以该工具应该是可自动化的，我理解的是Androguard的情况。）

0热度

1回答

在CPP源代码中列出可能的空解除引用或转发空缺

有没有一种工具可以进行静态分析并找到可能的空对象和可能的空解引用案例。我知道覆盖率非常多，也是cpp检查。但是，当我来到用户定义的数据类型来图片时，我觉得它非常有用。请提供一个解决方案，它也可以处理用户定义的数据类型，并可用于C++代码。

0热度

1回答

关于在NuSMV类型说明符（错误：无效的子区域）

在最后一段，页＃23的用户手册2.5（我用2.5.4）： "A type specifier can be given by two expressions separated by .. (<TWO DOTS>). The two expressions have both to evaluate to constants integer numbers, and may contain nam