如何计算在具有特定类型的操作数的代码库中使用重载运算符的次数
我有一个模板类SafeInt(由Microsoft提供). 从理论上讲，此类可以用于代替POD整数类型，并且可以在算术运算期间检测任何整数溢出. 对于该类，我编写了一些自定义的模板化重载算术运算符(+，-，*，/)函数，其两个参数均为SafeInt的对象. 我将所有整数类型都定义为SafeInt类类型. 我想在我的代码库中搜索所述二进制运算符的实例，其中两个操作
..
static-analysis相关内容
Maven插件来分析javascript代码质量
JavaScript代码很难维护. 我正在寻找可以帮助我确保合理质量水平的工具. 到目前为止，我已经找到 JsUNit ，这是一个非常好的javascript单元测试框架.可以在任何可用的浏览器上从ant自动运行测试. 我还没有找到与PMD，checkstyle，Findbug ...有关的javascript等价物. 您知道任何针对javascript的静态代码分析工具吗? 解
..
使用Fisher方法Matlab合并P值?
执行CDF之后，我收到以下P值(它们的样本) [0.43 0.12 0.0021 0.05 0.017 0.001 0.025 0.038 0.35 0.29] 我想在 Fisher 方法的帮助下结合我的P值通过以下方式获取输出: 选择前3个P值并将其组合并从中获取结果(使用fisher方法).例如，我的第一个合并P值将是:0.43 ,0.12 0.
..
scan-build make无法检测到任何错误
我有一个非常简单的.c文件，其中包含一些明显的错误. #include struct S { int x; }; void f(struct S s){ } void test() { struct S s; f(s); // warn } int test2(int x){ return 5/(x-x); // warn } int main(
..
如何找到所有使用Clang读取/写入的成员字段?
给出C ++源代码，我想找到每个函数编写和读取的类字段.使用Clang前端执行此操作的最佳方法是什么? (我并不需要详细说明所有步骤；但是，一个有效解决方案的起点将是很好的.) 到目前为止，我尝试使用RecursiveASTVisitor解析语句，但是很难跟踪节点连接.另外，我无法弄清楚如何跟踪如下内容: int& x = m_int_field; x++; 这显然修改了m_
..
使用其他通行证时的LLVM错误
这是我的LLVM Pass: #include #include #include #include using namespace llvm; namespace {
..
llvm:是否可以在单个阶段合并验证和编译?
通常来说，编写llvm前端时，将使用AST并首先检查其语义是否定义明确.此后，将进行AST并执行IR构建阶段. 我想知道，直接在AST上执行IR构建阶段是否现实，并且如果在构建过程中发现错误，将部分更改恢复到模块对象? 我认为这是必需的: 删除定义的类型 删除已定义的全局变量 我想念的还有什么吗? 对此有何想法?在失败的构建阶段之后，干净恢复模块更改需要做什么的一般准则是什么
..
不正确的LLVM别名分析
我要问一个类似于这篇文章的关于LLVM的问题别名分析似乎给出了不正确的结果. 由于包含大量重写， 我决定将其发布为单独的问题. 我正在运行以下非常简单的代码: char *foo() { int i; int size; char *s=malloc(5); char *p=malloc(8); while ((i
..
使用llvm库构建时如何链接?
我正在尝试解析LLVM-IR文件(.ll)并进行静态分析. 我在下面找到了此示例代码，并尝试构建它，但是我不知道要链接哪个库. #include #include "llvm/IR/LLVMContext.h" #include "llvm/IR/Module.h" #include "llvm/IRReader/IRReader.h" #include "llv
..
Clang Static Analyzer找不到最基本的问题
我想尝试一下clang静态分析器.我在Windows上，并使用Visual Studio构建了clang.它似乎可行，但同时似乎也毫无用处. 我制作了一个示例文件 示例.c int main(void) { int h = 0; return 1/h; } 呼叫scan-build gcc -c example.c没有发现错误. 示例.c int
..
Linux内核的静态调用图生成
我正在寻找一种工具来静态生成Linux内核的调用图(对于给定的内核配置).在包括所有调用在内的意义上，生成的调用图应该是“完整的"，在Linux内核的情况下，包括潜在的间接调用(我们可以假设这些调用只能通过使用函数指针来完成). 例如，这可以通过分析函数指针类型来完成:这种方法将导致图形中多余的边缘，但这对我来说是可以的. ncc 似乎实现了这个想法，但是我没有成功地使它在3.0内核.
..
我的班级装饰器是否不够Pythonic或PyCharm在棉绒警告中不够聪明?
我想在一个类中定义一个装饰器.我不想将其定义为单独的独立函数，因为此装饰器专门用于此类，所以我想将相关方法保持在一起. 此装饰器的目的是检查某些先决条件，尤其是由成员变量保存的数据库连接，SSH连接等仍然可用.如果没有，则装饰函数将不会被调用，并且将完成一些错误报告和清理工作. 我制作了以下测试类来测试它是否有效，并且代码运行良好.但是我发现PyCharm对这段代码显示警告.所以我想知
..
关于加快静态分析工具PC-Lint的任何提示?使用.LOB文件有任何经验吗?
我有兴趣学习影响PC上线时间的主要因素.我知道一些诸如-passes(#)的类，它会增加PC-Lint花费的时间(线性增加吗?)，或者减少输出的消息不会影响起毛时间.我希望让其中一位对皮棉经验更丰富的人证实他们对皮棉性能的理解，列出他们影响皮棉时间的主要因素. 此外，您是否有任何经验将.lob文件与PC-Lint一起使用.您会说多少影响起毛时间? 解决方案 我得到的主要提速是当我开始
..
在哪里可以找到针对Ruby积极开发的lint工具?
我编写的大多数代码是在Ruby中进行的，偶尔我会做一些错别字，这些错字只会在一段时间后被发现.当我让我的脚本运行长时间的任务并回到发现我有错字的时候，这很烦人. 是否有针对Ruby积极开发的皮棉工具，可以帮助我克服这一问题?是否可以在可处理大量源文件的系统中使用它，其中一些是动态加载的? 以以下代码段为例: a = 20 b = 30 puts c 要赢得赏金，请给我看一个工
..
为什么在Rust中需要显式的生存期?
我正在阅读Rust书的寿命一章 ，而我遇到了这个示例，给出了一个有名的/明确的生存期: struct Foo { x: &'a i32, } fn main() { let x; // -+ x goes into scope // | {
..
防止this.state与setState一起使用
参考声明： setState（）并不总是立即更新组件。它可以批量推迟更新或推迟更新。这使得在调用setState（）之后立即读取this.state是一个潜在的陷阱。相反，使用componentDidUpdate或setState回调（setState（更新程序，回调）），其中任何一个都保证在应用更新后触发。如果你需要根据以前的状态设置状态，请阅读下面的updater参数。 所以它被认
..
为JavaScript输入检查器？
有谁知道是否有一个分析JavaScript代码和检测类型错误的好工具？我知道JavaScript本身是弱动态类型的，但如果我有一个程序可以验证我的所有字段访问都是合理的，并且我不会尝试处理像字符串这样的数字，那将是非常好的。我知道在JavaScript中有一些有效的用例，其中添加或删除字段或在不同类型之间进行转换是有效和预期的，但是有些错误是如此明显，似乎它们可能在脚本开始运行之前被捕获。
..
有没有JavaScript静态分析工具？
我习惯让我的编译器抱怨当我做一些愚蠢的事情就像变量名称上的拼写错误但是JavaScript有习惯让它通过。 Are还有JavaScript的静态分析工具吗？ 解决方案 我同意JSLint是最好的起点。请注意， JavaScript Lint 与 JSLint的。我还建议查看 JSure ，这在我的有限测试中表现优于其中任何一个，尽管实现中的一些粗糙的边缘 - 英特尔Mac版本在启动时
..
将静态分析工具相互集成？
人们如何整合各种静态分析工具，如PMD，Checkstyle和FindBugs，以便它们以统一的方式一起使用？特别是，我有兴趣生成一个统一的报告，其中包含来自所有工具的警告。此外，我希望能够使用合理一致的警告抑制来标记我的代码。 我的问题在这里并不是要解决工具“重叠”的地方，比如说，PMD和Checkstyle正在寻找相同的东西。这是另一个问题。 请参阅我的一些对答案中的问题的想法 一
..
自定义PMD规则 - 检查包装评论到位
我正在尝试编写规则来强制包中包含带有特定表达式的Javadoc注释，例如： / ** *示例表达式 * / 有谁知道如何我会使用 AbstractJavaRule 类编写这样的规则。我看过ASTPackageDeclaration，但这似乎没有我想要的。 非常感谢提前...... 解决方案 PMD使用JavaCC将每个java文件解析为抽象语法
..