Skip to content

Commit 4e2a45c

Browse files
committed
C++: Correct SideEffectFunction model for PureStrFunction.
1 parent 22cba0f commit 4e2a45c

File tree

1 file changed

+1
-1
lines changed
  • cpp/ql/src/semmle/code/cpp/models/implementations

1 file changed

+1
-1
lines changed

cpp/ql/src/semmle/code/cpp/models/implementations/Pure.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -80,7 +80,7 @@ class PureStrFunction extends AliasFunction, ArrayFunction, TaintFunction, SideE
8080

8181
override predicate parameterIsAlwaysReturned(int i) { none() }
8282

83-
override predicate hasOnlySpecificReadSideEffects() { none() }
83+
override predicate hasOnlySpecificReadSideEffects() { any() }
8484

8585
override predicate hasOnlySpecificWriteSideEffects() { any() }
8686

0 commit comments

Comments
 (0)