Skip to content

Commit 4d2436d

Browse files
committed
Go: Implement ContentApprox
1 parent 64eb0cc commit 4d2436d

File tree

1 file changed

+7
-0
lines changed

1 file changed

+7
-0
lines changed

go/ql/lib/semmle/go/dataflow/internal/DataFlowPrivate.qll

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -380,3 +380,10 @@ predicate additionalLambdaFlowStep(Node nodeFrom, Node nodeTo, boolean preserves
380380
predicate allowParameterReturnInSelf(ParameterNode p) {
381381
FlowSummaryImpl::Private::summaryAllowParameterReturnInSelf(p)
382382
}
383+
384+
/** An approximated `Content`. */
385+
class ContentApprox = Unit;
386+
387+
/** Gets an approximated value for content `c`. */
388+
pragma[inline]
389+
ContentApprox getContentApprox(Content c) { any() }

0 commit comments

Comments
 (0)