Page Information

Title:	WIN01-C. Do not forcibly terminate execution
Author:	Aaron Ballman	Jul 12, 2013
Last Changed by:	Kris Kafka	Feb 28, 2021
Tiny Link: (useful for email)	https://wiki.sei.cmu.edu/confluence/x/oNUxBQ
Export As:	Word · PDF

Parent Page     Page: Rec. 51. Microsoft Windows (WIN)

• android-inapplicable
• concurrency
• win
• recommendation

Time	Editor
Feb 28, 2021 16:02	Kris Kafka	View Changes
Added PC-lint Plus to Automated Detection Table
Apr 02, 2019 06:26	Joerg Herter	View Changes
Nov 16, 2017 14:41	Will Snavely	View Changes
Mar 31, 2015 23:44	Will Snavely	View Changes
Mar 30, 2015 16:32	Will Snavely

External Links (8)
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    msdn.microsoft.com/en-us/library/windows/desktop/ms682659(v…
    https://www.kb.cert.org/vulnotes/bymetric?searchview&query=…
    msdn.microsoft.com/en-us/library/windows/desktop/ms682658(v…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    msdn.microsoft.com/en-us/library/windows/desktop/ms686717(v…
    msdn.microsoft.com/en-us/library/windows/desktop/ms686714(v…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…

SEI CERT C Coding Standard (9)     Page: PC-lint Plus     Page: RuleChecker_V     Page: CodeSonar     Page: RuleChecker     Page: PC-lint Plus_V     Page: CodeSonar_V     Page: Astrée     Page: Astrée_V     Home page: SEI CERT C Coding Standard