hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-21 19:26:31 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++/C#/Java: Sync identical files

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2020-03-27 11:51:38 +01:00
parent 9ab8580ca7
commit 7890a322c8
18 changed files with 18 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl.qll
View File

@@ -548,6 +548,7 @@ private predicate throughFlowNodeCand(Node node, Configuration config) {
} }
/** Holds if flow may return from `callable`. */ /** Holds if flow may return from `callable`. */
pragma[nomagic]
private predicate returnFlowCallableCand( private predicate returnFlowCallableCand(
DataFlowCallable callable, ReturnKindExt kind, Configuration config DataFlowCallable callable, ReturnKindExt kind, Configuration config
) { ) {

1
cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl2.qll
View File

@@ -548,6 +548,7 @@ private predicate throughFlowNodeCand(Node node, Configuration config) {
} }
/** Holds if flow may return from `callable`. */ /** Holds if flow may return from `callable`. */
pragma[nomagic]
private predicate returnFlowCallableCand( private predicate returnFlowCallableCand(
DataFlowCallable callable, ReturnKindExt kind, Configuration config DataFlowCallable callable, ReturnKindExt kind, Configuration config
) { ) {

1
cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl3.qll
View File

@@ -548,6 +548,7 @@ private predicate throughFlowNodeCand(Node node, Configuration config) {
} }
/** Holds if flow may return from `callable`. */ /** Holds if flow may return from `callable`. */
pragma[nomagic]
private predicate returnFlowCallableCand( private predicate returnFlowCallableCand(
DataFlowCallable callable, ReturnKindExt kind, Configuration config DataFlowCallable callable, ReturnKindExt kind, Configuration config
) { ) {

1
cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl4.qll
View File

@@ -548,6 +548,7 @@ private predicate throughFlowNodeCand(Node node, Configuration config) {
} }
/** Holds if flow may return from `callable`. */ /** Holds if flow may return from `callable`. */
pragma[nomagic]
private predicate returnFlowCallableCand( private predicate returnFlowCallableCand(
DataFlowCallable callable, ReturnKindExt kind, Configuration config DataFlowCallable callable, ReturnKindExt kind, Configuration config
) { ) {

1
cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImplLocal.qll
View File

@@ -548,6 +548,7 @@ private predicate throughFlowNodeCand(Node node, Configuration config) {
} }
/** Holds if flow may return from `callable`. */ /** Holds if flow may return from `callable`. */
pragma[nomagic]
private predicate returnFlowCallableCand( private predicate returnFlowCallableCand(
DataFlowCallable callable, ReturnKindExt kind, Configuration config DataFlowCallable callable, ReturnKindExt kind, Configuration config
) { ) {

1
cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl2.qll
View File

@@ -548,6 +548,7 @@ private predicate throughFlowNodeCand(Node node, Configuration config) {
} }
/** Holds if flow may return from `callable`. */ /** Holds if flow may return from `callable`. */
pragma[nomagic]
private predicate returnFlowCallableCand( private predicate returnFlowCallableCand(
DataFlowCallable callable, ReturnKindExt kind, Configuration config DataFlowCallable callable, ReturnKindExt kind, Configuration config
) { ) {

1
cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl3.qll
View File

@@ -548,6 +548,7 @@ private predicate throughFlowNodeCand(Node node, Configuration config) {
} }
/** Holds if flow may return from `callable`. */ /** Holds if flow may return from `callable`. */
pragma[nomagic]
private predicate returnFlowCallableCand( private predicate returnFlowCallableCand(
DataFlowCallable callable, ReturnKindExt kind, Configuration config DataFlowCallable callable, ReturnKindExt kind, Configuration config
) { ) {

1
cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl4.qll
View File

@@ -548,6 +548,7 @@ private predicate throughFlowNodeCand(Node node, Configuration config) {
} }
/** Holds if flow may return from `callable`. */ /** Holds if flow may return from `callable`. */
pragma[nomagic]
private predicate returnFlowCallableCand( private predicate returnFlowCallableCand(
DataFlowCallable callable, ReturnKindExt kind, Configuration config DataFlowCallable callable, ReturnKindExt kind, Configuration config
) { ) {

1
csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImpl.qll
View File

@@ -548,6 +548,7 @@ private predicate throughFlowNodeCand(Node node, Configuration config) {
} }
/** Holds if flow may return from `callable`. */ /** Holds if flow may return from `callable`. */
pragma[nomagic]
private predicate returnFlowCallableCand( private predicate returnFlowCallableCand(
DataFlowCallable callable, ReturnKindExt kind, Configuration config DataFlowCallable callable, ReturnKindExt kind, Configuration config
) { ) {

1
csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImpl2.qll
View File

@@ -548,6 +548,7 @@ private predicate throughFlowNodeCand(Node node, Configuration config) {
} }
/** Holds if flow may return from `callable`. */ /** Holds if flow may return from `callable`. */
pragma[nomagic]
private predicate returnFlowCallableCand( private predicate returnFlowCallableCand(
DataFlowCallable callable, ReturnKindExt kind, Configuration config DataFlowCallable callable, ReturnKindExt kind, Configuration config
) { ) {

1
csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImpl3.qll
View File

@@ -548,6 +548,7 @@ private predicate throughFlowNodeCand(Node node, Configuration config) {
} }
/** Holds if flow may return from `callable`. */ /** Holds if flow may return from `callable`. */
pragma[nomagic]
private predicate returnFlowCallableCand( private predicate returnFlowCallableCand(
DataFlowCallable callable, ReturnKindExt kind, Configuration config DataFlowCallable callable, ReturnKindExt kind, Configuration config
) { ) {

1
csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImpl4.qll
View File

@@ -548,6 +548,7 @@ private predicate throughFlowNodeCand(Node node, Configuration config) {
} }
/** Holds if flow may return from `callable`. */ /** Holds if flow may return from `callable`. */
pragma[nomagic]
private predicate returnFlowCallableCand( private predicate returnFlowCallableCand(
DataFlowCallable callable, ReturnKindExt kind, Configuration config DataFlowCallable callable, ReturnKindExt kind, Configuration config
) { ) {

1
csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImpl5.qll
View File

@@ -548,6 +548,7 @@ private predicate throughFlowNodeCand(Node node, Configuration config) {
} }
/** Holds if flow may return from `callable`. */ /** Holds if flow may return from `callable`. */
pragma[nomagic]
private predicate returnFlowCallableCand( private predicate returnFlowCallableCand(
DataFlowCallable callable, ReturnKindExt kind, Configuration config DataFlowCallable callable, ReturnKindExt kind, Configuration config
) { ) {

1
java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl.qll
View File

@@ -548,6 +548,7 @@ private predicate throughFlowNodeCand(Node node, Configuration config) {
} }
/** Holds if flow may return from `callable`. */ /** Holds if flow may return from `callable`. */
pragma[nomagic]
private predicate returnFlowCallableCand( private predicate returnFlowCallableCand(
DataFlowCallable callable, ReturnKindExt kind, Configuration config DataFlowCallable callable, ReturnKindExt kind, Configuration config
) { ) {

1
java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl2.qll
View File

@@ -548,6 +548,7 @@ private predicate throughFlowNodeCand(Node node, Configuration config) {
} }
/** Holds if flow may return from `callable`. */ /** Holds if flow may return from `callable`. */
pragma[nomagic]
private predicate returnFlowCallableCand( private predicate returnFlowCallableCand(
DataFlowCallable callable, ReturnKindExt kind, Configuration config DataFlowCallable callable, ReturnKindExt kind, Configuration config
) { ) {

1
java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl3.qll
View File

@@ -548,6 +548,7 @@ private predicate throughFlowNodeCand(Node node, Configuration config) {
} }
/** Holds if flow may return from `callable`. */ /** Holds if flow may return from `callable`. */
pragma[nomagic]
private predicate returnFlowCallableCand( private predicate returnFlowCallableCand(
DataFlowCallable callable, ReturnKindExt kind, Configuration config DataFlowCallable callable, ReturnKindExt kind, Configuration config
) { ) {

1
java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl4.qll
View File

@@ -548,6 +548,7 @@ private predicate throughFlowNodeCand(Node node, Configuration config) {
} }
/** Holds if flow may return from `callable`. */ /** Holds if flow may return from `callable`. */
pragma[nomagic]
private predicate returnFlowCallableCand( private predicate returnFlowCallableCand(
DataFlowCallable callable, ReturnKindExt kind, Configuration config DataFlowCallable callable, ReturnKindExt kind, Configuration config
) { ) {

1
java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl5.qll
View File

@@ -548,6 +548,7 @@ private predicate throughFlowNodeCand(Node node, Configuration config) {
} }
/** Holds if flow may return from `callable`. */ /** Holds if flow may return from `callable`. */
pragma[nomagic]
private predicate returnFlowCallableCand( private predicate returnFlowCallableCand(
DataFlowCallable callable, ReturnKindExt kind, Configuration config DataFlowCallable callable, ReturnKindExt kind, Configuration config
) { ) {