search for: calysto

Hi, I've ran my static checker Calysto on openssh and found the following bug: Possible NULL-ptr deref (vc536): @/work/benchmarks/SOURCES/openssh-4.6p1/moduli.c:173 + ptr gtm returned from gmtime dereferenced without checking (gmtime can return NULL). There are probably more possible NULL-ptr dereferences, but Calysto currently does n...

New version of Calysto reports a warning that looks like a bug to me: ------------------------------------------ Possible NULL-ptr deref (vc27053): @/work/projects/llvm/tools/Calysto/IfaceSpecs/clib.c:1823 Bug: ?? Explanation: choose_dh (dh.c:111) calls fopen twice (@120). If the first call to fopen fails (returns NULL...

...Laurie J. Hendren}, title = {Taming Control Flow: A Structured Approach to Eliminating Goto Statements.}, booktitle = {ICCL}, year = {1994}, pages = {229--240}, } Cheers, -- Domagoj Babic http://www.domagoj.info/ http://www.calysto.org/

Hi, Apart from the Calysto project ( http://www.cs.ubc.ca/~babic/index_calysto.htm), is there any other static code analysis tool based of the LLVM framework ? Calysto may be great but it seems that the source is not available (yet?). I was quite excited by Oink/Elsa few years ago but the project is almost dead even if the...

...Flow: A Structured Approach to Eliminating > Goto Statements.}, > booktitle = {ICCL}, > year = {1994}, > pages = {229--240}, > } > > Cheers, > > -- > Domagoj Babic > > http://www.domagoj.info/ > http://www.calysto.org/ > _______________________________________________ > LLVM Developers mailing list > LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu > http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev >

...info [without symbolic execution]? I'm using slightly older version of llvm-gcc 4, but I compared it to the newest SVN version today, and it doesn't seem that DeclareEmit has been changed significantly. Thx, -- Domagoj Babic http://www.domagoj.info/ http://www.calysto.org/

>> It has a section on "structural analysis" that you will find useful. >> >> Why do you want "for statements"? >> > > Thank you for this info, Chris. > I'm doing this 'cause I'm making a backend for a virtual machine > assembly has an instruction which is very similar to 'for' statement. > I know this seems quite

...practice it made the > code take significantly more space and run slower. :) This is good to know, I've never implemented it myself. I'm a bit surprised that the code took significantly more space. Cheers, -- Domagoj Babic http://www.domagoj.info/ http://www.calysto.org/

...parameter to llvm-gcc)? If there is no way to disable it, could anyone suggest where should I look into the code and whether you would accept a patch that would add an option that disables the optimization? Thank you, -- Domagoj Babic http://www.domagoj.info/ http://www.calysto.org/

...here are no guarantees whatsoever. I'm really hopeful that this will be solved in a more satisfying manner soon. Beautiful intermediate form is a big plus of LLVM, but you need to support it all the way... Cheers, -- Domagoj Babic http://www.domagoj.info/ http://www.calysto.org/ -------------- next part -------------- A non-text attachment was scrubbed... Name: collect2 Type: application/octet-stream Size: 1846 bytes Desc: not available URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20071030/75872f76/attachment.obj>

---- Original message ---- >Date: Fri, 24 Aug 2007 22:23:39 -0700 >From: Chris Lattner <sabre at nondot.org> >Subject: Re: [LLVMdev] constructing 'for' statement from LLVM bitcode >To: LLVM Developers Mailing List <llvmdev at cs.uiuc.edu> > > >On Aug 24, 2007, at 10:07 PM, Seung Jae Lee wrote: > >> Do you have any idea on how I can construct

Hi everybody! I recently started using llvm in a project on inferring additional information about pointers based on their types, casts, etc. The following simple example is giving me a headache :): typedef struct { int a; short b, c; int d, e, f; } foo; void bar(foo f) { short s; s = f.b; } int main(void) { foo p; bar(p); } Because llvm doesn't allow structures and arrays

I've been playing around with llvm lately and I was wondering something about the bitcode instructions for basic arithmetic. Is there any plan to provide instructions that perform widening multiply, or add with carry? It might be written as: mulw i32 %lhs %rhs -> i64 ; widening multiply addw i32 %lhs %rhs -> i33 ; widening add addc i32 %lhs, i32 %rhs, i1 %c -> i33 ; add with carry

On Thu, Apr 21, 2011 at 2:43 PM, Eric Christopher <echristo at apple.com>wrote: > > On Apr 20, 2011, at 4:34 PM, Talin wrote: > > > Also, looking in the SVN repo, it appears that some of the files in > include/llvm/ExecutionEngine have not been touched in a long time, and that > scares me a bit - what's the current state of the LLVM interpreter? > > > >