“静态分析”是指用于分析任意属性的应用程序代码的软件工具（或它们的用途），例如错误（未初始化的变量，可能的SQL注入攻击，这个代码死了，参数可以为null，...... ）或结构（这段代码的调用图是什么？有重复的代码吗？组件之间传递什么信息？）。
假定以下模块和脚本文件：mymodule.py＃要由MonkeyType注释的模块def add（a，b）：从mymodule中返回a + b myscript.py import add add（2，3）add（'x' ，'y'）...
我正在嵌入式系统项目（C99语言）中设置Coverity-Scan。该代码库利用中断和系统外设寄存器（如大多数嵌入式软件）。我不...
我正在尝试使用Frama-C在C程序中打印变量类型。我发现该信息在GUI中表示，如下图所示。但是，我找不到输出此内容的方法...
是否有可以检查Markdown文件语法的静态“代码”分析工具？如果有一个工具可以根据某些规则来验证Markdown文件，例如...
是否可以在Linux内核或其部分上运行符号执行？ concolic测试呢？谢谢！
如果emplace_back完全错误，为什么QTCreator不会警告我？
假设我有一对数字向量：std :: vector > uniquePairs;如果我这样做：uniquePairs.emplace_back（“文字垃圾数据”）;它不会对我大喊大叫。 ...
我正在尝试设置我的rails项目，以使贡献者所需的所有验证都在一个命令中，当前我们正在运行：rake test但现在我们也想将rubocop用于...
我想知道是否有某种方法可以忽略PHP_CodeSniffer生成的警告，该警告引用了Eloquent映射。例如：/ ** * @param用户$ user * @param字符串$ message * @param ...
TypeError：无法创建数据属性〜React〜ESLint
[在某些React组件上使用ESLint时，我遇到类型错误，该错误终止ESLint并显示消息TypeError：无法创建数据属性。 linting PATH / TO / MY / ...
是一个家庭作业问题，是否需要进行内容敏感和/或流敏感分析才能查看src可以指向哪些值。并给出了内容敏感和...
pydocstyle的错误代码D401读取：第一行应该处于命令状态。我经常遇到以下情况：我写了一个文档字符串，使我的linter抛出了这个错误，然后将其重写-但两个...
我有以下打字稿代码：type Nothing = undefined |空值; export const isNothing = （val：T | Nothing）：val is Nothing => val === null || typeof val ==='未定义'; ...
对于Visual C ++，_ Guarded_by_及其静态分析功能会在编译时检测潜在的竞争条件。 C＃中是否有任何等效的东西，例如，在变量上添加属性...
[我们正在寻找C＃的语法检查器，类似于Java的Checkstyle。是否有人对我们可以使用的任何工具有任何建议？理想情况下，它将具有Visual Studio插件...
我正在尝试使用CheckStyle在给定源文件中找到的所有方法中检索所有参数名称。这是相关的代码：public int [] getDefaultTokens（）{return new int [] {...
具有以下内容：StringWriter sw = null;尝试{sw = new StringWriter（）;使用（var xw = new XmlTextWriter（sw））{doc.WriteTo（xw）;返回sw.ToString（）; }} ...
Eclipse CDT Indexer为什么不索引正确的配置？
使用最新的ARM Development Studio（DS）版本（v2019.a_1）中的Eclipse CDT，我从以前的安装（DS-5 v5.26.2）导入了项目设置。该项目由几个...
我很高兴编写了一个很好的项目，并且在运行时没有任何奇怪之处。因此，我决定运行静态代码分析工具（我使用的是Visual Studio 2010）。结果表明，规则CA2000 ...
为什么TypeScript不能在检查未定义的if语句后确定变量是否已定义，所以永远不会
我正在启用strictNullChecks的TypeScript 3.6.2中进行编译。假设我声明了一个可能未定义的变量：let filename：string | undefined;然后，回调可以为其分配一个值，或者...
[使用GCC编译C或C ++时，您可以用attribute（（warn_unused_result））标记函数，如果您调用的函数返回某些内容，然后不这样做，这将导致编译器抱怨”