Skip to content

Commit 9e4843d

Browse files
committed
update the alert-message of cpp/file-may-not-be-closed based on feedback
1 parent 2351884 commit 9e4843d

File tree

3 files changed

+18
-18
lines changed

3 files changed

+18
-18
lines changed

cpp/ql/src/Critical/FileMayNotBeClosed.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -164,4 +164,4 @@ where
164164
fopenVariableReaches(v, def, ret) and
165165
ret.getAChild*() = v.getAnAccess()
166166
)
167-
select def, "The file opened here may not be closed at $@.", ret, "this exit point"
167+
select def, "This file may not be closed at $@.", ret, "this exit point"
Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
1-
| file.c:8:15:8:19 | call to fopen | The file opened here may not be closed at $@. | file.c:12:13:12:19 | return ... | this exit point |
2-
| file.c:18:15:18:19 | call to fopen | The file opened here may not be closed at $@. | file.c:22:13:22:24 | return ... | this exit point |
3-
| file.c:66:5:66:34 | ... = ... | The file opened here may not be closed at $@. | file.c:74:5:74:13 | return ... | this exit point |
1+
| file.c:8:15:8:19 | call to fopen | This file may not be closed at $@. | file.c:12:13:12:19 | return ... | this exit point |
2+
| file.c:18:15:18:19 | call to fopen | This file may not be closed at $@. | file.c:22:13:22:24 | return ... | this exit point |
3+
| file.c:66:5:66:34 | ... = ... | This file may not be closed at $@. | file.c:74:5:74:13 | return ... | this exit point |
Lines changed: 14 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,14 @@
1-
| test.cpp:59:2:59:30 | ... = ... | The file opened here may not be closed at $@. | test.cpp:64:1:64:1 | return ... | this exit point |
2-
| test.cpp:69:12:69:16 | call to fopen | The file opened here may not be closed at $@. | test.cpp:73:3:73:9 | return ... | this exit point |
3-
| test.cpp:85:2:85:30 | ... = ... | The file opened here may not be closed at $@. | test.cpp:89:1:89:1 | return ... | this exit point |
4-
| test.cpp:115:2:115:17 | ... = ... | The file opened here may not be closed at $@. | test.cpp:121:3:121:9 | return ... | this exit point |
5-
| test.cpp:115:2:115:17 | ... = ... | The file opened here may not be closed at $@. | test.cpp:124:1:124:1 | return ... | this exit point |
6-
| test.cpp:118:2:118:17 | ... = ... | The file opened here may not be closed at $@. | test.cpp:121:3:121:9 | return ... | this exit point |
7-
| test.cpp:221:12:221:16 | call to fopen | The file opened here may not be closed at $@. | test.cpp:225:1:225:1 | return ... | this exit point |
8-
| test.cpp:240:12:240:16 | call to fopen | The file opened here may not be closed at $@. | test.cpp:249:1:249:1 | return ... | this exit point |
9-
| test.cpp:253:12:253:16 | call to fopen | The file opened here may not be closed at $@. | test.cpp:260:1:260:1 | return ... | this exit point |
10-
| test.cpp:276:12:276:16 | call to fopen | The file opened here may not be closed at $@. | test.cpp:281:3:281:9 | return ... | this exit point |
11-
| test.cpp:299:12:299:16 | call to fopen | The file opened here may not be closed at $@. | test.cpp:305:1:305:1 | return ... | this exit point |
12-
| test.cpp:310:12:310:16 | call to fopen | The file opened here may not be closed at $@. | test.cpp:323:1:323:1 | return ... | this exit point |
13-
| test.cpp:356:12:356:16 | call to fopen | The file opened here may not be closed at $@. | test.cpp:369:1:369:1 | return ... | this exit point |
14-
| test.cpp:384:15:384:19 | call to fopen | The file opened here may not be closed at $@. | test.cpp:394:1:394:1 | return ... | this exit point |
1+
| test.cpp:59:2:59:30 | ... = ... | This file may not be closed at $@. | test.cpp:64:1:64:1 | return ... | this exit point |
2+
| test.cpp:69:12:69:16 | call to fopen | This file may not be closed at $@. | test.cpp:73:3:73:9 | return ... | this exit point |
3+
| test.cpp:85:2:85:30 | ... = ... | This file may not be closed at $@. | test.cpp:89:1:89:1 | return ... | this exit point |
4+
| test.cpp:115:2:115:17 | ... = ... | This file may not be closed at $@. | test.cpp:121:3:121:9 | return ... | this exit point |
5+
| test.cpp:115:2:115:17 | ... = ... | This file may not be closed at $@. | test.cpp:124:1:124:1 | return ... | this exit point |
6+
| test.cpp:118:2:118:17 | ... = ... | This file may not be closed at $@. | test.cpp:121:3:121:9 | return ... | this exit point |
7+
| test.cpp:221:12:221:16 | call to fopen | This file may not be closed at $@. | test.cpp:225:1:225:1 | return ... | this exit point |
8+
| test.cpp:240:12:240:16 | call to fopen | This file may not be closed at $@. | test.cpp:249:1:249:1 | return ... | this exit point |
9+
| test.cpp:253:12:253:16 | call to fopen | This file may not be closed at $@. | test.cpp:260:1:260:1 | return ... | this exit point |
10+
| test.cpp:276:12:276:16 | call to fopen | This file may not be closed at $@. | test.cpp:281:3:281:9 | return ... | this exit point |
11+
| test.cpp:299:12:299:16 | call to fopen | This file may not be closed at $@. | test.cpp:305:1:305:1 | return ... | this exit point |
12+
| test.cpp:310:12:310:16 | call to fopen | This file may not be closed at $@. | test.cpp:323:1:323:1 | return ... | this exit point |
13+
| test.cpp:356:12:356:16 | call to fopen | This file may not be closed at $@. | test.cpp:369:1:369:1 | return ... | this exit point |
14+
| test.cpp:384:15:384:19 | call to fopen | This file may not be closed at $@. | test.cpp:394:1:394:1 | return ... | this exit point |

0 commit comments

Comments
 (0)