1+ [
2+ {
3+ "tags" : [
4+ {
5+ "Category" : [
6+ " Deadcode"
7+ ]
8+ }
9+ ],
10+ "severity" : " Info" ,
11+ "multipiece" : {
12+ "group_text" : " Logical lines of code (LLoC) summary" ,
13+ "group_loc" : null ,
14+ "pieces" : [
15+ {
16+ "loc" : null ,
17+ "text" : " live: 12" ,
18+ "context" : null
19+ },
20+ {
21+ "loc" : null ,
22+ "text" : " dead: 0" ,
23+ "context" : null
24+ },
25+ {
26+ "loc" : null ,
27+ "text" : " total lines: 12" ,
28+ "context" : null
29+ }
30+ ]
31+ }
32+ },
33+ {
34+ "tags" : [
35+ {
36+ "Category" : [
37+ " Race"
38+ ]
39+ }
40+ ],
41+ "severity" : " Warning" ,
42+ "multipiece" : {
43+ "group_text" : " Memory location myglobal (race with conf. 110)" ,
44+ "group_loc" : {
45+ "file" : " src/example.c" ,
46+ "line" : 4 ,
47+ "column" : 5 ,
48+ "byte" : 51631 ,
49+ "endLine" : 4 ,
50+ "endColumn" : 13 ,
51+ "endByte" : 51639
52+ },
53+ "pieces" : [
54+ {
55+ "loc" : {
56+ "file" : " src/example.c" ,
57+ "line" : 10 ,
58+ "column" : 3 ,
59+ "byte" : 52116 ,
60+ "endLine" : 10 ,
61+ "endColumn" : 22 ,
62+ "endByte" : 52135
63+ },
64+ "text" : " write with [mhp:{tid=[main, t_fun@src/example.c:17:3-17:40#top]}, lock:{mutex1}, thread:[main, t_fun@src/example.c:17:3-17:40#top]] (conf. 110) (exp: & myglobal)" ,
65+ "context" : null
66+ },
67+ {
68+ "loc" : {
69+ "file" : " src/example.c" ,
70+ "line" : 19 ,
71+ "column" : 3 ,
72+ "byte" : 52611 ,
73+ "endLine" : 19 ,
74+ "endColumn" : 22 ,
75+ "endByte" : 52630
76+ },
77+ "text" : " write with [mhp:{tid=[main]; created={[main, t_fun@src/example.c:17:3-17:40#top]}}, lock:{mutex2}, thread:[main]] (conf. 110) (exp: & myglobal)" ,
78+ "context" : null
79+ },
80+ {
81+ "loc" : {
82+ "file" : " src/example.c" ,
83+ "line" : 10 ,
84+ "column" : 3 ,
85+ "byte" : 52116 ,
86+ "endLine" : 10 ,
87+ "endColumn" : 22 ,
88+ "endByte" : 52135
89+ },
90+ "text" : " read with [mhp:{tid=[main, t_fun@src/example.c:17:3-17:40#top]}, lock:{mutex1}, thread:[main, t_fun@src/example.c:17:3-17:40#top]] (conf. 110) (exp: & myglobal)" ,
91+ "context" : null
92+ },
93+ {
94+ "loc" : {
95+ "file" : " src/example.c" ,
96+ "line" : 19 ,
97+ "column" : 3 ,
98+ "byte" : 52611 ,
99+ "endLine" : 19 ,
100+ "endColumn" : 22 ,
101+ "endByte" : 52630
102+ },
103+ "text" : " read with [mhp:{tid=[main]; created={[main, t_fun@src/example.c:17:3-17:40#top]}}, lock:{mutex2}, thread:[main]] (conf. 110) (exp: & myglobal)" ,
104+ "context" : null
105+ }
106+ ]
107+ }
108+ },
109+ {
110+ "tags" : [
111+ {
112+ "Category" : [
113+ " Race"
114+ ]
115+ }
116+ ],
117+ "severity" : " Info" ,
118+ "multipiece" : {
119+ "group_text" : " Memory locations race summary" ,
120+ "group_loc" : null ,
121+ "pieces" : [
122+ {
123+ "loc" : null ,
124+ "text" : " safe: 0" ,
125+ "context" : null
126+ },
127+ {
128+ "loc" : null ,
129+ "text" : " vulnerable: 0" ,
130+ "context" : null
131+ },
132+ {
133+ "loc" : null ,
134+ "text" : " unsafe: 1" ,
135+ "context" : null
136+ },
137+ {
138+ "loc" : null ,
139+ "text" : " total memory locations: 1" ,
140+ "context" : null
141+ }
142+ ]
143+ }
144+ }
145+ ]
0 commit comments