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

Skip to content

Commit 825f24a

Browse files
committed
Python: simplify according to review comments
1 parent 3388ca4 commit 825f24a

2 files changed

Lines changed: 1 addition & 7 deletions

File tree

python/ql/src/experimental/dataflow/internal/DataFlowPrivate.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -335,7 +335,7 @@ DataFlowCallable prunedViableImplInCallContext(DataFlowCall call, DataFlowCall c
335335
*/
336336
predicate isImmutableOrUnobservable(Node n) { none() }
337337

338-
int accessPathLimit() { result = 3 }
338+
int accessPathLimit() { result = 5 }
339339

340340
/** Holds if `n` should be hidden from path explanations. */
341341
predicate nodeIsHidden(Node n) { none() }

python/ql/src/experimental/dataflow/internal/DataFlowPublic.qll

Lines changed: 0 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -142,10 +142,4 @@ class BarrierGuard extends Expr {
142142
*/
143143
class Content extends string {
144144
Content() { this = "Content" }
145-
146-
/** Gets the type of the object containing this content. */
147-
DataFlowType getContainerType() { none() }
148-
149-
/** Gets the type of this content. */
150-
DataFlowType getType() { none() }
151145
}

0 commit comments

Comments
 (0)