[LLVMdev] Summer of Code idea -- detecting undefined behavior

[罗勇刚(Yonggang Luo)]

I know pc-lint is working fine on detecting some nasty coding fault.
But is it illegal implement it in clang? And also there is so much
other tools for code analyze:)

2010/3/26, yiqiuping1986 <yiqiuping1986 at 126.com>:
> 呵呵，不急，还有一学期的时间。
>
>
> 2010-03-26
>
>
>
> yiqiuping1986
>
>
>
> 发件人： 罗勇刚(Yonggang Luo)
> 发送时间： 2010-03-26  15:05:33
> 收件人： yiqiuping1986
> 抄送：
> 主题： Re: [LLVMdev] Summer of Code idea -- detecting undefined behavior
>
> 我没有找到工作，很杯具。
> 2010/3/26, yiqiuping1986 <yiqiuping1986 at 126.com>:
>> 没有呢，我还有几年毕业！你应该已经签了吧，呵呵！去哪儿啦！
>>
>>
>> 2010-03-26
>>
>>
>>
>> yiqiuping1986
>>
>>
>>
>> 发件人： 罗勇刚(Yonggang Luo)
>> 发送时间： 2010-03-26  14:38:04
>> 收件人： yiqiuping1986
>> 抄送：
>> 主题： Re: [LLVMdev] Summer of Code idea -- detecting undefined behavior
>>
>> 你在找工作么？
>> 2010/3/26, yiqiuping1986 <yiqiuping1986 at 126.com>:
>>> 呵呵，没关系，工作也挺好的！
>>>
>>>
>>> 2010-03-26
>>>
>>>
>>>
>>> yiqiuping1986
>>>
>>>
>>>
>>> 发件人： 罗勇刚(Yonggang Luo)
>>> 发送时间： 2010-03-26  13:56:02
>>> 收件人： yiqiuping1986
>>> 抄送：
>>> 主题： Re: [LLVMdev] Summer of Code idea -- detecting undefined behavior
>>>
>>> 我没有读研了，所以似乎无法参与此次gsoc了。
>>> 2010/3/26, yiqiuping1986 <yiqiuping1986 at 126.com>:
>>>> 呵呵，这样啊！
>>>> 你也想参加这次的GSoC是吗？你工作还是读研啊？
>>>>
>>>>
>>>> 2010-03-26
>>>>
>>>>
>>>>
>>>> yiqiuping1986
>>>>
>>>>
>>>>
>>>> 发件人： 罗勇刚(Yonggang Luo)
>>>> 发送时间： 2010-03-26  12:39:52
>>>> 收件人： yiqiuping1986
>>>> 抄送：
>>>> 主题： Re: [LLVMdev] Summer of Code idea -- detecting undefined behavior
>>>>
>>>> 我是南京航空航天大学的，大四了，不过跟你一般大年纪。
>>>> 2010/3/25, yiqiuping1986 <yiqiuping1986 at 126.com>:
>>>>> 呵呵，好像是呢！你是学生吗，什么学校的啊？
>>>>>
>>>>>
>>>>> 2010-03-25
>>>>>
>>>>>
>>>>>
>>>>> yiqiuping1986
>>>>>
>>>>>
>>>>>
>>>>> 发件人： 罗勇刚(Yonggang Luo)
>>>>> 发送时间： 2010-03-25  17:07:07
>>>>> 收件人： yiqiuping1986
>>>>> 抄送：
>>>>> 主题： Re: [LLVMdev] Summer of Code idea -- detecting undefined behavior
>>>>>
>>>>> 有意思，我发现最近越来越多的国内人才关注这个项目了。
>>>>> 2010/3/25, yiqiuping1986 <yiqiuping1986 at 126.com>:
>>>>>> 呵呵,是的呢!
>>>>>>
>>>>>>
>>>>>> 2010-03-25
>>>>>>
>>>>>>
>>>>>>
>>>>>> yiqiuping1986
>>>>>>
>>>>>>
>>>>>>
>>>>>> 发件人： 罗勇刚(Yonggang Luo)
>>>>>> 发送时间： 2010-03-25  15:47:03
>>>>>> 收件人： yiqiuping1986
>>>>>> 抄送：
>>>>>> 主题： Re: [LLVMdev] Summer of Code idea -- detecting undefined behavior
>>>>>>
>>>>>> 你在中科院？
>>>>>> 2010/3/25, yiqiuping1986 <yiqiuping1986 at 126.com>:
>>>>>>> Hi, dear LLVMers
>>>>>>>
>>>>>>> I am Qiuping Yi. I am interested in John's SoC project idea,
>>>>>>> developing
>>>>>>> Clang's support for detecting undefined behaviors in C/C++, and hope
>>>>>>> John
>>>>>>>  to be my mentor.
>>>>>>>
>>>>>>> I wish to implement detecting some undefined behaivors ranging from
>>>>>>> easy (such as detecting divide by zero) to rather troublesome ones
>>>>>>> (such as detecting references to out-of-scope automatic variables).
>>>>>>>
>>>>>>> I know well about C/C++,  and I major in program analysis and
>>>>>>> verification.
>>>>>>>
>>>>>>> Now I am a grade-two master student of Institute of Software Chinese
>>>>>>> Academy of Sciences, Beijing, China. I always pay close attention to
>>>>>>> many
>>>>>>> compiler optimization technologies. Now I also attend another
>>>>>>> project
>>>>>>> based on LLVM, in which I need to implement detecting whether the
>>>>>>> subscript
>>>>>>>  is out of the bounds of arrays.
>>>>>>>
>>>>>>> I hope I can have a chance to make some contribution to LLVM and
>>>>>>> Clang.
>>>>>>>
>>>>>>> Qiuping Yi
>>>>>>>
>>>>>>>
>>>>>>> 2010-03-25
>>>>>>>
>>>>>>>
>>>>>>>
>>>>>>> yiqiuping1986
>>>>>>>
>>>>>>>
>>>>>>>
>>>>>>> 发件人： John Regehr
>>>>>>> 发送时间： 2010-03-23  08:43:21
>>>>>>> 收件人： llvmdev
>>>>>>> 抄送：
>>>>>>> 主题： [LLVMdev] Summer of Code idea -- detecting undefined behavior
>>>>>>>
>>>>>>> Is anyone interested in a SoC project to further develop Clang's
>>>>>>> support
>>>>>>> for detecting undefined behaviors in C/C++?
>>>>>>> This is actually a collection of many smaller projects ranging from
>>>>>>> very
>>>>>>> easy (detecting divide by zero) to rather nasty (detecting
>>>>>>> references
>>>>>>> to
>>>>>>> out-of-scope automatic variables).
>>>>>>> If someone does this, I'm happy to help mentor, provide test cases,
>>>>>>> etc.
>>>>>>> If done well, this would be a relatively high-impact project.  It
>>>>>>> would
>>>>>>> catch more errors than valgrind, be faster, and provide much better
>>>>>>> error
>>>>>>> messages.
>>>>>>> John Regehr
>>>>>>> _______________________________________________
>>>>>>> LLVM Developers mailing list
>>>>>>> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
>>>>>>> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>>>>>>>
>>>>>> --
>>>>>> 从我的移动设备发送
>>>>>>          此致
>>>>>> 礼
>>>>>> 罗勇刚
>>>>>> Yours
>>>>>>     sincerely,
>>>>>> Yonggang Luo
>>>>>>
>>>>> --
>>>>> 从我的移动设备发送
>>>>>          此致
>>>>> 礼
>>>>> 罗勇刚
>>>>> Yours
>>>>>     sincerely,
>>>>> Yonggang Luo
>>>>>
>>>> --
>>>> 从我的移动设备发送
>>>>          此致
>>>> 礼
>>>> 罗勇刚
>>>> Yours
>>>>     sincerely,
>>>> Yonggang Luo
>>>>
>>> --
>>> 从我的移动设备发送
>>>          此致
>>> 礼
>>> 罗勇刚
>>> Yours
>>>     sincerely,
>>> Yonggang Luo
>>>
>> --
>> 从我的移动设备发送
>>          此致
>> 礼
>> 罗勇刚
>> Yours
>>     sincerely,
>> Yonggang Luo
>>
> --
> 从我的移动设备发送
>          此致
> 礼
> 罗勇刚
> Yours
>     sincerely,
> Yonggang Luo
>

-- 
从我的移动设备发送

         此致
礼
罗勇刚
Yours
    sincerely,
Yonggang Luo