回答情况：
提问时间：
问题标签：
3回答
我正在学习Elixir，工具'dialyzer‘可以让你做静态分析--用函数定义的类型规范来注释它所期望的参数和它返回的输出。它完全是可选的，但是如果它被充分使用，它如何与好的静态类型相匹配呢？
浏览 2修改于2014-05-11得票数 5
2回答
我读过很多关于静态分析的论文和教程，但我仍然觉得自己在静态分析方面还没有达到中等水平。我想一步一步地开始，对这个问题有一个深刻的认识。我真的很希望这个问题能够在每年出版的几十个静态分析材料中收集到为数不多的珍珠。
浏览 2提问于2014-07-11得票数 3
回答已采纳
浅静态分析和深静态分析有什么区别？我目前正在使用Xcode，并注意到有一个构建设置可以区分这两者。
我对此很好奇，在一般情况下，我也想知道Clang如何实现这一区别是否有什么不同。
浏览 3修改于2015-04-14得票数 5
回答已采纳
我正在寻找一些项目/问题/功能，可以将静态分析添加到Coffeescript中。然而，经过一些搜索后，我发现和建议静态分析可能不可行。我想知道，在Coffeescript中实现静态分析/静态类型检查是否存在根本问题，因为这类问题在编译器中还不存在？
另外，它是不是不可能用于非平凡的检查，而可能只适用于简单的分析？如果有人能指出一些例子，说明为什么实现静态分析/类型检查不直接&#
浏览 3提问于2012-06-04得票数 20
回答已采纳
1回答
我的库有以下函数行： int{ c1 = *str1++;... 我的MISRAC2012-Rule-10.3错误如下： Implict conversion of '*str1++' from essential type unsigned 8-bit to different or narrover essential type character
Implict conversi
浏览 29修改于2020-10-01得票数 0
1回答
我注意到，当我在Xcode中使用静态分析函数时，我得到了用于temp[4]比较的消息“‘temp[4]’的左操作数是一个垃圾值”。这是假阳性吗?如果是的话，原因何在？
浏览 2提问于2014-03-20得票数 2
回答已采纳
3回答
我对那里的静态分析工具很感兴趣。或者更确切地说，支持API，允许我使用这些API编写自己的工具。多年来，我在我目前的工作岗位上写了几十篇文章，仔细研究了我们的源代码(C++)中的各种内容。但我想知道的一件事是，是否还有其他静态分析API可用。所以
说出你用它写的一件事？
浏览 5修改于2010-08-06得票数 4
回答已采纳
我尝试实现静态分析，以检查该方法及其调用图是否需要UI或Request (ASP.NET)上下文。答案将决定方法主体中等待语句中对ConfigureAwait的需求。
浏览 3提问于2015-02-12得票数 2
回答已采纳
1回答
我使用的是CLion集成开发环境。最近，IDE经常显示错误。然而，同样的代码可以成功编译。
重新打开项目并重新启动IDE后，错误错误未修复。为什么？我怎么才能修复它？
浏览 35修改于2020-09-18得票数 0
4回答
嗨，我想开始尝试java源代码的静态分析。首先，直接解析我的源码树似乎是最简单的，但是假设有API可以做到这一点。System.out.println(m.getMethods().size());}请记住，我并不特别担心DI和反射之类的陷阱(至少在这一点
浏览 0修改于2012-02-27得票数 1
1回答
有没有用于静态分析Junit的Eclipse插件？我正在寻找一些最好的工具，如PMD，它检查Junit实践，并给我一个错误的报告。
浏览 0提问于2012-08-27得票数 2
我想从使用或评估Coverity来静态分析Java代码的人那里获得评论。我知道它在C/C++世界里很流行，但是花这些钱在Java分析上值得吗?还是使用PMD、Findbugs和其他开源工具更好呢？
浏览 14修改于2011-11-01得票数 17
= [UIImage imageWithCGImage:partOfImageAsCG];return image;}
但是，当我分析我的代码时，我会得到以下静态分析警告：“带有+0保留计数的对象返回给调用者，其中期望有+1 (拥有)保留计数”，并突出显示返回图像行。
浏览 2修改于2012-08-28得票数 0
回答已采纳
我只想使用eclipse tptp，这是一个用于静态代码分析的框架，但是tptp 4.5.0结束了对代码分析的支持。1.这个版本似乎无法集成到当前的eclipse galileo中。2.你会使用哪种语言独立的eclipse框架作为tptp静态分析的替代方案，它适用于eclipse galileo？
浏览 2修改于2011-07-08得票数 3
6回答
在过去，我使用的是Lutz Rorder的代码，它是Reflector的基础-它有一个分析IL代码的选项，并在它上面给出了对象模型。我现在找不到这个代码。
有什么建议吗？
浏览 1提问于2009-11-04得票数 3
1回答
我想知道是否有静态分析工具的OSS可以自动生成报告。我想要分析静态分析工具的结果/内容，并自动为客户生成报告，但我将其留在Excel中，作为报告模板的数据库，但直观地确认工具的呼气结果，并从上面的Excel关联
浏览 0提问于2019-05-23得票数 0
1回答
如果我正确理解，静态分析可以猜出变量可以有哪些值，并推断，例如，控制流图中的路径永远不会被执行。
我有一个常量字符串CStr数组。静态分析能猜出GetValue(x)会有一个常数吗？如果是的话，是怎么做的？
浏览 4提问于2014-11-28得票数 0
回答已采纳
我们使用Coverity来检测代码中的漏洞。基本上，这是代码片段： static int vendor_request( size_t length, ) const struct OFPSM *osr;
memcpy(&vendor, ((char*)osr
浏览 2修改于2014-05-06得票数 2
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号