How to use splint on the win32 platform?

arcliber · Jul 7, 2006

I have download the splint-3.1.1
but i donnot know how to use and configure it
could someone do me a favor,
thx.

Clever Monkey · Jul 7, 2006

I have download the splint-3.1.1
but i donnot know how to use and configure it
could someone do me a favor,

Best do a bit of homework, first. Plenty of assistance, examples and
docs in the usual places. I found these with Google:

<http://www.cs.virginia.edu/mailman-2.1.5/listinfo/splint-discuss>
<http://www.splint.org/>

splint: where is the memory leak?	10	Jan 8, 2010
Splint warnings about dependent storage returned as implicitly only.	1	May 20, 2013
Splint errors	2	Jul 24, 2010
Why is this expression detected as undefined by GCC, Splint?	46	Dec 30, 2010
How to use PDF-lib and how to center each line of texts on the page?	1	Aug 16, 2023
Is it because of diffrence between bcc32 and gcc?	4	May 7, 2006
WIN32 - Update Text in a Window in order to show its size in Pixels and coordinates	0	Oct 4, 2023
How Do I Set text on an Image and use the image as a border?	7	Mar 16, 2023

Ask a Question