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 configure a database in Python script website?	2	Jan 5, 2025
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
I cannot find a suitable guide on how to use jzy3d, can anyone help me?	1	Jan 5, 2024

Ask a Question