search for: yiqiuping1986

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 &...

Hi, I intend to participate in Google's Summer of Code this year, so I'd like to bounce another idea around to see what you guys think. (I posted a similar message to cfe-dev just now.) Be warned: this will shock you. It may even horrify you. 1. Implement a 16-bit x86 backend. (*Chris recoils in horror*) Yeah, I know 16-bit x86 is dead, but I find it interesting for historical purposes

Hi, When I execute the command bellow: $llvm-dis Example.bc -o Example.ll I get the following wrong message: llvm-dis:Bitcode stream should be a multiple of 4 bytes in length Who can help me? 2010-04-07 yiqiuping1986 -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20100407/2cd7a437/attachment.html>

...erflow bugs in C programs based on LLVM http://socghop.appspot.com/gsoc/student_proposal/private/google/gsoc2010/easyqiu/t126993884556 ABCD: Eliminating Array Bounds Checks on Demand http://socghop.appspot.com/gsoc/student_proposal/private/google/gsoc2010/easyqiu/t127047140930 2010-04-06 yiqiuping1986 -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20100406/2ed62c08/attachment.html>

...C programs based on LLVM http://socghop.appspot.com/gsoc/student_proposal/show/google/gsoc2010/easyqiu/t126993884556 ABCD: Eliminating Array Bounds Checks on Demand http://socghop.appspot.com/gsoc/student_proposal/show/google/gsoc2010/easyqiu/t127047140930 Best Regards! Qiuping 2010-04-06 yiqiuping1986 发件人： yiqiuping1986 发送时间： 2010-04-06 08:15:35 收件人： llvmdev 抄送： 主题： [LLVMdev] Summer Code of idea Hi, Here are my submitted proposals, and they are still in progress. Wellcome your comments, if you have some interest in the topics. Update the SAFCode project to the new LLVM API http://s...

...ode project to the new LLVM APIs. If you are still interested in the topic and willing to guid my project, I will be very happy. Now I'm waiting for you comments. Here is my proposal: http://socghop.appspot.com/gsoc/student_proposal/show/google/gsoc2010/easyqiu/t127038894856 2010-04-07 yiqiuping1986 发件人： John Criswell 发送时间： 2010-03-30 22:42:53 收件人： John Regehr 抄送： 易秋萍; llvmdev at cs.uiuc.edu 主题： Re: [LLVMdev]summer_of_code_idea_―_checking_bounds_overflow_bugs John Regehr wrote: > Qiuping, > > Have you looked at what has already been done? I would expect that taking >...

yiqiuping1986 wrote: > Hi， John Criswell！ > You have said to me that SAFECode had not been maintained for several > years, Just to clarify, SAFECode *has* been and *is* maintained (primarily by me). The release_26 branch in the SVN repository works with LLVM 2.6, and mainline is working (with some regr...

2010-04-01 yiqiuping1986 发件人： John Criswell 发送时间： 2010-03-30 23:44:58 收件人： 易秋萍 抄送： llvmdev at cs.uiuc.edu 主题： Re: [LLVMdev] summer of code idea— checking boun ds overflow bugs 易秋萍 wrote: Hi, Some days ago I am interested in detecting undefined behaviors in C programs based on Clang. After several days’ invest...

John Regehr wrote: > Qiuping, > > Have you looked at what has already been done? I would expect that taking > previous work such as this: > > http://llvm.org/pubs/2006-05-24-SAFECode-BoundsCheck.html > > and integrating into current LLVM would be a better idea than starting > over. > This code is publicly available from the SAFECode project (see

On Mar 22, 2010, at 4:34 PM, Nick Frolov wrote: >> There is a high maintenance cost to having backends in the tree (every >> codegen change requires updating all backends). Adding stuff that >> noone uses and can barely test is not goodness. > > So, proposing a backend for an unpopular architecture is not a good idea > for GSoC project in general? We generally prefer

...nproject ideas list of LLVM, and I am very interested in designing a new pass to reducing memory access latency in application software. Now I am looking for a mentor who is willing to guide me in this project. I look forward to your feedback! Best regards to you all! Qiuping Yi 2010-03-24 yiqiuping1986 -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20100324/156786c8/attachment.html>

...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...

...project, perhaps I haven’t seriously thought over it. > > > > My idea come from a master thesis, and I send it to you as an > attachment. > > > > > > > > 2010-03-31 > > ------------------------------------------------------------------------ > > yiqiuping1986 > > ------------------------------------------------------------------------ > > *发件人：* John Regehr > > *发送时间：* 2010-03-30 22:37:49 > > *收件人：* $B0W=)hL (J > > *抄送：* llvmdev > > *主题：* Re: [LLVMdev]summer_of_code_idea_―_checking_bounds_overflow_bugs > > Qiup...

....net/yiqiuping/archive/2010/04/06/5453367.aspx Check bounds overflow bugs in C programs based on LLVM http://blog.csdn.net/yiqiuping/archive/2010/04/06/5453368.aspx ABCD: Eliminating Array Bounds Checks on Demand http://blog.csdn.net/yiqiuping/archive/2010/04/06/5453348.aspx 2010-04-06 yiqiuping1986 -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20100406/7b05f769/attachment.html>

Hi, John I have modified my proposal based on your suggestion. Wellcom your comments! The URL of my proposal is: http://socghop.appspot.com/gsoc/student_proposal/private/google/gsoc2010/easyqiu/t127038894856 Best Regards! Qiuping 2010-04-08 yiqiuping1986 -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20100408/b6065f64/attachment.html>

Hi, I commit my proposal titled �Maintain the Array Bound checking pass of the SAFECode Project�. Wellcome your comments, if you are interested in the topic. My proposal URL is http://socghop.appspot.com/gsoc/student_proposal/show/google/gsoc2010/easyqiu/t127038894856 2010-04-08 yiqiuping1986 -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20100408/9970ad35/attachment.html>

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,

Hi, Some days ago I am interested in detecting undefined behaviors in C programs based on Clang. After several days’ investigation, I think checking bounds overflow bugs is more interesting, because bounds overflow is one of the most frequently encountered errors in C programs. For example, performing pointer arithmetic without checking bounds can cause bounds overflow. To increase the