大神王垠开源了 PySonar2

[raly]

http://www.yinwang.org/blog-cn/2013/10/29/pysonar2/

[Golevka]

Coverity已加入黑得起豪华午餐

[kqz901002]

@judasnow 黑得漂亮

[heganj]

王垠大大没有发表的post，不知道大家看了没有 https://github.com/yinwang0/blog-cn/blob/gh-pages/_posts/2013-10-05-random-words.md

[hooluupog]

人家肯定是牛人，这个不用怀疑了。只是很多人看不惯他那种狂妄的语气。
王垠自己开发的Ylang编程语言现在在github上还只是个说明文件，等他把这个搞出来，倒是非常希望看看他心目中的编程语言是啥样的。

[tioover]

其准确程度超过了所有的 Python IDE （包括 PyCharm 3.0 在内）。

============

很期待……整合成Vim 插件，这样就能自豪地说Vim > IDE。

[efi]

> 所以到后来再有人找我做 Python 相关的工作，我都一概不理了，因为我发现选择 Python 做主要编程语言的公司一般都比较脑残和目光短浅。他们完全不能明白，自己其实是在跟一个水平远在所有 Python 程序员之上，远在 Guido van Rossum（Python 的创造者）之上的人说话。

[vixvix]

有人知道大神现在在哪个公司做研究？

[qingfeng]

@Sherlockhlt
@cchange 切，Coverity的C++静态分析工具在王垠加入之前已经很牛X了，有没有王垠对他们根本没有影响。我们公司买了一套，死贵死贵的。具体有多强悍，就不跟你们share了！绝对秒杀市面上互联网能down到的所有玩具静态分析软件。

[qingfeng]

@lsj5031 Coverity的C++静态分析工具是在软件编译过程中去分析的，必须编译。

[efi]

@vixvix Voxer

[ChiangDi]

不明覺厲。但是覺得他是狂妄了點，總是有種老子天下第一的感覺

[est]

@qingfeng 静态语言静态分析不算牛逼。动态语言能分析那个真牛逼啊。

[lsj5031]

@qingfeng 哦哦哦，感谢科普……能否再说明下具体的功能呢？真的没有玩过这么狠的玩意儿……

[yelite]

@heganj 其实当时发布了，然后我第二天再去看的时候就没了。。。

[imzshh]

居然是java写的。。。要是用python来写的话，不就能自己分析自己了？就好像人类研究大脑的思考一样……

[luikore]

目测是换了个递归检测方法的抽象解释
C 实现的方法是不容易拿到类型信息的, 不过 Java 实现的大概好些 (所以就是用 Jython 的原因?)
如果写几个多类型的数组, 例如 [1,"hello",3.5,String] 还是会类型爆炸变得很慢的

[engHacker]

@lsj5031 感觉不太实际，写代码的人都不太喜欢废话，倒是常说“Talk is cheap, show me the code.”

[terry6394]

好家伙~~~ 我喜欢!

[xiaket]

弄下来试了下, 貌似的确用不到.

Mac下想玩的同学, 请先安装JDK, 然后brew install ant, 后面就比较正常了.

跑demo的时候注意下, 需要在jython那个目录里面跑. 如果你用sh build.sh来编译, 跑demo命令的时候会发现遇到路径问题.

[Sherlockhlt]

@qingfeng
贵公司是？