V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
推荐学习书目
Learn Python the Hard Way
Python Sites
PyPI - Python Package Index
http://diveintopython.org/toc/index.html
Pocoo
值得关注的项目
PyPy
Celery
Jinja2
Read the Docs
gevent
pyenv
virtualenv
Stackless Python
Beautiful Soup
结巴中文分词
Green Unicorn
Sentry
Shovel
Pyflakes
pytest
Python 编程
pep8 Checker
Styles
PEP 8
Google Python Style Guide
Code Style from The Hitchhiker's Guide
raly
V2EX  ›  Python

大神王垠开源了 PySonar2

  •  
  •   raly · 2013-10-29 16:52:45 +08:00 · 19768 次点击
    这是一个创建于 3803 天前的主题,其中的信息可能已经有所发展或是发生改变。
    50 条回复    1970-01-01 08:00:00 +08:00
    syv2
        1
    syv2  
       2013-10-29 16:55:02 +08:00
    虽然用不上,还是想看看
    yuelang85
        2
    yuelang85  
       2013-10-29 17:06:35 +08:00
    帅!!
    Paranoid
        3
    Paranoid  
       2013-10-29 17:06:59 +08:00
    怎么生活中就碰不上神一样的人物呢..... 看着真不现实呀,都不知道大神的代码讲啥意思 ......
    qianlifeng
        4
    qianlifeng  
       2013-10-29 17:24:46 +08:00
    大神级人物啊
    lsj5031
        5
    lsj5031  
       2013-10-29 18:20:32 +08:00   ❤️ 2
    我突然很好奇有没有有人专门读代码写一些代码的点评和分享的?
    Mihuwa
        6
    Mihuwa  
       2013-10-29 19:01:39 +08:00 via iPhone
    膜拜
    richiefans
        7
    richiefans  
       2013-10-29 19:21:31 +08:00
    不太懂 这是干啥的
    yangxin0
        8
    yangxin0  
       2013-10-29 19:25:33 +08:00
    能够开源说明对自己的代码还是有信心
    lsj5031
        9
    lsj5031  
       2013-10-29 19:29:55 +08:00
    @richiefans 静态分析,应该是指不运行代码单纯从代码文本上做语法分析词法分析来判断代码有没有错误。印象流……可以google确认下。
    eric_zyh
        10
    eric_zyh  
       2013-10-29 19:33:25 +08:00
    只能仰望...
    est
        11
    est  
       2013-10-29 19:48:29 +08:00
    不明觉历。
    itfanr
        12
    itfanr  
       2013-10-29 19:56:46 +08:00
    不知道是啥东东
    Just1n
        13
    Just1n  
       2013-10-29 20:31:40 +08:00
    没人觉得这家伙其实还是很帅的么?
    xpfd
        14
    xpfd  
       2013-10-29 21:11:10 +08:00
    看看这次这个喜欢吹牛逼的嘴炮写的神马牛逼的东西
    krfantasy
        15
    krfantasy  
       2013-10-29 21:27:08 +08:00
    @Just1n 有点像张益达....
    qingfeng
        16
    qingfeng  
       2013-10-29 21:28:47 +08:00
    @lsj5031 CSDN博客上有很多,Android的,Chromium的
    qingfeng
        17
    qingfeng  
       2013-10-29 21:31:27 +08:00
    C++静态分析工具最强的是Coverity
    judasnow
        18
    judasnow  
       2013-10-29 22:39:24 +08:00   ❤️ 1
    这哥们在 Coverity 工作过。Coverity 已被黑。
    http://yinwang0.lofter.com/post/183ec2_6e3bad
    Sherlockhlt
        19
    Sherlockhlt  
       2013-10-29 22:46:28 +08:00
    @qingfeng
    @judasnow

    你们两的回复加起来真是神回复
    cchange
        20
    cchange  
       2013-10-29 23:37:46 +08:00 via iPhone
    @qingfeng
    @judasnow
    @Sherlockhlt
    围观神回复
    Golevka
        21
    Golevka  
       2013-10-30 09:16:52 +08:00
    Coverity已加入黑得起豪华午餐
    kqz901002
        22
    kqz901002  
       2013-10-30 09:34:52 +08:00
    @judasnow 黑得漂亮
    heganj
        23
    heganj  
       2013-10-30 09:35:13 +08:00   ❤️ 2
    王垠大大没有发表的post,不知道大家看了没有 https://github.com/yinwang0/blog-cn/blob/gh-pages/_posts/2013-10-05-random-words.md
    hooluupog
        24
    hooluupog  
       2013-10-30 10:24:46 +08:00
    人家肯定是牛人,这个不用怀疑了。只是很多人看不惯他那种狂妄的语气。
    王垠自己开发的Ylang编程语言现在在github上还只是个说明文件,等他把这个搞出来,倒是非常希望看看他心目中的编程语言是啥样的。
    tioover
        25
    tioover  
       2013-10-30 10:31:16 +08:00
    其准确程度超过了所有的 Python IDE (包括 PyCharm 3.0 在内)。

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

    很期待……整合成Vim 插件,这样就能自豪地说Vim > IDE。
    efi
        26
    efi  
       2013-10-30 11:03:47 +08:00
    > 所以到后来再有人找我做 Python 相关的工作,我都一概不理了,因为我发现选择 Python 做主要编程语言的公司一般都比较脑残和目光短浅。他们完全不能明白,自己其实是在跟一个水平远在所有 Python 程序员之上,远在 Guido van Rossum(Python 的创造者)之上的人说话。
    vixvix
        27
    vixvix  
       2013-10-30 11:06:15 +08:00
    有人知道大神现在在哪个公司做研究?
    qingfeng
        28
    qingfeng  
       2013-10-30 11:26:42 +08:00
    @Sherlockhlt
    @cchange 切,Coverity的C++静态分析工具在王垠加入之前已经很牛X了,有没有王垠对他们根本没有影响。我们公司买了一套,死贵死贵的。具体有多强悍,就不跟你们share了!绝对秒杀市面上互联网能down到的所有玩具静态分析软件。
    qingfeng
        29
    qingfeng  
       2013-10-30 11:30:47 +08:00   ❤️ 1
    @lsj5031 Coverity的C++静态分析工具是在软件编译过程中去分析的,必须编译。
    efi
        30
    efi  
       2013-10-30 11:49:57 +08:00
    @vixvix Voxer
    ChiangDi
        31
    ChiangDi  
       2013-10-30 11:58:56 +08:00
    不明覺厲。但是覺得他是狂妄了點,總是有種老子天下第一的感覺
    est
        32
    est  
       2013-10-30 12:01:47 +08:00
    @qingfeng 静态语言静态分析不算牛逼。动态语言能分析那个真牛逼啊。
    lsj5031
        33
    lsj5031  
       2013-10-30 12:16:44 +08:00
    @qingfeng 哦哦哦,感谢科普……能否再说明下具体的功能呢?真的没有玩过这么狠的玩意儿……
    yelite
        34
    yelite  
       2013-10-30 12:21:12 +08:00
    @heganj 其实当时发布了,然后我第二天再去看的时候就没了。。。
    imzshh
        35
    imzshh  
       2013-10-30 12:30:57 +08:00
    居然是java写的。。。要是用python来写的话,不就能自己分析自己了?就好像人类研究大脑的思考一样……
    luikore
        36
    luikore  
       2013-10-30 12:32:51 +08:00
    目测是换了个递归检测方法的抽象解释
    C 实现的方法是不容易拿到类型信息的, 不过 Java 实现的大概好些 (所以就是用 Jython 的原因?)
    如果写几个多类型的数组, 例如 [1,"hello",3.5,String] 还是会类型爆炸变得很慢的
    engHacker
        37
    engHacker  
       2013-10-30 13:22:11 +08:00
    @lsj5031 感觉不太实际,写代码的人都不太喜欢废话,倒是常说“Talk is cheap, show me the code.”
    terry6394
        38
    terry6394  
       2013-10-30 14:30:05 +08:00
    好家伙~~~ 我喜欢!
    xiaket
        39
    xiaket  
       2013-10-30 14:30:18 +08:00
    弄下来试了下, 貌似的确用不到.

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

    跑demo的时候注意下, 需要在jython那个目录里面跑. 如果你用sh build.sh来编译, 跑demo命令的时候会发现遇到路径问题.
    Sherlockhlt
        40
    Sherlockhlt  
       2013-10-30 14:45:24 +08:00
    @qingfeng
    贵公司是?
    min
        41
    min  
       2013-10-30 16:04:53 +08:00   ❤️ 1
    这玩意怎么玩,求解释
    Hawk
        42
    Hawk  
       2013-10-30 18:17:55 +08:00
    =w= 大神到底有没有一个固定的blog啊
    不知道V2ER对王垠评价如何
    反正以前我每次看他的文章都觉得整个人都精神起来了(褒义)~!
    fanTasy
        43
    fanTasy  
       2013-10-30 18:36:47 +08:00
    @Hawk 现在基本上固定在[yinwang.org](http://www.yinwang.org]上了
    vixvix
        44
    vixvix  
       2013-10-30 20:47:02 +08:00
    他黑Coverity的讲得都是很普遍的现象,但公司做产品的当然是讲求效益,还有人员的可替换性。他应该跑去大公司的研究院,研究机构,或者干脆留学校。除非哪天做出啥东西象Linus Torvalds那样被供着。

    不知道在Voxer能待多久。
    ldehai
        45
    ldehai  
       2013-10-30 20:47:05 +08:00
    @Hawk 确实很正能量,最早知道他是06年李开复写的一篇文章说他离开清华,一晃7年过去,居然在语言领域达到了一览众山小的高度,很有独孤求败的感觉。
    rupert
        46
    rupert  
       2013-10-31 09:28:06 +08:00
    @ldehai 前几年才知道王垠的,虽然觉得他很傲娇,可是不管怎么样还是一个很有个性、牛x的人
    luoqeng
        47
    luoqeng  
       2013-10-31 12:21:36 +08:00
    @luikore

    「后来具体的对话我忘记了,但是她说得那么战战兢兢的,确实给了我一些压力。再加上 Steve 那个闷声子,真是不好受。所以那个周末我没有出去玩,我下载了一个 Jython,把它的 parser 文件 (ANTLR) 拿出来。自己设计了一个更简单的 AST 数据结构,把这个 parser 生成的 AST 转换成我的结构。然后就开始在上面写一个抽象解释器。由于 Java 的限制,我想出了一个更简洁的用 Java 实现解释器的方法,从而避免了使用繁琐的 visitor pattern。一个周末之后,我做出了一个基本的原型。当然因为 Python 语言的复杂性,有很多细节的东西到后来才完全的实现。」

    http://kb.cnblogs.com/page/153841/
    luikore
        48
    luikore  
       2013-10-31 15:57:44 +08:00
    @luoqeng 所以用 Jython 的原因就是因为 google... 看到内建方法的签名是在 https://github.com/yinwang0/pysonar2/blob/master/Builtins.java 硬编码上去的了.
    ghbjy1128
        49
    ghbjy1128  
       2013-10-31 19:04:23 +08:00
    这哥们真是耐不住寂寞啊。
    hick
        50
    hick  
       2013-11-01 15:22:21 +08:00
    果然淫王啊。。。 哈哈哈哈
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   我们的愿景   ·   实用小工具   ·   3279 人在线   最高记录 6543   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 30ms · UTC 14:11 · PVG 22:11 · LAX 07:11 · JFK 10:11
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.