BT

如何利用碎片时间提升技术认知与能力? 点击获取答案

他的粉丝

Facebook开源其Java竞争条件检测工具RacerD

作者 Kesha Williams 关注 3 他的粉丝 ,译者 盖磊 关注 2 他的粉丝   发布于  2018年1月12日 2

由Facebook开源的静态分析工具Infer,现已支持使用RacerD检测Java代码中竞争条件。RacerD使用锁机制或@ThreadSafe注解,识别类中各方法间的竞争条件。

他的粉丝

Facebook新推出AL语言,意在简化程序静态分析

作者 Sergio De Simone 关注 14 他的粉丝 ,译者 Rays 关注 3 他的粉丝   发布于  2017年6月9日

AL是一种易用的声明式编程语言,适用于抽象语法树推理,使开发人员可以扩展Facebook Infer静态分析器的功能。

他的粉丝

必须移除无用代码

作者 Ben Linders 关注 23 他的粉丝 ,译者 Rays 关注 3 他的粉丝   发布于  2017年2月15日

需要发现和移除无用代码。无用代码的存在对于编程人员理解程序并采取行动而言是一种障碍。无用代码也存在被唤醒的风险,会导致严重的问题。移除无用代码并非是一个技术问题,而是一种理念上的和文化上的问题。

他的粉丝

度量和提高代码质量

作者 Ben Linders 关注 23 他的粉丝 ,译者 谢丽 关注 10 他的粉丝   发布于  2016年1月18日

InfoQ就如下内容采访了Boris Modylevsky:度量代码质量的重要性及如何使用度量提高代码质量,将静态代码分析工具集成进持续集成过程,测试覆盖率分析和测试自动化,将代码分析工具集成进持续集成过程以及测试覆盖率分析可以带来什么好处。

他的粉丝

LinkedIn发布旨在检测Android应用漏洞的工具QARK

作者 Abel Avram 关注 8 他的粉丝 ,译者 谈浩 关注 0 他的粉丝   发布于  2015年9月8日

LinkedIn最近开源了他的静态分析工具,该工具用于分析那些用Java语言开发的Android应用中的潜在安全缺陷。

他的粉丝

Facebook开源了静态分析工具Infer

作者 Abel Avram 关注 8 他的粉丝 ,译者 邱广 关注 0 他的粉丝   发布于  2015年6月23日

Facebook开源了适用于分析C、Java和Objective-C代码的静态分析工具Infer。

他的粉丝

CppDepend现已支持C和C++14

作者 Jonathan Allen 关注 553 他的粉丝 ,译者 臧秀涛 关注 2 他的粉丝   发布于  2014年10月8日

CppDepend是一款源码分析器,它的很多特性,特别便于理解存在复杂依赖关系的大型代码库。此外,它还可以与静态分析器集成。随着CppDepend 5的发布,现已支持C和C++14。

他的粉丝

Guido van Rossum想要在Python中加入类型注释

作者 Sergio De Simone 关注 14 他的粉丝 ,译者 潘瑾瑜 关注 0 他的粉丝   发布于  2014年8月21日 2

Python编程语言的设计者Guido van Rossum,最近在python-ideas邮件列表中提出了一个建议:在Python函数声明中加入类型注释。这个建议旨在在不改变Python动态类型的本质和解释器行为的前提下,让Python获得静态类型系统所带来的好处。

他的粉丝

线程安全并发静态分析工具发布首个公开beta版本

作者 Vikram Gupta 关注 1 他的粉丝 ,译者 廖煜嵘 关注 0 他的粉丝   发布于  2013年10月9日

英国的Contemplate 公司最近宣布,他们已经发布了主打产品ThreadSafe的首个公众测试版本,该产品是一种用于检测Java代码中并发bug和低效问题的静态分析工具。InfoQ在一个多线程项目中试用了ThreadSafe和FindBugs并得出相关结果。

他的粉丝

Spring Migration Analyzer:从Java EE到Spring转换的工具

作者 Kostis Kapelonis 关注 0 他的粉丝 ,译者 张卫滨 关注 13 他的粉丝   发布于  2013年1月3日 1

Spring Migration Analyzer是一个命令行工具,它能够分析Java EE应用程序的二进制包(如EAR文件),生成该应用程序所使用JavaEE技术的报表并提供迁移到Spring/Tomcat的建议。它试图为那些想把已有JavaEE应用迁移到Spring框架的人提供更为简单的迁移路径。

他的粉丝

一份编程错误列表强调静态代码分析有其必要性

作者 Abel Avram 关注 8 他的粉丝 ,译者 臧秀涛 关注 2 他的粉丝   发布于  2012年12月20日

Program Verification Systems公司(针对C和C++的静态代码分析工具PVS-Studio就是该公司的产品)发布了一份编程错误列表,有些错误是从Chromium、TortoiseSVN、Apache HTTP Server和MySQL等流行的开源项目中发现的。

他的粉丝

CppDepend现在已经支持Linux

作者 Jonathan Allen 关注 553 他的粉丝 ,译者 臧秀涛 关注 2 他的粉丝   发布于  2012年10月12日

CppDepend是一个用于分析复杂C++应用程序的工具。利用CQLinq—— 一个基于LINQ的新查询语言——开发者能够编写脚本来检查类与方法之间的复杂关系。它们既可以用于一般性研究,也能用于构建静态代码分析规则。

他的粉丝

Coverity:开源代码比商业代码缺陷少

作者 Abel Avram 关注 8 他的粉丝 ,译者 金毅 关注 0 他的粉丝   发布于  2012年3月13日

Coverity的一项调查发现,在代码量相当的情况下,使用了static analysis的开源代码通常比商业私有代码的缺陷少。

他的粉丝

Ruby IDE快报:JetBrains发布Rubymine 4.0,Ruby for NetBeans 7.1正在开发

作者 Mirko Stocker 关注 0 他的粉丝 ,译者 李永伦 关注 0 他的粉丝   发布于  2012年2月26日

JetBeans发布Ruby IDE RubyMine 4。这个版本的重点是更好性能,包含累积改进,以及在多个地方的改善。对于NetBeans 7.1,社区发布了Ruby的支持的预览版。

他的粉丝

微软将编译器作为服务公诸于众

作者 Jonathan Allen 关注 553 他的粉丝 ,译者 侯伯薇 关注 0 他的粉丝   发布于  2011年11月4日 2

早先的报道认为Roslyn项目只是更好的运行时能够访问的编译器以及REPL样式的解释器,但是现在看来它的目的远不止如此。微软公开了整个编译器产品线,期望开发者能够在各个层次上创建出更多类型的工具。

登陆InfoQ,与你最关心的话题互动。


找回密码....

Follow

关注你最喜爱的话题和作者

快速浏览网站内你所感兴趣话题的精选内容。

Like

内容自由定制

选择想要阅读的主题和喜爱的作者定制自己的新闻源。

Notifications

获取更新

设置通知机制以获取内容更新对您而言是否重要

BT