Skip to content

Commit ef4f954

Browse files
authored
Merge pull request #1797 from jbj/dataflow-TTwo
C++/C#/Java: data flow AccessPath up to length 2
2 parents 9eebe00 + d51e521 commit ef4f954

File tree

30 files changed

+3201
-1304
lines changed

30 files changed

+3201
-1304
lines changed

cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl.qll

Lines changed: 147 additions & 46 deletions
Large diffs are not rendered by default.

cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl2.qll

Lines changed: 147 additions & 46 deletions
Large diffs are not rendered by default.

cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl3.qll

Lines changed: 147 additions & 46 deletions
Large diffs are not rendered by default.

cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl4.qll

Lines changed: 147 additions & 46 deletions
Large diffs are not rendered by default.

cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImplLocal.qll

Lines changed: 147 additions & 46 deletions
Large diffs are not rendered by default.

cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowPrivate.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -219,7 +219,7 @@ Type getErasedRepr(Type t) {
219219
}
220220

221221
/** Gets a string representation of a type returned by `getErasedRepr`. */
222-
string ppReprType(Type t) { result = t.toString() }
222+
string ppReprType(Type t) { none() } // stub implementation
223223

224224
/**
225225
* Holds if `t1` and `t2` are compatible, that is, whether data can flow from

0 commit comments

Comments
 (0)