File tree Expand file tree Collapse file tree 5 files changed +3
-9
lines changed
src/Likely Bugs/Resource Leaks Expand file tree Collapse file tree 5 files changed +3
-9
lines changed Original file line number Diff line number Diff line change @@ -33,6 +33,7 @@ predicate safeReaderType(RefType t) {
33
33
34
34
from ClassInstanceExpr cie , RefType t
35
35
where
36
+ cie .getFile ( ) .isJavaSourceFile ( ) and
36
37
badCloseableInit ( cie ) and
37
38
cie .getType ( ) = t and
38
39
readerType ( t ) and
Original file line number Diff line number Diff line change @@ -15,6 +15,7 @@ import CloseType
15
15
16
16
from CloseableInitExpr cie , RefType t
17
17
where
18
+ cie .getFile ( ) .isJavaSourceFile ( ) and
18
19
badCloseableInit ( cie ) and
19
20
cie .getType ( ) = t and
20
21
sqlType ( t ) and
Original file line number Diff line number Diff line change @@ -29,6 +29,7 @@ predicate safeWriterType(RefType t) {
29
29
30
30
from ClassInstanceExpr cie , RefType t
31
31
where
32
+ cie .getFile ( ) .isJavaSourceFile ( ) and
32
33
badCloseableInit ( cie ) and
33
34
cie .getType ( ) = t and
34
35
writerType ( t ) and
Original file line number Diff line number Diff line change 1
- | CloseReader.kt:4:20:4:45 | new FileReader(...) | This FileReader is not always closed on method exit. |
Original file line number Diff line number Diff line change 1
- | CloseWriter.kt:4:29:4:54 | new FileWriter(...) | This FileWriter is not always closed on method exit. |
2
- | CloseWriter.kt:9:20:9:45 | new FileWriter(...) | This FileWriter is not always closed on method exit. |
3
- | CloseWriter.kt:15:14:15:57 | new FileOutputStream(...) | This FileOutputStream is not always closed on method exit. |
4
- | CloseWriter.kt:20:5:20:48 | new FileOutputStream(...) | This FileOutputStream is not always closed on method exit. |
5
- | CloseWriter.kt:26:33:26:76 | new FileOutputStream(...) | This FileOutputStream is not always closed on method exit. |
6
- | CloseWriter.kt:31:24:31:67 | new FileOutputStream(...) | This FileOutputStream is not always closed on method exit. |
7
- | CloseWriter.kt:37:33:37:76 | new FileOutputStream(...) | This FileOutputStream is not always closed on method exit. |
8
- | CloseWriter.kt:42:24:42:67 | new FileOutputStream(...) | This FileOutputStream is not always closed on method exit. |
You can’t perform that action at this time.
0 commit comments