similar to: [LLVMdev] An error about bitcode

Hi， John Criswell！ You have said to me that SAFECode had not been maintained for several years, now I have submitted my proposal for updating the SAFCode 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:

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

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

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 regressions) with the upcoming LLVM 2.7. You can subscribe to the SVA Commits mailing list

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

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

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 > 收件人：

hi, my friends: Currently, i am studying the way of hypercall's implementation. i have already known the flow of hypercall's execuation, and i decided to add a new hypercall into the Xen. first, i want to know the detail of one hypercall function, for example, "do_xen_version", but i can not find the location of definition of "do_xen_version". who can help me? i have

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’ investigation, I think checking bounds overflow bugs is more interesting,

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://socghop.appspot.com/gsoc/student_proposal/private/google/gsoc2010/easyqiu/t127038894856 Check bounds overflow bugs in C programs based on LLVM

Hi, I am sorry that just now I give the wrong URL which is a private mood. The next URLs are right: Update the SAFCode project to the new LLVM API http://socghop.appspot.com/gsoc/student_proposal/show/google/gsoc2010/easyqiu/t127038894856 Check bounds overflow bugs in C programs based on LLVM http://socghop.appspot.com/gsoc/student_proposal/show/google/gsoc2010/easyqiu/t126993884556 ABCD:

Hi Rafael, We will try out your patch and check to see how it will fit. You also talked about "It might be even possible to drop the requirement for the size to be known: Replace the call to AtEndOfStream by just trying to read more and checking if it failed, but that is a bit more than I wanted to do for this." That is to remove some calls to getSize()? Is there any expectation that

John, Many thanks for your prompt reply! You think it a better idea than a new implementation of bounds overflow checking, that integrating previous work such as this: http://llvm.org/pubs/2006-05-24-SAFECode-BoundsCheck.html into current LLVM. Yes? 在 2010年3月31日 下午12:11，John Regehr <regehr at cs.utah.edu>写道： > Hi Qiuping, > > I don't know much about SAFECode, you should

Hi, everybody! My name is Qiuping Yi, and I am a grade-two master student of Institute of Software Chinese Academy of Sciences, Beijing, China. I know LLVM is listed as one of the mentoring organisation for the Google summer of code this year. Last year I began to touch LLVM, and now relatively familiar with its soucecode. I major in program analysis and verification, and pay close attention to

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

Hi, I have a two Colum matrix ( I named it holder) as shown bellow. It seems to be three columns, but the first column contains the row names. I am trying to fill all NAs by linear interpolation the known values in the matrix. I tried using the interpNA function, but I get an error message: > interpNA(holder, method = "linear") Error in approx(idx, x[idx], 1:n, method = method, f

On Sat, Nov 22, 2014 at 11:09 AM, Sanjoy Das <sanjoy at playingwithpointers.com > wrote: > Hi Qiuping, > > If I'm reading the IR correctly, what you have is a > GetElementPtrConstantExpr [1]. It subclasses from llvm::Constant. > If you want the same code to handle GetElementPtrConstantExpr *and* GetElementPtrInst, you can use GEPOperator. > > Thanks, > --

Hi, John Criswell Thank you very much. I am installing LLVM-3.2, but I encounter the next error when carrying out "make": llvm[3]: Compiling ClangASTNodesEmitter.cpp for Release+Asserts build ClangASTNodesEmitter.cpp: In member function ‘std::pair<llvm::Record*, llvm::Record*><unnamed>::ClangASTNodesEmitter::EmitNode(const std::multimap<llvm::Record*, llvm::Record*,

Hi Michael, Thank you very much. But idx_begin/idx_end iterators can only be used through a getelementptr instruction, right? However, I think value "i32* getelementptr inbounds (%struct.Args* @globalArg, i64 0, i32 2)" itself is not a getelementptr instruction, so? Or could you tell me how can I get a getelementptr instruction first from this value?