similar to: splint / lint-like syntax checker for R

Hi -- I've added splint annotations to rsync code from CVS. The resulting work-in-progress is at ftp://people.redhat.com/jbj/rsync-splint.tar.gz Splint is a lightweight assertion checker, details at http://www.splint.org Any interest in including splint annotations in rsync source code? If so, inquire privately and I'll try to assist. 73 de Jeff -- Jeff Johnson ARS N3NPQ

I am trying to understand idea for splint, but it use Fortran code. Does anyone know how to see that Fortran code? Is splint a not-knot spline method? Thanks, jfm [[alternative HTML version deleted]]

Hi Arjen, just to revive the static code analysis thread... It would be nice if you could expose your ideas and the results of your tests. Also, apart from Splint, have you tested any other systems?

Hi, I have a little request, which should be considered "very very very very low priority" but would be useful nonetheless... in Makefile.in there are two lines with additional space at end of line and my editor strip it, so I must hand-edit the cygwin-specific patch in order to create the package (nothing serious: only patch is using /usr instead of /usr/local as a default prefix and

Hello, I can not install rsync 2.5.5. on a Caldera Open Unix 8.0.0 Operating System. After ./configure I enter the command "make" and I get the following Message: UX:make: FEHLER: Zeile 66: Syntaxfehler Where can I get help? I add the files: config.log and Makefile. P. Schnickmann -------------- next part -------------- This file contains any messages produced by compilers while running

Greetings, I'm using centos3 to study for rhce, centos came highly recommended in Michael Jang's rhce study guide. I've been having trouble isntalling via nfs, an early exercise in the book, and googling around leads me to think it might be an anaconda bug. I tried following the anaconda link on the "upgrading from 3.1" page but it's actually a duplicate of the

I''m new to Ruby and RoR; I was messing around with it today and had trouble with error codes. Specifically, the ruby syntax checker frequently spits out ''syntax error'' with the last line of the code as the error line (the error is nowhere near the last line). This is something I''d expect in a pre 1.0 version, but ruby is at 1.8.4, is the ruby syntax

On 05.06.2012 02:56, reed kotler wrote: > Just as an example, I picked totally at random, one c++ program to run > the google code style checker. > > There are clearly some valid points it found. I think it would good to > start to adapt this tool > or write a new tool to do style checking and to start to better > formalize the llvm rules. > > I ran it against

Just as an example, I picked totally at random, one c++ program to run the google code style checker. There are clearly some valid points it found. I think it would good to start to adapt this tool or write a new tool to do style checking and to start to better formalize the llvm rules. I ran it against Target/Target.cpp Target.cpp:0: No copyright message found. You should have a line:

Did you agree with the comment about the use of long long from the tool? Anyway, it's not really important to me that we adopt any specific google code rules over the current llvm rule. The point is to that Google has a deeper set of conventions and it would be a good starting point for us. Also, they have a tool which checks a lot of this. The lack of a tool for llvm style check is what

Hi, I just updated my image from CVS, compiled and reinstalled it. Now whenever I make calls from my Grandstream phone to my X-Lite soft-phone, the call does not complete correctly. Scenario: 1. I take the GS off hook and dial 1100 (the extension of the x-lite phone). 2. The x-lite phone rings properly. 3. The user at the x-lite site answers the call. 4. The GS phone continues to

2010/2/17 Arnaud Quette > 2010/2/17 Arjen de Korte: > > Citeren Charles Lepple: > > > >> I wonder if there are any cross-compilation targets we could use to test > >> some of the word-size assumptions. Also, we could add in some static > >> analysis tools. > > FYI, I submitted NUT to the Coverity Scan program > (http://scan.coverity.com) last

Hello everybody, When I execute the "sip show peers" command in the asterisk console I always get the following notice, repeated 15 times after the sip show peers output. [Dec 21 03:38:31] NOTICE[12693]: utils.c:1074 ast_wait_for_output: Timed out trying to write This happens on a freshly installed 1.6.1.12 and a 1.6.1.6 box that I am running. Both of them use Debian Linux (lenny) on

Some of you have been following our progress on http://farfon.convergence.com.pk as we blundered our way through the development of a low-cost ethernet IP phone that does IAX and augments the client options currently available for the kick-assterisk server. With help from the denizens of #asterisk and kind words of advice from Mr. Spencer and the rest of the gang ... we're proud to have

On Tue, Jul 26, 2011 at 10:20 AM, Chris Lattner <clattner at apple.com> wrote: > > On Jun 21, 2011, at 8:05 AM, Kostya Serebryany wrote: > > > Hi, > > What would be our next steps in getting ASan into the LLVM trunk? > > I'd like to do it in two steps, first for the LLVM part with minimal > tests and then for the run-time library and all tests. > >

My data: > dput(mydata) structure(list(V1 = c(1328565067, 1328565067.05, 1328565067.1, 1328565067.15, 1328565067.2, 1328565067.25), V2 = c(0.0963890795246276, 0.227296347215609, 0.240972698811569, 0.221208948983498, 0.230898231782485, 0.203282153087549), V3 = c(0.0245045248243853, 0.0835679411703579, 0.0612613120609633, 0.058568910563872, 0.0511868450318788, 0.0557714205674231 )), .Names =

On Jun 21, 2011, at 8:05 AM, Kostya Serebryany wrote: > Hi, > What would be our next steps in getting ASan into the LLVM trunk? > I'd like to do it in two steps, first for the LLVM part with minimal tests and then for the run-time library and all tests. > The current ASan's source repository will probably stay the primary home for the run-time library and tests as we plan

Hi Eric, Can you send again your patches, to the nut list this time. It has been ripped off the mail, since it's violating Eaton Policy. Le dimanche 16 mars 2008 ? 15:38 -0400, Eric Wilde a ?crit : > I am enclosing several modules from NUT 2.2.1 that I have enhanced to > provide additional features. I sent these to Russell Kroll a while > back but I think it was right about the

Hello all, In <https://reviews.llvm.org/D41986#977215> it was brought up that there are at least two parties interested in having DWARF5 accelerator tables implemented, so I'm writing this email to see if there's anyone else interested in this topic, and to try to synchronize our efforts. Our interest for this stems from a desire to make dwarf parsing fast on non-apple targets

Hi List, I know this a little outside asterisk but I couldn't resist. I wrote just a little perl toy I wrote to find words in existing phone numbers. For example, using the script on Digium's toll free line, you discover that it can be 877-LINUX-ME but also 8775-GNU-WOE or 8775-HOT-ZOE ;-) Here's the output: [jhiver@fly jhiver]$ perl detect-strings.pl 8775468963 GNU (468)