Page Information

Title:	Coverity
Author:	Pranjal Jumde	Oct 05, 2012
Last Changed by:	David Svoboda	Feb 08, 2024
Tiny Link: (useful for email)	https://wiki.sei.cmu.edu/confluence/x/2jZGBQ
Export As:	Word · PDF

SEI CERT Oracle Coding Standard for Java (32)     Page: NUM00-J. Detect or prevent integer overflow     Page: EXP01-J. Do not use a null in a case where an object is required     Page: SER06-J. Make defensive copies of private mutable components during deserialization     Page: ERR05-J. Do not let checked exceptions escape from a finally block     Page: MET12-J. Do not use finalizers     Page: VNA03-J. Do not assume that a group of calls to independently atomic methods is atomic     Page: ERR04-J. Do not complete abruptly from a finally block     Page: FIO16-J. Canonicalize path names before validating them     Page: SEC02-J. Do not base security checks on untrusted sources     Page: THI00-J. Do not invoke Thread.run()     Page: OBJ04-J. Provide mutable classes with copy functionality to safely allow passing instances to untrusted code     Page: SER07-J. Do not use the default serialized form for classes with implementation-defined invariants     Page: FIO09-J. Do not rely on the write() method to output integers outside the range 0 to 255     Page: VNA02-J. Ensure that compound operations on shared variables are atomic     Page: NUM02-J. Ensure that division and remainder operations do not result in divide-by-zero errors     Page: LCK10-J. Use a correct form of the double-checked locking idiom     Page: IDS07-J. Sanitize untrusted data passed to the Runtime.exec() method     Page: ERR09-J. Do not allow untrusted code to terminate the JVM     Page: OBJ10-J. Do not use public static nonfinal fields     Page: EXP00-J. Do not ignore values returned by methods     Page: ERR00-J. Do not suppress or ignore checked exceptions     Page: MSC03-J. Never hard code sensitive information     Page: SER01-J. Do not deviate from the proper signatures of serialization methods     Page: MSC02-J. Generate strong random numbers     Page: MET10-J. Follow the general contract when implementing the compareTo() method     Page: IDS00-J. Prevent SQL injection     Page: LCK07-J. Avoid deadlock by requesting and releasing locks in the same order     Page: SER03-J. Do not serialize unencrypted sensitive data     Page: EXP02-J. Do not use the Object.equals() method to compare two arrays     Page: FIO04-J. Release resources when they are no longer needed     Page: EXP03-J. Do not use the equality operators when comparing values of boxed primitives     Page: VNA00-J. Ensure visibility when accessing shared primitive variables

Parent Page     Page: Rule or Rec. CC. Analyzers

• analyzer

Time	Editor
Feb 08, 2024 09:03	David Svoboda	View Changes
Jul 13, 2023 13:36	David Svoboda	View Changes
Jun 06, 2023 12:22	David Svoboda	View Changes
Apr 19, 2023 14:04	David Svoboda	View Changes
Apr 06, 2023 08:04	David Svoboda

External Links (33)
    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…
    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 Oracle Coding Standard for Java (1)     Page: Coverity_V