File tree
29 files changed
+16
-188
lines changed- src
- Contract
- tests/static-analysis
29 files changed
+16
-188
lines changedOriginal file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
4 |
| - | |
5 |
| - | |
6 |
| - | |
7 |
| - | |
8 | 3 |
| |
9 | 4 |
| |
10 | 5 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
4 |
| - | |
5 |
| - | |
6 |
| - | |
7 |
| - | |
8 | 3 |
| |
9 | 4 |
| |
10 | 5 |
| |
| |||
25 | 20 |
| |
26 | 21 |
| |
27 | 22 |
| |
28 |
| - | |
29 |
| - | |
30 |
| - | |
| 23 | + | |
31 | 24 |
| |
32 | 25 |
| |
33 | 26 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
4 |
| - | |
5 |
| - | |
6 |
| - | |
7 |
| - | |
8 | 3 |
| |
9 | 4 |
| |
10 | 5 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
4 |
| - | |
5 |
| - | |
6 |
| - | |
7 |
| - | |
8 | 3 |
| |
9 | 4 |
| |
10 | 5 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
4 |
| - | |
5 |
| - | |
6 |
| - | |
7 |
| - | |
8 | 3 |
| |
9 | 4 |
| |
10 | 5 |
| |
| |||
25 | 20 |
| |
26 | 21 |
| |
27 | 22 |
| |
28 |
| - | |
29 |
| - | |
30 |
| - | |
| 23 | + | |
31 | 24 |
| |
32 | 25 |
| |
33 | 26 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
4 |
| - | |
5 |
| - | |
6 |
| - | |
7 |
| - | |
8 | 3 |
| |
9 | 4 |
| |
10 | 5 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
4 |
| - | |
5 |
| - | |
6 |
| - | |
7 |
| - | |
8 | 3 |
| |
9 | 4 |
| |
10 | 5 |
| |
| |||
25 | 20 |
| |
26 | 21 |
| |
27 | 22 |
| |
28 |
| - | |
29 |
| - | |
30 |
| - | |
| 23 | + | |
31 | 24 |
| |
32 | 25 |
| |
33 | 26 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
4 |
| - | |
5 |
| - | |
6 |
| - | |
7 |
| - | |
8 | 3 |
| |
9 | 4 |
| |
10 | 5 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
4 |
| - | |
5 |
| - | |
6 |
| - | |
7 |
| - | |
8 | 3 |
| |
9 | 4 |
| |
10 | 5 |
| |
| |||
25 | 20 |
| |
26 | 21 |
| |
27 | 22 |
| |
28 |
| - | |
29 |
| - | |
30 |
| - | |
| 23 | + | |
31 | 24 |
| |
32 | 25 |
| |
33 | 26 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
4 |
| - | |
5 |
| - | |
6 |
| - | |
7 |
| - | |
8 | 3 |
| |
9 | 4 |
| |
10 | 5 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
4 |
| - | |
5 |
| - | |
6 |
| - | |
7 |
| - | |
8 | 3 |
| |
9 | 4 |
| |
10 | 5 |
| |
| |||
23 | 18 |
| |
24 | 19 |
| |
25 | 20 |
| |
26 |
| - | |
27 |
| - | |
28 |
| - | |
| 21 | + | |
29 | 22 |
| |
30 | 23 |
| |
31 | 24 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
4 |
| - | |
5 |
| - | |
6 |
| - | |
7 |
| - | |
8 | 3 |
| |
9 | 4 |
| |
10 | 5 |
| |
| |||
24 | 19 |
| |
25 | 20 |
| |
26 | 21 |
| |
27 |
| - | |
28 |
| - | |
29 |
| - | |
| 22 | + | |
30 | 23 |
| |
31 | 24 |
| |
32 | 25 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
4 |
| - | |
5 |
| - | |
6 |
| - | |
7 |
| - | |
8 | 3 |
| |
9 | 4 |
| |
10 | 5 |
| |
| |||
26 | 21 |
| |
27 | 22 |
| |
28 | 23 |
| |
29 |
| - | |
30 |
| - | |
31 |
| - | |
| 24 | + | |
32 | 25 |
| |
33 | 26 |
| |
34 | 27 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
4 |
| - | |
5 |
| - | |
6 |
| - | |
7 |
| - | |
8 | 3 |
| |
9 | 4 |
| |
10 | 5 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
4 |
| - | |
5 |
| - | |
6 |
| - | |
7 |
| - | |
8 | 3 |
| |
9 | 4 |
| |
10 | 5 |
| |
| |||
25 | 20 |
| |
26 | 21 |
| |
27 | 22 |
| |
28 |
| - | |
29 |
| - | |
30 |
| - | |
| 23 | + | |
31 | 24 |
| |
32 | 25 |
| |
33 | 26 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
4 |
| - | |
5 |
| - | |
6 |
| - | |
7 |
| - | |
8 | 3 |
| |
9 | 4 |
| |
10 | 5 |
| |
| |||
23 | 18 |
| |
24 | 19 |
| |
25 | 20 |
| |
26 |
| - | |
27 |
| - | |
28 |
| - | |
| 21 | + | |
29 | 22 |
| |
30 | 23 |
| |
31 | 24 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
4 |
| - | |
5 |
| - | |
6 |
| - | |
7 |
| - | |
8 | 3 |
| |
9 | 4 |
| |
10 | 5 |
| |
| |||
23 | 18 |
| |
24 | 19 |
| |
25 | 20 |
| |
26 |
| - | |
27 |
| - | |
28 |
| - | |
| 21 | + | |
29 | 22 |
| |
30 | 23 |
| |
31 | 24 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
4 |
| - | |
5 |
| - | |
6 |
| - | |
7 |
| - | |
8 | 3 |
| |
9 | 4 |
| |
10 | 5 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
4 |
| - | |
5 |
| - | |
6 |
| - | |
7 |
| - | |
8 | 3 |
| |
9 | 4 |
| |
10 | 5 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
4 |
| - | |
5 |
| - | |
6 |
| - | |
7 |
| - | |
8 | 3 |
| |
9 | 4 |
| |
10 | 5 |
| |
| |||
27 | 22 |
| |
28 | 23 |
| |
29 | 24 |
| |
30 |
| - | |
31 |
| - | |
32 |
| - | |
| 25 | + | |
33 | 26 |
| |
34 | 27 |
| |
35 | 28 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
4 |
| - | |
5 |
| - | |
6 |
| - | |
7 |
| - | |
8 | 3 |
| |
9 | 4 |
| |
10 | 5 |
| |
| |||
27 | 22 |
| |
28 | 23 |
| |
29 | 24 |
| |
30 |
| - | |
31 |
| - | |
32 |
| - | |
| 25 | + | |
33 | 26 |
| |
34 | 27 |
| |
35 | 28 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
4 |
| - | |
5 |
| - | |
6 |
| - | |
7 |
| - | |
8 | 3 |
| |
9 | 4 |
| |
10 | 5 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
4 |
| - | |
5 |
| - | |
6 |
| - | |
7 |
| - | |
8 | 3 |
| |
9 | 4 |
| |
10 | 5 |
| |
|
0 commit comments