1
1
edges
2
+ | test.c:3:7:3:8 | *g1 | test.c:3:7:3:8 | *g1 | provenance | |
3
+ | test.c:3:7:3:8 | *g1 | test.c:14:17:14:19 | *& ... | provenance | |
4
+ | test.c:3:7:3:8 | *g1 | test.c:15:14:15:16 | *& ... | provenance | |
5
+ | test.c:4:7:4:8 | *g2 | test.c:4:7:4:8 | *g2 | provenance | |
6
+ | test.c:4:7:4:8 | *g2 | test.c:18:17:18:19 | *& ... | provenance | |
7
+ | test.c:4:7:4:8 | *g2 | test.c:19:14:19:16 | *& ... | provenance | |
8
+ | test.c:10:24:10:24 | *m | test.c:10:24:10:24 | *m | provenance | |
2
9
| test.c:10:24:10:24 | *m | test.c:10:43:10:43 | *m | provenance | |
10
+ | test.c:10:24:10:24 | *m | test.c:10:43:10:43 | *m | provenance | |
11
+ | test.c:13:12:13:14 | mtx_init output argument | test.c:3:7:3:8 | *g1 | provenance | |
3
12
| test.c:13:12:13:14 | mtx_init output argument | test.c:14:17:14:19 | *& ... | provenance | |
4
13
| test.c:13:12:13:14 | mtx_init output argument | test.c:15:14:15:16 | *& ... | provenance | |
5
14
| test.c:15:14:15:16 | *& ... | test.c:10:24:10:24 | *m | provenance | |
15
+ | test.c:15:14:15:16 | *& ... | test.c:15:14:15:16 | doTimeLock output argument | provenance | |
16
+ | test.c:15:14:15:16 | doTimeLock output argument | test.c:3:7:3:8 | *g1 | provenance | |
17
+ | test.c:17:12:17:14 | mtx_init output argument | test.c:4:7:4:8 | *g2 | provenance | |
6
18
| test.c:17:12:17:14 | mtx_init output argument | test.c:18:17:18:19 | *& ... | provenance | |
7
19
| test.c:17:12:17:14 | mtx_init output argument | test.c:19:14:19:16 | *& ... | provenance | |
8
20
| test.c:19:14:19:16 | *& ... | test.c:10:24:10:24 | *m | provenance | |
21
+ | test.c:19:14:19:16 | *& ... | test.c:19:14:19:16 | doTimeLock output argument | provenance | |
22
+ | test.c:19:14:19:16 | doTimeLock output argument | test.c:4:7:4:8 | *g2 | provenance | |
9
23
| test.c:30:12:30:14 | mtx_init output argument | test.c:31:17:31:19 | *& ... | provenance | |
10
24
| test.c:30:12:30:14 | mtx_init output argument | test.c:32:14:32:16 | *& ... | provenance | |
11
25
| test.c:32:14:32:16 | *& ... | test.c:10:24:10:24 | *m | provenance | |
@@ -16,14 +30,20 @@ edges
16
30
| test.c:44:14:44:18 | *& ... | test.c:10:24:10:24 | *m | provenance | |
17
31
| test.c:44:15:44:16 | *l3 [m] | test.c:44:14:44:18 | *& ... | provenance | |
18
32
nodes
33
+ | test.c:3:7:3:8 | *g1 | semmle.label | *g1 |
34
+ | test.c:4:7:4:8 | *g2 | semmle.label | *g2 |
35
+ | test.c:10:24:10:24 | *m | semmle.label | *m |
36
+ | test.c:10:24:10:24 | *m | semmle.label | *m |
19
37
| test.c:10:24:10:24 | *m | semmle.label | *m |
20
38
| test.c:10:43:10:43 | *m | semmle.label | *m |
21
39
| test.c:13:12:13:14 | mtx_init output argument | semmle.label | mtx_init output argument |
22
40
| test.c:14:17:14:19 | *& ... | semmle.label | *& ... |
23
41
| test.c:15:14:15:16 | *& ... | semmle.label | *& ... |
42
+ | test.c:15:14:15:16 | doTimeLock output argument | semmle.label | doTimeLock output argument |
24
43
| test.c:17:12:17:14 | mtx_init output argument | semmle.label | mtx_init output argument |
25
44
| test.c:18:17:18:19 | *& ... | semmle.label | *& ... |
26
45
| test.c:19:14:19:16 | *& ... | semmle.label | *& ... |
46
+ | test.c:19:14:19:16 | doTimeLock output argument | semmle.label | doTimeLock output argument |
27
47
| test.c:30:12:30:14 | mtx_init output argument | semmle.label | mtx_init output argument |
28
48
| test.c:31:17:31:19 | *& ... | semmle.label | *& ... |
29
49
| test.c:32:14:32:16 | *& ... | semmle.label | *& ... |
34
54
| test.c:44:14:44:18 | *& ... | semmle.label | *& ... |
35
55
| test.c:44:15:44:16 | *l3 [m] | semmle.label | *l3 [m] |
36
56
subpaths
57
+ | test.c:15:14:15:16 | *& ... | test.c:10:24:10:24 | *m | test.c:10:24:10:24 | *m | test.c:15:14:15:16 | doTimeLock output argument |
58
+ | test.c:19:14:19:16 | *& ... | test.c:10:24:10:24 | *m | test.c:10:24:10:24 | *m | test.c:19:14:19:16 | doTimeLock output argument |
37
59
#select
38
60
| test.c:10:43:10:43 | *m | test.c:13:12:13:14 | mtx_init output argument | test.c:10:43:10:43 | *m | Call to mtx_timedlock with mutex which is $@ without flag 'mtx_timed'. | test.c:13:12:13:14 | mtx_init output argument | initialized |
39
61
| test.c:10:43:10:43 | *m | test.c:17:12:17:14 | mtx_init output argument | test.c:10:43:10:43 | *m | Call to mtx_timedlock with mutex which is $@ without flag 'mtx_timed'. | test.c:17:12:17:14 | mtx_init output argument | initialized |
0 commit comments