CPAchecker Report

Find only exact matches

Matches in value-assignements (V): {{numOfValueMatches}}

Matches in edge-description: {{numOfDescriptionMatches}}

        
            Rank Scope 

              -V-
            
              {{line.bestrank}}
            
              {{line.desc}}
            
                {{fault.rank}}.
              
                {{fault.score}}
              
                Details:
              
                Relevant lines:
                
                    {{elem.line}}
                    {{elem.desc}}

{{sourceFiles[selectedSourceFile]}}

{{fault.rank}}.	{{fault.score}}	Details:
Relevant lines: {{elem.line}} {{elem.desc}}