Huge thanks to our Platinum Members Endace and LiveAction,
and our Silver Member Veeam, for supporting the Wireshark Foundation and project.

Wireshark-bugs: [Wireshark-bugs] [Bug 4751] clang static code analyzer errors

Date: Mon, 7 Jun 2010 10:26:12 -0700 (PDT)
https://bugs.wireshark.org/bugzilla/show_bug.cgi?id=4751

Bill Meier <wmeier@xxxxxxxxxxx> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|Major                       |Normal

--- Comment #2 from Bill Meier <wmeier@xxxxxxxxxxx> 2010-06-07 13:26:02 EDT ---
When I ran clang scan-build without
  -analyzer-check-dead-stores

(but with:
  -analyzer-check-objc-mem               
  -analyzer-check-objc-methodsigs        
  -analyzer-check-objc-missing-dealloc   
  -analyzer-check-objc-unused-ivars      
  -analyzer-check-security-syntactic     
)

there were only 40 errors reported.

Reviewing a sample of the errors shows at least some to be 'false positives'
and others to be pretty obscure or what I would call 'pathological' (ie
extremely unlikely to actually happen).

I'll do a complete review as I have time (and the patience) since some of the
errors have a "path length" of 10 - 20 steps.

---------------

Argument with 'nonnull' attribute passed null        1    
Assigned value is garbage or undefined            5    
Dereference of null pointer                27    
Division by zero                    2    
Pass-by-value argument in function call is undefined    2    
Result of operation is garbage or undefined            3

-- 
Configure bugmail: https://bugs.wireshark.org/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.