Page Information

Title:	Splint
Author:	Astha Singhal	Feb 10, 2012
Last Changed by:	David Svoboda	Sep 27, 2023
Tiny Link: (useful for email)	https://wiki.sei.cmu.edu/confluence/x/jNUxBQ
Export As:	Word · PDF

SEI CERT C Coding Standard (24)     Page: INT13-C. Use bitwise operators only on unsigned operands     Page: FIO34-C. Distinguish between characters read from a file and EOF or WEOF     Page: MEM35-C. Allocate sufficient memory for an object     Page: FIO30-C. Exclude user input from format strings     Page: MSC07-C. Detect and remove dead code     Page: FLP06-C. Convert integers to floating point for floating-point operations     Page: EXP30-C. Do not depend on the order of evaluation for side effects     Page: SIG30-C. Call only asynchronous-safe functions within signal handlers     Page: ARR01-C. Do not apply the sizeof operator to a pointer when taking the size of an array     Page: STR11-C. Do not specify the bound of a character array initialized with a string literal     Page: DCL30-C. Declare objects with appropriate storage durations     Page: DCL01-C. Do not reuse variable names in subscopes     Page: DCL15-C. Declare file-scope objects or functions that do not need external linkage as static     Page: EXP35-C. Do not modify objects with temporary lifetime     Page: INT01-C. Use rsize_t or size_t for all integer values representing the size of an object     Page: MEM30-C. Do not access freed memory     Page: MEM31-C. Free dynamically allocated memory when no longer needed     Page: MSC12-C. Detect and remove code that has no effect or is never executed     Page: EXP12-C. Do not ignore values returned by functions     Page: STR30-C. Do not attempt to modify string literals     Page: DCL36-C. Do not declare an identifier with conflicting linkage classifications     Page: EXP34-C. Do not dereference null pointers     Page: INT07-C. Use only explicitly signed or unsigned char type for numeric values     Page: EXP33-C. Do not read uninitialized memory

Parent Page     Page: EE. Analyzers

• analyzer

Time	Editor
Sep 27, 2023 08:26	David Svoboda	View Changes
Jul 13, 2023 13:28	David Svoboda	View Changes
Jun 06, 2023 12:24	David Svoboda	View Changes
Apr 19, 2023 14:01	David Svoboda	View Changes
Apr 06, 2023 07:59	David Svoboda

External Links (26)
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…

SEI CERT C Coding Standard (1)     Page: Splint_V