Skip to content

Commit c52064a

Browse files
Fixing problems based on CR feedback.
github#3951 (review)
1 parent a5dab4e commit c52064a

File tree

2 files changed

+3
-11
lines changed

2 files changed

+3
-11
lines changed

csharp/ql/src/experimental/Security Features/Serialization/DataSetSerialization.qll

Lines changed: 3 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -60,16 +60,9 @@ class SerializableClass extends Class {
6060
/**
6161
* Holds if the serializable class `c` has a property or field `m` that is of `DataSet` or `DataTable` related type
6262
*/
63-
predicate isClassUnsafeXmlSerializerImplementation(SerializableClass c, Member m) {
64-
exists(Property p | m = p |
65-
p = c.getAProperty() and
66-
p.getType() instanceof DataSetOrTableRelatedClass
67-
)
68-
or
69-
exists(AssignableMember am | am = m |
70-
(am = c.getAField() or am = c.getAMember()) and
71-
am.getType() instanceof DataSetOrTableRelatedClass
72-
)
63+
predicate isClassUnsafeXmlSerializerImplementation(SerializableClass c, AssignableMember am) {
64+
am = c.getAMember() and
65+
am.getType() instanceof DataSetOrTableRelatedClass
7366
}
7467

7568
/**

csharp/ql/src/experimental/Security Features/Serialization/XmlDeserializationWithDataSet.ql

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,6 +12,5 @@ import csharp
1212
import DataSetSerialization
1313

1414
from UnsafeXmlReadMethodCall mc
15-
where exists(Method m | m.getACall() = mc)
1615
select mc,
1716
"Making an XML deserialization call with a type derived from DataSet or DataTable types and may lead to a security problem. Please visit https://go.microsoft.com/fwlink/?linkid=2132227 for details."

0 commit comments

Comments
 (0)