static-analysis

0热度

1回答

SonarQube分析是从6.2升级后不能6.3.1

从6.2升级SonarQube 6.3.1分析后得到这个错误： 10:31:45.361 ERROR: Invalid value of sonar.sources for .....:F97737D2-1926-4521-A9F0-4093946864AA 10:31:45.363 INFO: --------------------------------------------------

2热度

1回答

如何查找使用Clang的所有成员字段读/写？

给定一个C++源代码，我想找到每个函数写入和读取的类字段。使用Clang前端进行此操作的最佳方式是什么？（我不是要求的所有步骤的详细说明，但对于有效的解决方案的起点将是巨大的。）到目前为止，我试图解析使用RecursiveASTVisitor语句，但保持跟踪节点连接很困难。另外，我无法弄清楚如何保持跟踪的东西象下面这样： int& x = m_int_field; x++; 这清楚地修改

-1热度

3回答

如何开始与帕格工作？

我知道并使用html，js，less。但我是nodejs，pug/jade的新手。试图了解它是如何工作的。我读过很多关于帕格/玉的语法的教程，但我还没有找到一个教程如何使用它。我必须在哪写代码？如何在浏览器中打开它？我需要什么？

1热度

1回答

如何设置LLVM＆AnalysisType :: ID分析密码

我正在尝试创建分析密码。我的代码如下所示。我使用Adrian Sampson的方法来构建.so文件（https://www.cs.cornell.edu/~asampson/blog/llvm.html）。 #include "llvm/Pass.h" #include "llvm/IR/Function.h" #include "llvm/Support/raw_os

2热度

1回答

巴贝尔不输出流量评论

我只是第一次获得流量设置，我正尝试在开源库上使用它。我试图使用babel-plugin-transform-flow-comments，这样图书馆的用户可以从类型检查中获益，看他们是否也在使用流程。我现在只有一个文件批注，并通过了所有检查： /* @flow */ import React from 'react' export default function Checkbox({ i

0热度

1回答

SonarQube扫描仪对变化的分析

我正在运行maven声纳目标，针对功能分支构建作为融入我们主分支的门控因子。这需要相当长的一段时间，我真正关心的是确保新代码符合我们的标准。是否有办法针对新的更改运行扫描程序，而不是针对整个项目来节省构建时间？

2热度

1回答

ACSL“分配”注解为内结构和的C代码字段

假设我们有这样的数据结构： #typedef struct { int C_Field; }C; #typedef struct { C B_Array[MAX_SIZE]; }B; #typedef struct { B A_Array[MAX_SIZE]; }A; 似乎邮资-C不为一个结构的一个字段分配一个位置在以下示例中键入C： /*@ assigns

0热度

2回答

Ç - 非定格式串旗

我有以下代码： if (my_condition_is_true){ my_format_string = "Something %d, plus some_other_thing %lu" } else{ my_format_string = "Something %d, plus some_other_thing %llu" } my_string_formatt

2热度

1回答

伊德里斯：试图在总体检查失败重新实现fromInteger进行NAT

我有以下代码： module Test data Nat' = S' Nat' | Z' Num Nat' where x * y = ?hole x + y = ?hole fromInteger x = if x < 1 then Z' else S' (fromInteger (x - 1)) 我得到最后一行一条错误消息： Test.id

0热度

1回答

如何跟踪方法参数？

我一直在尝试为Java编程语言找到“跟踪方法参数”的确切术语，我通常发现“污点分析”，但仍不确定我是否处于正确的路径。我想要的是跟踪一个方法的参数，看看该方法的哪一部分（在范围内）做参数效果。例如，如果一个参数被分配给另一个变量，我也想保持跟踪所分配的变量。通过提及“部分”，它可以是代码行，语句或控制流图的分支。我也检查过工具，遇到了Checker Framework和Findbugs，但是看