Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit e23cbed

Browse files
am0o0am0o0
committed
update to MethodCall
1 parent 4b68dd2 commit e23cbed

1 file changed

Lines changed: 28 additions & 28 deletions

File tree

‎java/ql/src/experimental/semmle/code/java/security/DecompressionBomb.qll‎

Lines changed: 28 additions & 28 deletions
Original file line numberDiff line numberDiff line change
@@ -55,7 +55,7 @@ module XerialSnappy {
5555
call = n2.asExpr()
5656
or
5757
// Method calls
58-
call.(MethodAccess).getReceiverType() = any(TypeInputStream t) and
58+
call.(MethodCall).getReceiverType() = any(TypeInputStream t) and
5959
call.getCallee().hasName(["read", "readNBytes", "readAllBytes"]) and
6060
call.getQualifier() = n1.asExpr() and
6161
call = n2.asExpr()
@@ -68,7 +68,7 @@ module XerialSnappy {
6868
/**
6969
* The methods that read bytes and belong to `SnappyInputStream` Types
7070
*/
71-
class ReadInputStreamCall extends MethodAccess {
71+
class ReadInputStreamCall extends MethodCall {
7272
ReadInputStreamCall() {
7373
this.getReceiverType() instanceof TypeInputStream and
7474
this.getCallee().hasName(["read", "readNBytes", "readAllBytes"])
@@ -77,7 +77,7 @@ module XerialSnappy {
7777
/**
7878
* A method Access as a sink which responsible for reading bytes
7979
*/
80-
MethodAccess getAByteRead() { result = this }
80+
MethodCall getAByteRead() { result = this }
8181

8282
// look at Zip4j comments for this method
8383
predicate isControlledRead() { none() }
@@ -179,7 +179,7 @@ module ApacheCommons {
179179
call = n2.asExpr()
180180
or
181181
// Method calls
182-
call.(MethodAccess).getReceiverType() = any(TypeCompressors t) and
182+
call.(MethodCall).getReceiverType() = any(TypeCompressors t) and
183183
call.getCallee().hasName(["read", "readNBytes", "readAllBytes"]) and
184184
call.getQualifier() = n1.asExpr() and
185185
call = n2.asExpr()
@@ -192,7 +192,7 @@ module ApacheCommons {
192192
/**
193193
* The methods that read bytes and belong to `*CompressorInputStream` Types
194194
*/
195-
class ReadInputStreamCall extends MethodAccess {
195+
class ReadInputStreamCall extends MethodCall {
196196
ReadInputStreamCall() {
197197
this.getReceiverType() instanceof TypeCompressors and
198198
this.getCallee().hasName(["read", "readNBytes", "readAllBytes"])
@@ -201,7 +201,7 @@ module ApacheCommons {
201201
/**
202202
* A method Access as a sink which responsible for reading bytes
203203
*/
204-
MethodAccess getAByteRead() { result = this }
204+
MethodCall getAByteRead() { result = this }
205205

206206
// look at Zip4j comments for this method
207207
predicate isControlledRead() { none() }
@@ -256,7 +256,7 @@ module ApacheCommons {
256256
call = n2.asExpr()
257257
or
258258
// Method calls
259-
call.(MethodAccess).getReceiverType() = any(TypeArchivers t) and
259+
call.(MethodCall).getReceiverType() = any(TypeArchivers t) and
260260
call.getCallee().hasName(["read", "readNBytes", "readAllBytes"]) and
261261
call.getQualifier() = n1.asExpr() and
262262
call = n2.asExpr()
@@ -269,7 +269,7 @@ module ApacheCommons {
269269
/**
270270
* The methods that read bytes and belong to `*ArchiveInputStream` Types
271271
*/
272-
class ReadInputStreamCall extends MethodAccess {
272+
class ReadInputStreamCall extends MethodCall {
273273
ReadInputStreamCall() {
274274
this.getReceiverType() instanceof TypeArchivers and
275275
this.getCallee().hasName(["read", "readNBytes", "readAllBytes"])
@@ -278,7 +278,7 @@ module ApacheCommons {
278278
/**
279279
* A method Access as a sink which responsible for reading bytes
280280
*/
281-
MethodAccess getAByteRead() { result = this }
281+
MethodCall getAByteRead() { result = this }
282282

283283
// look at Zip4j comments for this method
284284
predicate isControlledRead() { none() }
@@ -340,9 +340,9 @@ module ApacheCommons {
340340
or
341341
// Method calls
342342
(
343-
call.(MethodAccess).getReceiverType() = any(TypeArchiveInputStream t)
343+
call.(MethodCall).getReceiverType() = any(TypeArchiveInputStream t)
344344
or
345-
call.(MethodAccess).getReceiverType() = any(TypeCompressorInputStream t)
345+
call.(MethodCall).getReceiverType() = any(TypeCompressorInputStream t)
346346
) and
347347
call.getCallee().hasName(["read", "readNBytes", "readAllBytes"]) and
348348
call.getQualifier() = n1.asExpr() and
@@ -356,7 +356,7 @@ module ApacheCommons {
356356
/**
357357
* The methods that read bytes and belong to `CompressorInputStream` or `ArchiveInputStream` Types
358358
*/
359-
class ReadInputStreamCall extends MethodAccess {
359+
class ReadInputStreamCall extends MethodCall {
360360
ReadInputStreamCall() {
361361
(
362362
this.getReceiverType() instanceof TypeArchiveInputStream
@@ -369,7 +369,7 @@ module ApacheCommons {
369369
/**
370370
* A method Access as a sink which responsible for reading bytes
371371
*/
372-
MethodAccess getAByteRead() { result = this }
372+
MethodCall getAByteRead() { result = this }
373373

374374
// look at Zip4j comments for this method
375375
predicate isControlledRead() { none() }
@@ -399,7 +399,7 @@ module Zip4j {
399399
/**
400400
* The methods that read bytes and belong to `CompressorInputStream` or `ArchiveInputStream` Types
401401
*/
402-
class ReadInputStreamCall extends MethodAccess {
402+
class ReadInputStreamCall extends MethodCall {
403403
ReadInputStreamCall() {
404404
this.getReceiverType() instanceof TypeZipInputStream and
405405
this.getMethod().hasName(["read", "readNBytes", "readAllBytes"])
@@ -408,7 +408,7 @@ module Zip4j {
408408
/**
409409
* A method Access as a sink which responsible for reading bytes
410410
*/
411-
MethodAccess getAByteRead() { result = this }
411+
MethodCall getAByteRead() { result = this }
412412

413413
// while ((readLen = zipInputStream.read(readBuffer)) != -1) {
414414
// totallRead += readLen;
@@ -450,7 +450,7 @@ module Zip4j {
450450
call = n2.asExpr()
451451
or
452452
// Method calls
453-
call.(MethodAccess).getReceiverType() = any(TypeZipInputStream t) and
453+
call.(MethodCall).getReceiverType() = any(TypeZipInputStream t) and
454454
call.getCallee().hasName(["read", "readNBytes", "readAllBytes"]) and
455455
call.getQualifier() = n1.asExpr() and
456456
call = n2.asExpr()
@@ -468,7 +468,7 @@ module CommonsIO {
468468
/**
469469
* The Access to Methods which work with byes and inputStreams and buffers
470470
*/
471-
class IOUtils extends MethodAccess {
471+
class IOUtils extends MethodCall {
472472
IOUtils() {
473473
this.getMethod()
474474
.hasName([
@@ -505,7 +505,7 @@ module Zip {
505505
/**
506506
* The methods that read bytes and belong to `*InputStream` Types
507507
*/
508-
class ReadInputStreamCall extends MethodAccess {
508+
class ReadInputStreamCall extends MethodCall {
509509
ReadInputStreamCall() {
510510
this.getReceiverType() instanceof TypeInputStream and
511511
this.getCallee().hasName(["read", "readNBytes", "readAllBytes"])
@@ -514,7 +514,7 @@ module Zip {
514514
/**
515515
* A method Access as a sink which responsible for reading bytes
516516
*/
517-
MethodAccess getAByteRead() { result = this }
517+
MethodCall getAByteRead() { result = this }
518518

519519
// look at Zip4j comments for this method
520520
predicate isControlledRead() { none() }
@@ -544,7 +544,7 @@ module Zip {
544544
call = n2.asExpr()
545545
or
546546
// Method calls
547-
call.(MethodAccess).getReceiverType() = any(TypeInputStream t) and
547+
call.(MethodCall).getReceiverType() = any(TypeInputStream t) and
548548
call.getCallee().hasName(["read", "readNBytes", "readAllBytes"]) and
549549
call.getQualifier() = n1.asExpr() and
550550
call = n2.asExpr()
@@ -574,15 +574,15 @@ module Zip {
574574
) {
575575
// n1.inflate(n2)
576576
(
577-
exists(MethodAccess ma |
577+
exists(MethodCall ma |
578578
ma.getReceiverType() instanceof TypeInflator and
579579
ma.getArgument(0) = n2.asExpr() and
580580
ma.getQualifier() = n1.asExpr() and
581581
ma.getCallee().hasName("inflate")
582582
)
583583
or
584584
// n2 = inflater.inflate(n1)
585-
exists(MethodAccess ma |
585+
exists(MethodCall ma |
586586
ma.getReceiverType() instanceof TypeInflator and
587587
ma = n2.asExpr() and
588588
ma.getArgument(0) = n1.asExpr() and
@@ -591,7 +591,7 @@ module Zip {
591591
or
592592
// Inflater inflater = new Inflater();
593593
// inflater_As_n2 = inflater.setInput(n1)
594-
exists(MethodAccess ma |
594+
exists(MethodCall ma |
595595
ma.getReceiverType() instanceof TypeInflator and
596596
n1.asExpr() = ma.getArgument(0) and
597597
n2.(DataFlow::PostUpdateNode).getPreUpdateNode().asExpr() = ma.getQualifier() and
@@ -606,7 +606,7 @@ module Zip {
606606
/**
607607
* The methods that read bytes and belong to `Inflater` Type
608608
*/
609-
class InflateCall extends MethodAccess {
609+
class InflateCall extends MethodCall {
610610
InflateCall() {
611611
this.getReceiverType() instanceof TypeInflator and
612612
this.getCallee().hasName("inflate")
@@ -615,7 +615,7 @@ module Zip {
615615
/**
616616
* A method Access as a sink which responsible for reading bytes
617617
*/
618-
MethodAccess getAByteRead() { result = this }
618+
MethodCall getAByteRead() { result = this }
619619

620620
// look at Zip4j comments for this method
621621
predicate isControlledRead() { none() }
@@ -644,7 +644,7 @@ module Zip {
644644
DataFlow::FlowState stateTo
645645
) {
646646
(
647-
exists(MethodAccess ma |
647+
exists(MethodCall ma |
648648
ma.getReceiverType() instanceof TypeZipFile and
649649
ma = n2.asExpr() and
650650
ma.getQualifier() = n1.asExpr() and
@@ -678,7 +678,7 @@ module InputStream {
678678
/**
679679
* The methods that read bytes and belong to `InputStream` Type and all Types that are child of InputStream Type
680680
*/
681-
class Read extends MethodAccess {
681+
class Read extends MethodCall {
682682
Read() {
683683
this.getReceiverType() instanceof TypeInputStream and
684684
this.getCallee().hasName(["read", "readNBytes", "readAllBytes"])
@@ -701,7 +701,7 @@ module InputStream {
701701
) {
702702
exists(Call call |
703703
// Method calls
704-
call.(MethodAccess).getReceiverType() = any(TypeInputStream t) and
704+
call.(MethodCall).getReceiverType() = any(TypeInputStream t) and
705705
call.getCallee().hasName(["read", "readNBytes", "readAllBytes"]) and
706706
call.getQualifier() = n1.asExpr() and
707707
call = n2.asExpr()

0 commit comments

Comments
 (0)