标签: static-analysis

是否有任何静态代码分析工具用于特别是在PL/SQL和T-SQL中编写的存储过程？

我认为Coffeescript是一种很棒的语言!我正在寻找一些将静态分析添加到Coffeescript的项目/问题/功能.然而,经过一些搜索,我发现Coffeescript 常见问题解答和此页面表明静态分析可能不可行.

我想知道如果在Coffeescript中实现静态分析/静态类型检查存在根本问题,那么编译器中是否存在这种类型的东西？

此外,对于非平凡的检查,这是不可能的,但可能仅适用于直接分析？当我说直截了当时,我的意思是检查一些微不足道的东西,比如,用户是否使用相同的名称(在类中)或顶层(或者在相关的.coffee文件集合中的顶层)定义了两次函数.

如果有人能指出一些示例,说明为什么实施静态分析/类型检查不简单/可能/值得花时间,我将不胜感激？

非常感谢你!

有没有办法禁用Sonar中选定软件包的某些指标？我使用Sonar来分析我的项目,在Entity和DTO包中我有一些相同的代码 - 带有注释的相同字段ID等被Sonar报告为重复.它绝对没有意义,所以我想禁用它.我怎样才能做到这一点？使用全局排除选项会禁用所选包上的所有指标,但如何仅为代码重复执行此操作？

我必须对数据集进行统计分析.我想创建所有可能的模型并使用挖泥功能测试它们但它不起作用.的确,当我输入:

glm1<-glm(presabs~dca1+dca2+se1+se2, family=binomial(logit))
dredge(glm1)

我收到了这个错误:

Erreur in dredge(glm1) : 
'global.model''s 'na.action' argument is not set and options('na.action') is "na.omit"

有人能帮我吗？

我想验证2个JAR之间的二进制兼容性.

根据这个答案中的建议,我使用jboss tattletale,但它只能找到缺少的类.

如何找到缺少的方法？有可能吗？

例如

"取决于 - " Foo 课程取决于Bar(像许多其他中产阶级工人一样)

import org.overlyusedclassnames.Bar

public class Foo{
    public void someMethod(){
         Bar tender = new Bar();
         tender.getJohnnyRedLabel();
         tender.getJohnnyBlueLabel(); //this method is new in the Bar class
    }
}

"编译时间"课程

package org.overlyusedclassnames;

/** 
 * @Since 1992
 * Changes: added blue and gold Johnny Walker labels
 */

public class Bar {
    public Drink getJohnnyRedLabel(){
         return new JohnyWalkerFactory.get(RedLabel.class);
    }

    public Drink getJohnnyBlackLabel(){
         return new JohnyWalkerFactory.get(BlackLabel.class);
    }

    public Drink getJohnnyGoldLabel(){
         return new …

所以,我想使用findbugs注释来抑制我们认为正确代码的警告.

我们是否需要将annotation.jar和jsr305.jar部署到我们的生产运行时,或者我们只需要在Eclipse项目和unix构建环境的类路径中使用这些jar吗？

我的项目中有一个特定的文件正由其他人处理.我不想搞砸它,宁愿不等待"构建和分析"来处理它.有没有办法告诉Xcode跳过对这个文件的分析？

我想问一下Clojure上有哪种类型的安全语言？

我现在已经多次读过Luke VanderHart和Stuart Sierra的'Practical Clojure',但我仍然有一个明显的印象,即Clojure(和其他lisps一样)不会非常认真地对编译时验证进行检查.类型安全只是一种(非常流行的)策略,用于对正确的语义进行编译时检查

我问这个问题,因为我很难被证明是错的; 什么样的设计模式可用于clojure(在编译时,而不是在运行时)验证期望字符串的函数不会被调用,例如,整数列表？

此外,我读过非常聪明的人,比如Paul Graham公开提倡lisp允许在它之上实现低级语言的所有内容(大多数人会说语言本身正在重新实现),所以如果那个断言这将是真的,然后像类型检查这样简单的东西应该是小菜一碟.所以你觉得在clojure或其他lisps中存在类型系统(或实现这种类型系统的能力),这使得程序员能够将验证检查从运行时间偏移到编译时,甚至更好,设计 - 时间？

可能重复:有
哪些开源C++静态分析工具可用？

有没有人知道Linux中的C++代码的开源,良好的静态代码分析器？这个想法是在代码进入代码审查状态之前捕获编程错误.有可能为工具添加规则会很棒.有人知道这样的工具吗？

问题

这是我想要的一个常见问题.添加新代码转换为回归 - 现有的测试用例已过时.代码中的依赖关系意味着即使您知道如何修复此特定回归,也可能在两个方向的更多位置进行间接回归 - 传入和传出.

需求

我有一个运行SVN,Maven + Nexus,Sonar,Jenkins和JIRA,QC,QTP的商店.总而言之,这是一个良好的CI环境.

每一个新的构建我都会有新的回归案例.我希望在两个方向上找到Java包依赖关系并正确更新测试用例,以便涵盖所有类型的回归 - 直接和间接.这是一个更大的问题,因为我的单元测试覆盖率甚至没有接近50%,并且集成测试的自动化无法跟上开发的步伐.

我的选择

1. SONAR
2. Google CodePRo
3. JArchitect
4. Jtest(与供应商Parasoft讨论过.他们没有这方面的工具)
5. 利用现有的环境,比如Atlassian插件
6. Kalisitck(供应商演示 - 漂亮的工具 - 涉及学习曲线和成本)
7. Coverity(像Kalistick一样 - 学习曲线和复杂的安装.非常昂贵的许可证.
8. 还有其他开源/付费吗？

JArchitect,SONAR和CodePro将为您提供一个像这样或这样的简单矩阵.通过告诉我哪些用户和使用过的类受到影响,满足了我的一半要求.我想要的是更进一步,让工具告诉我哪些相应的测试用例受到影响,以及我是否需要更新和/或执行它们以覆盖我的回归风险.

Kalistick,Coverity和其他人可能会做我想做的事情 - 他们很难设置和配置,慢慢地与你的系统一起成长,因此不会立即产生效率,需要花费成本并需要学习曲线.

简短的问题

考虑到所有因素,如安装,学习曲线,成本,可用性或任何其他参数,我在上面使用哪些工具进行设置.

我已经阅读了关于静态分析的FAQ部分,很少有线程像Java的静态分析工具推荐？, /sf/ask/260134241/以及 对代码指标的迷恋是什么？ 和许多相关的,但他们没有回答我的具体问题.