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

Sync dataflow libraries

Browse Source
This commit is contained in:
Owen Mansel-Chan
2021-02-17 16:32:16 +00:00
parent e6d11fc99e
commit 4f55ecc995
5 changed files with 3590 additions and 2695 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

File diff suppressed because it is too large Load Diff

3132
ql/src/semmle/go/dataflow/internal/DataFlowImpl2.qll
View File

File diff suppressed because it is too large Load Diff

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

@@ -802,14 +802,9 @@ abstract class AccessPathFront extends TAccessPathFront {
abstract boolean toBoolNonEmpty();
predicate headUsesContent(TypedContent tc) { this = TFrontHead(tc) }
TypedContent getHead() { this = TFrontHead(result) }
predicate isClearedAt(Node n) {
exists(TypedContent tc |
this.headUsesContent(tc) and
clearsContent(n, tc.getContent())
)
}
predicate isClearedAt(Node n) { clearsContent(n, getHead().getContent()) }
}
class AccessPathFrontNil extends AccessPathFront, TFrontNil {

6
ql/src/semmle/go/dataflow/internal/tainttracking1/TaintTrackingImpl.qll
View File

@@ -76,7 +76,7 @@ abstract class Configuration extends DataFlow::Configuration {
final override predicate isBarrier(DataFlow::Node node) {
isSanitizer(node) or
isDefaultTaintSanitizer(node)
defaultTaintSanitizer(node)
}
/** Holds if taint propagation into `node` is prohibited. */
@@ -92,9 +92,7 @@ abstract class Configuration extends DataFlow::Configuration {
/** Holds if taint propagation through nodes guarded by `guard` is prohibited. */
predicate isSanitizerGuard(DataFlow::BarrierGuard guard) { none() }
final override predicate isBarrierGuard(DataFlow::BarrierGuard guard) {
isSanitizerGuard(guard) or isDefaultTaintSanitizerGuard(guard)
}
final override predicate isBarrierGuard(DataFlow::BarrierGuard guard) { isSanitizerGuard(guard) }
/**
* Holds if the additional taint propagation step from `node1` to `node2`

6
ql/src/semmle/go/dataflow/internal/tainttracking2/TaintTrackingImpl.qll
View File

@@ -76,7 +76,7 @@ abstract class Configuration extends DataFlow::Configuration {
final override predicate isBarrier(DataFlow::Node node) {
isSanitizer(node) or
isDefaultTaintSanitizer(node)
defaultTaintSanitizer(node)
}
/** Holds if taint propagation into `node` is prohibited. */
@@ -92,9 +92,7 @@ abstract class Configuration extends DataFlow::Configuration {
/** Holds if taint propagation through nodes guarded by `guard` is prohibited. */
predicate isSanitizerGuard(DataFlow::BarrierGuard guard) { none() }
final override predicate isBarrierGuard(DataFlow::BarrierGuard guard) {
isSanitizerGuard(guard) or isDefaultTaintSanitizerGuard(guard)
}
final override predicate isBarrierGuard(DataFlow::BarrierGuard guard) { isSanitizerGuard(guard) }
/**
* Holds if the additional taint propagation step from `node1` to `node2`