Skip to content

Commit 24b1da4

Browse files
committed
Python: Implement ContentApprox
1 parent 2a28953 commit 24b1da4

File tree

1 file changed

+7
-0
lines changed

1 file changed

+7
-0
lines changed

python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPrivate.qll

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -948,3 +948,10 @@ predicate additionalLambdaFlowStep(Node nodeFrom, Node nodeTo, boolean preserves
948948
predicate allowParameterReturnInSelf(ParameterNode p) {
949949
FlowSummaryImpl::Private::summaryAllowParameterReturnInSelf(p)
950950
}
951+
952+
/** An approximated `Content`. */
953+
class ContentApprox = Unit;
954+
955+
/** Gets an approximated value for content `c`. */
956+
pragma[inline]
957+
ContentApprox getContentApprox(Content c) { any() }

0 commit comments

Comments
 (0)