hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-01-29 22:32:58 +01:00
Code Issues Packages Projects Releases Wiki Activity

Data flow: generalize flow-through summaries.

Browse Source
This commit is contained in:
Max Schaefer
2020-02-18 08:48:35 +00:00
parent d3288f19f9
commit 2764b70364
3 changed files with 1435 additions and 1347 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1034
ql/src/semmle/go/dataflow/internal/DataFlowImpl.qll
View File

File diff suppressed because it is too large Load Diff

1744
ql/src/semmle/go/dataflow/internal/DataFlowImplCommon.qll
View File

File diff suppressed because it is too large Load Diff

4
ql/src/semmle/go/dataflow/internal/DataFlowPrivate.qll
View File

@@ -1,6 +1,6 @@
private import go
private import DataFlowUtil
private import DataFlowImplCommon::Public
private import DataFlowImplCommon
private newtype TReturnKind =
TSingleReturn() or
@@ -270,3 +270,5 @@ predicate isUnreachableInCall(Node n, DataFlowCall call) {
guard.dominates(n.getBasicBlock())
)
}
int accessPathLimit() { result = 5 }