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

Data flow: Refactoring + performance improvements

Browse Source 
cf https://github.com/Semmle/ql/pull/2903
This commit is contained in:
Max Schaefer
2020-03-26 08:01:01 +00:00
parent 96120e1e35
commit 5cd9168e4d
2 changed files with 494 additions and 526 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

File diff suppressed because it is too large Load Diff

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

@@ -243,7 +243,7 @@ private module Cached {
* - Types are checked using the `compatibleTypes()` relation.
*/
cached
module Final {
private module Final {
/**
* Holds if `p` can flow to `node` in the same callable using only
* value-preserving steps, not taking call contexts into account.