hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-26 09:15:12 +02:00
Code Issues Packages Projects Releases Wiki Activity

autoformat

Browse Source
This commit is contained in:
Erik Krogh Kristensen
2020-03-31 13:56:01 +02:00
parent 8ae55fb1c4
commit 64c813612f
1 changed files with 5 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
javascript/ql/src/semmle/javascript/dataflow/internal/StepSummary.qll
View File

@@ -26,8 +26,8 @@ abstract class TypeTrackingPseudoProperty extends string {
TypeTrackingPseudoProperty() { any() }
/**
* Gets a property name that `this` can be copied to in a `LoadStoreStep(this, result)`.
*/
* Gets a property name that `this` can be copied to in a `LoadStoreStep(this, result)`.
*/
string getLoadStoreToProp() { none() }
}
@@ -41,10 +41,9 @@ newtype TStepSummary =
StoreStep(PropertyName prop) or
LoadStep(PropertyName prop) or
LoadStoreStep(PropertyName fromProp, PropertyName toProp) {
fromProp = toProp or
exists(TypeTrackingPseudoProperty prop |
fromProp = prop and toProp = prop.getLoadStoreToProp()
)
fromProp = toProp
or
exists(TypeTrackingPseudoProperty prop | fromProp = prop and toProp = prop.getLoadStoreToProp())
}
/**