tools/infer/test/Checkers.json
author Robert Bartlensky <rbartlensky@mozilla.com>
Thu, 02 Aug 2018 10:53:15 +0100
changeset 1657237 95e2c5fd3e3c8a8c24ace37a89218029ce17426a
permissions -rw-r--r--
Bug 1479503: Check infer in ./mach static-analysis autotest. MozReview-Commit-ID: JxdoprwvXRY

[
    {
        "bug_class": "PROVER", 
        "bug_trace": [
            {
                "column_number": -1, 
                "description": "start of procedure leak()", 
                "filename": "tools/infer/test/Checkers.java", 
                "level": 0, 
                "line_number": 6
            }, 
            {
                "column_number": -1, 
                "description": "", 
                "filename": "tools/infer/test/Checkers.java", 
                "level": 0, 
                "line_number": 8
            }
        ], 
        "bug_type": "RESOURCE_LEAK", 
        "bug_type_hum": "Resource Leak", 
        "censored_reason": "", 
        "column": -1, 
        "file": "tools/infer/test/Checkers.java", 
        "hash": "56806153823413731f2e2166ed8d30a0", 
        "key": "Checkers.java|leak|RESOURCE_LEAK", 
        "kind": "ERROR", 
        "line": 8, 
        "node_key": "3a2af627d5d1f10e1994f6259cf18e4c", 
        "procedure": "void Checkers.leak()", 
        "procedure_id": "Checkers.leak():void.e21648e10d3037f4559cdb7c08642c84", 
        "procedure_start_line": 6, 
        "qualifier": "resource of type `java.io.FileReader` acquired by call to `new()` at line 8 is not released after line 8.", 
        "severity": "HIGH", 
        "visibility": "user"
    }, 
    {
        "bug_class": "PROVER", 
        "bug_trace": [
            {
                "column_number": -1, 
                "description": "start of procedure error1()", 
                "filename": "tools/infer/test/Checkers.java", 
                "level": 0, 
                "line_number": 16
            }, 
            {
                "column_number": -1, 
                "description": "", 
                "filename": "tools/infer/test/Checkers.java", 
                "level": 0, 
                "line_number": 17
            }, 
            {
                "column_number": -1, 
                "description": "", 
                "filename": "tools/infer/test/Checkers.java", 
                "level": 0, 
                "line_number": 19
            }
        ], 
        "bug_type": "NULL_DEREFERENCE", 
        "bug_type_hum": "Null Dereference", 
        "censored_reason": "", 
        "column": -1, 
        "file": "tools/infer/test/Checkers.java", 
        "hash": "6de26e7c66c71b1114ad233679d55640", 
        "key": "Checkers.java|error1|NULL_DEREFERENCE", 
        "kind": "ERROR", 
        "line": 19, 
        "node_key": "c281f77c6dae544ee5fb7d5e2bb35118", 
        "procedure": "void Checkers.error1()", 
        "procedure_id": "Checkers.error1():void.59417424d80960700a32012973e98db5", 
        "procedure_start_line": 16, 
        "qualifier": "object `str` last assigned on line 17 could be null and is dereferenced at line 19.", 
        "severity": "HIGH", 
        "visibility": "user"
    }, 
    {
        "bug_class": "PROVER", 
        "bug_trace": [
            {
                "column_number": -1, 
                "description": "start of procedure error2()", 
                "filename": "tools/infer/test/Checkers.java", 
                "level": 0, 
                "line_number": 25
            }, 
            {
                "column_number": -1, 
                "description": "", 
                "filename": "tools/infer/test/Checkers.java", 
                "level": 0, 
                "line_number": 26
            }, 
            {
                "column_number": -1, 
                "description": "", 
                "filename": "tools/infer/test/Checkers.java", 
                "level": 0, 
                "line_number": 27
            }
        ], 
        "bug_type": "NULL_DEREFERENCE", 
        "bug_type_hum": "Null Dereference", 
        "censored_reason": "", 
        "column": -1, 
        "file": "tools/infer/test/Checkers.java", 
        "hash": "39e021b634ab428af7be2034688491a7", 
        "key": "Checkers.java|error2|NULL_DEREFERENCE", 
        "kind": "ERROR", 
        "line": 27, 
        "node_key": "c281f77c6dae544ee5fb7d5e2bb35118", 
        "procedure": "void Checkers.error2()", 
        "procedure_id": "Checkers.error2():void.e9146d80ba20c908c11d08947cd89d06", 
        "procedure_start_line": 25, 
        "qualifier": "object `str` last assigned on line 26 could be null and is dereferenced at line 27.", 
        "severity": "HIGH", 
        "visibility": "user"
    }
]