similar to: Calysto v1.5 reports on ssh v4.6p1

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 not check the usage of library functions (for instance, if

From: Christian Hesse <mail at eworm.de> Both files can be used, so mention both in error messages. Signed-off-by: Christian Hesse <mail at eworm.de> --- dh.c | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/dh.c b/dh.c index 4c639ac..450f5c4 100644 --- a/dh.c +++ b/dh.c @@ -153,8 +153,8 @@ choose_dh(int min, int wantbits, int max) if ((f =

Seung, On 8/25/07, Chris Lattner <sabre at nondot.org> wrote: > Ok. Note that LLVM can represent irreducible loops. You can handle > this through code duplication. > -Chris If you are willing to invest more effort into a more complicated analysis, in many cases you can even avoid code duplication. See this paper for details: @inproceedings{erosa94taming, author = {Ana M.

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 C++ parser is far from being complete. It seems to me that everything is

On 8/29/07, Domagoj Babic <babic.domagoj at gmail.com> wrote: > Seung, > > On 8/25/07, Chris Lattner <sabre at nondot.org> wrote: > > Ok. Note that LLVM can represent irreducible loops. You can handle > > this through code duplication. > > -Chris > > > If you are willing to invest more effort into a more complicated analysis, > in many cases you

Hi, I have this piece of code: tm = local ? localtime(&curr) : gmtime(&curr); if (!tm) return NULL; which translates into something like: ---------------------------------------------- entry: %iftmp.0 = alloca %struct.tm*, align 8 %tm = alloca %struct.tm*, align 8 ... // Declares iftmp.0 as iftmp.0 call void @llvm.dbg.declare( { }* %iftmp.0, { }* bitcast

Daniel, On 8/30/07, Daniel Berlin <dberlin at dberlin.org> wrote: > On 8/29/07, Domagoj Babic <babic.domagoj at gmail.com> wrote: > > Seung, > > > > On 8/25/07, Chris Lattner <sabre at nondot.org> wrote: > > > Ok. Note that LLVM can represent irreducible loops. You can handle > > > this through code duplication. > > > -Chris >

Hi all, I have the same problem. My guess is that when a structure is passed as a parameter, you cast it into an array for optimization reasons (less parameters, less stack space). This is, certainly, a reasonable optimization, but makes inter-procedural static analysis more complex. Is there a way to disable it (my guess is that this should be doable by passing some parameter to llvm-gcc)? If

Hi all, After a long time, I've updated to new LLVM. Everything compiles fine (which is great), but I see that compiling/linking into bitcode files still hasn't been solved in a satisfying way. Until that gets resolved, I'm sending an updated script, that will do the trick. Usage: cd $LLVM_PATH/libexec/gcc/x86_64-unknown-linux-gnu/4.0.1/ mv collect2 llvm-collect2 copy the attached

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

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

Along the release of Ruby on Rails 1.0 and Prototype 1.4.0, I’m proud to announce that script.aculo.us 1.5.0 final is also out-of-the- release-candidate phase and is finally available! Many, many thanks to all you contributors, bug hunters and users of script.aculo.us out there! For detailed information about what’s new in this release, please refer to the CHANGELOG. There also are some

Read more on it here: http://mir.aculo.us/articles/2005/10/09/script-aculo-us-v1-5_rc3- second-release-candidate Note that it''s rc3 that follows rc1, because rc2 was the version used for the initial Rails import of script.aculo.us V1.5_rc. Thanks to all the contributors, bug reporters and testers! Thomas

I have no wish to spam this list, but I''ve seen several people mention they have used my "xen-tools" scripts to create Debian Xen instances. Recently I released version 1.5, both as a tarball [1], and also as a package in Debian''s unstable distribution.[2] This now allows the creation of CentOS4 images via the use of the ''rpmstrap'' command.

Oleg Smolsky wrote: > Hey all, > > is anyone gonna make a debian package for stable or testing? It's just > that building llvm/cfrontend drives me crazy :) We don't have Debian packages for LLVM 1.5, but we do have a pre-compiled GCC frontend for i386/Linux. Does that not work on Debian? > > Best regards, > Oleg. > >

TTA-based Co-design Environment (TCE) is a toolset for designing application-specific processors based on the Transport Triggered Architecture (TTA). The toolset provides a complete retargetable co-design flow from high-level language programs down to synthesizable VHDL and parallel program binaries. Processor customization points include the register files, function units, supported operations,

Hey all, is anyone gonna make a debian package for stable or testing? It's just that building llvm/cfrontend drives me crazy :) Best regards, Oleg.

On Thu, 2005-05-19 at 16:27 -0500, John Criswell wrote: > Oleg Smolsky wrote: > > is anyone gonna make a debian package for stable or testing? It's just > > that building llvm/cfrontend drives me crazy :) Bug fixes for 1.4 should be uploaded today or tomorrow; 1.4 has to get uploaded first in order to fix some outstanding bugs. > We don't have Debian packages for LLVM