search for: splint

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

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

Greetings - Does CRAN or someone similar make a splint / lint-like syntax checker for R? I realize that both ESS and the debug package and similar tools have debugging and error analysis features, but those appear to require running the code through the R buffer. I'd like something that did basic syntax and object-name verification for code tha...

...sed.txt nm *.o */*.o |grep 'T ' | awk '{print $$3}' | sort -u > nmfns.txt - comm -13 nmused.txt nmfns.txt + comm -13 nmused.txt nmfns.txt # 'check' is the GNU name, 'test' is the name for everybody else :-) .PHONY: check test @@ -154,14 +156,14 @@ # Run the SPLINT (Secure Programming Lint) tool. <www.splint.org> .PHONY: splint -splint: +splint: splint +unixlib +gnuextensions -weak rsync.c rsync.dvi: doc/rsync.texinfo texi2dvi -o $@ $< -rsync.ps: rsync.dvi +rsync.ps: rsync.dvi dvips -ta4 -o $@ $< rsync.pdf: doc/rsync.texinfo -- Lapo...

...ools. > > FYI, I submitted NUT to the Coverity Scan program > (http://scan.coverity.com) last september. > 3 pings later, I still have no news, nor at least a first contact! > maybe some of you may want to second that request? > > > Regarding the latter, I tried running 'splint' on a couple of source > files a > > while back. It didn't take long to realize that this might indeed improve > > the quality of the code. But this will be a monumental task to do this > NUT > > wide, since without added markup (to tell splint what we're doing),...

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?

...ed from a binary or some other source tree, # if you want. installcheck: $(CHECK_PROGS) POSIXLY_CORRECT=1 TOOLDIR=`pwd` rsync_bin="$(bindir)/rsync" srcdir="$(srcdir)" $(srcdir)/runtests.sh # TODO: Add 'dist' target; need to know which files will be included # Run the SPLINT (Secure Programming Lint) tool. <www.splint.org> .PHONY: splint splint: splint +unixlib +gnuextensions -weak rsync.c rsync.dvi: doc/rsync.texinfo texi2dvi -o $@ $< rsync.ps: rsync.dvi dvips -ta4 -o $@ $< rsync.pdf: doc/rsync.texinfo texi2dvi -o $@ --pdf $<

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 =

...long these lines? Is there any way of guessing whether an update should solve my problems, or that a full re-install with freshly downloaded 3.3 isos would be better? -- Robert Thomas (beau) Hayes Link beau at oblios-cap.com (c)2004ISR; http://www.semanticrestructuring.com/ "War on Terror? Splint on Smallpox."

Hallo, I'm facing a problem and I would really appreciate your support. I have to translate some Matalb code in R that I don't know very well but I would like to. I have to interpolate 5 point with a cubic spline function and then I expect my function returns the Y value as output a specific X value inside the evaluation range. Let's suppose that: 1- *X = [-10, -5, 0, 5, 10]* 2

...stantly. Generally I've been running it on a machine with 5G of memory -but it has to contend with other processes for resources, I have also run it on its own on a 1G system -but quartz was atrocious on this (I haven't tried flint yet). If the management agrees then I'll probably try splinting the index (now 12-13G) over 2 machines and running flint -obviously the fact that it's beta will give them a bit of a problem, but it looks like it's that or nothing (or Lucene). Cheers, jeremy. -------------------------------------------------------------------- mail2web - Check your...

Howdy. Is this part of the centos package? Did I just miss something when I installed? Supposedly I'll want to know this for rhce... -- Robert Thomas (beau) Hayes Link beau at oblios-cap.com (c)2004ISR; http://www.semanticrestructuring.com/ "War on Terror? Splint on Smallpox."

...68963 LINUX (54689) matches 8775468963 ME (63) matches 8775468963 MU (68) matches 8775468963 MUZO (6896) matches 8775468963 NU (68) matches 8775468963 OF (63) matches 8775468963 SKI (754) matches 8775468963 SKIM (7546) matches 8775468963 SKIN (7546) matches 8775468963 SLIM (7546) matches 8775468963 SPLINT (775468) matches 8775468963 TWO (896) matches 8775468963 UP (87) matches 8775468963 US (87) matches 8775468963 WOE (963) matches 8775468963 ZOE (963) matches 8775468963 Regards, Jean-Michel. -------------- next part -------------- A non-text attachment was scrubbed... Name: detect-strings.pl.gz Ty...

.../manuals/enterprise/RHEL-3-Manual/x8664-multi-install-guide/s1-steps-install-cdrom.html#S2-STEPS-MAKE-CD http://freeunix.dyndns.org:8088/site2/howto/Burn_em_Baby.shtml -- Robert Thomas (beau) Hayes Link beau at oblios-cap.com (c)2004ISR; http://www.semanticrestructuring.com/ "War on Terror? Splint on Smallpox."

...html latex example rdist.earth text html latex example set.panel text html latex example sim.rf text html latex example smooth.2d text html latex example splint text html latex example sreg text html latex example stats text html latex example stats.bin text html latex example summary.Krig...

Hi everyone Following are a number of build-system cleanup patches. Some of them are prep-work for a possible upcoming automake/gnulib introduction. Best regards, Tiziano

I''ve seen several postings where FastCGI is being used with RoR projects, yet, most of the material I''ve read (Dave Thomas'' book, online articles, etc) recommend not using FastCGI anymore because it is a dormant project and hasn''t been updated since 2003 (I think???). So, I went out and got Simple CGI instead. It had to be compiled and installed from

...html latex example set.panel text html latex example sim.Krig text html latex example sim.rf text html latex example smooth.2d text html latex example splint text html latex example sreg text html latex example stats text html latex example stats.bin text html latex example summary.Krig...

It seems like everyone now has a RoR type framework: Perl: http://dev.catalyst.perl.org/ PHP: http://cakephp.org/ Python: http://www.django.com ASP.NET: http://www.castleproject.org/index.php/Main_Page etc., etc. Has a revolution begun with the birth of these "Web 2.0" frameworks? Its going to be interesting when the tech media begins its mass hype like it did SOAP, XML, etc. a

I'm using samba 3.0.24. I create my Makefile for cross compiling smbd nmbd testparm and CP850.so: Makefile: ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ # Flags divers #COFLAGS=-O2 CWFLAGS= -g -Wall # Cross compile tools CC=mips-linux-gcc #CC=gcc LINT=splint SHLD= $(CC) -O -D_SAMBA_BUILD_ LDSHFLAGS=-shared -Wl,-Bsymbolic ############################################################# # O U T P U T B I N A R Y N A M E # ############################################################# #############################################...