tools/infer/test/Starvation.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": "[Trace 1] `void Starvation.lockAThenB()`", 
                "filename": "tools/infer/test/Starvation.java", 
                "level": 0, 
                "line_number": 6
            }, 
            {
                "column_number": -1, 
                "description": "locks `this.Starvation.lockA` in class `Starvation*`", 
                "filename": "tools/infer/test/Starvation.java", 
                "level": 0, 
                "line_number": 6
            }, 
            {
                "column_number": -1, 
                "description": "locks `this.Starvation.lockB` in class `Starvation*`", 
                "filename": "tools/infer/test/Starvation.java", 
                "level": 1, 
                "line_number": 7
            }, 
            {
                "column_number": -1, 
                "description": "[Trace 2] `void Starvation.lockBThenA()`", 
                "filename": "tools/infer/test/Starvation.java", 
                "level": 0, 
                "line_number": 14
            }, 
            {
                "column_number": -1, 
                "description": "locks `this.Starvation.lockB` in class `Starvation*`", 
                "filename": "tools/infer/test/Starvation.java", 
                "level": 0, 
                "line_number": 14
            }, 
            {
                "column_number": -1, 
                "description": "locks `this.Starvation.lockA` in class `Starvation*`", 
                "filename": "tools/infer/test/Starvation.java", 
                "level": 1, 
                "line_number": 15
            }
        ], 
        "bug_type": "DEADLOCK", 
        "bug_type_hum": "Deadlock", 
        "censored_reason": "", 
        "column": -1, 
        "file": "tools/infer/test/Starvation.java", 
        "hash": "043d28a94431b4c573b949b8570fb318", 
        "key": "Starvation.java|lockAThenB|DEADLOCK", 
        "kind": "ERROR", 
        "line": 6, 
        "node_key": "9c5d6d9028928346cc4fb44cced5dea1", 
        "procedure": "void Starvation.lockAThenB()", 
        "procedure_id": "Starvation.lockAThenB():void.b7eb3955306c498af42d6336f52a796f", 
        "procedure_start_line": 0, 
        "qualifier": "Potential deadlock.\nTrace 1 (starts at `void Starvation.lockAThenB()`) first locks `this.Starvation.lockA` in class `Starvation*` (line 6 in `void Starvation.lockAThenB()`) and then locks `this.Starvation.lockB` in class `Starvation*` (line 7 in `void Starvation.lockAThenB()`).\nTrace 2 (starts at `void Starvation.lockBThenA()`), first locks `this.Starvation.lockB` in class `Starvation*` (line 14 in `void Starvation.lockBThenA()`) and then locks `this.Starvation.lockA` in class `Starvation*` (line 15 in `void Starvation.lockBThenA()`).", 
        "severity": "HIGH", 
        "visibility": "user"
    }
]