Skip to content

Commit 3fcb0ee

Browse files
committed
move MultipartAndFormRemoteSource to DecompressionBombs.qll
1 parent b2edf6c commit 3fcb0ee

File tree

2 files changed

+17
-19
lines changed

2 files changed

+17
-19
lines changed

go/ql/src/experimental/frameworks/DecompressionBombs.qll

Lines changed: 17 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,10 +4,26 @@
44

55
import go
66

7+
class MimeMultipartFileHeader extends UntrustedFlowSource::Range {
8+
MimeMultipartFileHeader() {
9+
exists(DataFlow::FieldReadNode frn | this = frn |
10+
frn.getField().hasQualifiedName("mime/multipart", "FileHeader", ["Filename", "Header"])
11+
)
12+
or
13+
exists(DataFlow::Method m |
14+
m.hasQualifiedName("mime/multipart", "FileHeader", "Open") and
15+
this = m.getACall().getResult(0)
16+
)
17+
or
18+
exists(DataFlow::FieldReadNode frn |
19+
frn.getField().hasQualifiedName("mime/multipart", "Form", "Value")
20+
)
21+
}
22+
}
23+
724
/** Provides a taint tracking configuration for reasoning about decompression bomb vulnerabilities. */
825
module DecompressionBomb {
926
import DecompressionBombsCustomizations
10-
import MultipartAndFormRemoteSource
1127

1228
module Config implements DataFlow::StateConfigSig {
1329
class FlowState = DecompressionBombs::FlowState;

go/ql/src/experimental/frameworks/MultipartAndFormRemoteSource.qll

Lines changed: 0 additions & 18 deletions
This file was deleted.

0 commit comments

Comments
 (0)