File tree Expand file tree Collapse file tree 1 file changed +6
-6
lines changed
cpp/ql/test/experimental/query-tests/Security/CWE/CWE-754/semmle/tests Expand file tree Collapse file tree 1 file changed +6
-6
lines changed Original file line number Diff line number Diff line change @@ -51,9 +51,9 @@ int functionWork2() {
51
51
char a[10 ] = " " ;
52
52
int b = 1 ;
53
53
int *p = &b;
54
- scanf (" %i" , &i); // GOOD:the error can be determined by examining the initial value .
55
- scanf (" %s" , a); // GOOD:the error can be determined by examining the initial value .
56
- scanf (" %i" , p); // GOOD:the error can be determined by examining the initial value .
54
+ scanf (" %i" , &i); // GOOD:Argument initialized even when scanf fails .
55
+ scanf (" %s" , a); // GOOD:Argument initialized even when scanf fails .
56
+ scanf (" %i" , p); // GOOD:Argument initialized even when scanf fails .
57
57
return i;
58
58
}
59
59
@@ -65,9 +65,9 @@ int functionWork2_() {
65
65
int b;
66
66
b=1 ;
67
67
int *p = &b;
68
- scanf (" %i" , &i); // GOOD:the error can be determined by examining the initial value .
69
- scanf (" %s" , a); // GOOD:the error can be determined by examining the initial value .
70
- scanf (" %i" , p); // GOOD:the error can be determined by examining the initial value .
68
+ scanf (" %i" , &i); // GOOD:Argument initialized even when scanf fails .
69
+ scanf (" %s" , a); // GOOD:Argument initialized even when scanf fails .
70
+ scanf (" %i" , p); // GOOD:Argument initialized even when scanf fails .
71
71
return i;
72
72
}
73
73
int functionWork2b () {
You can’t perform that action at this time.
0 commit comments