Mathias Vorreiter Pedersen 77001a070b Merge branch 'main' into identity-consistency-check

2023-05-03 22:01:06 +01:00

..

internal

Merge branch 'main' into identity-consistency-check

2023-05-03 22:01:06 +01:00

new

Merge remote-tracking branch 'upstream/main' into merge-main

2023-03-06 15:20:39 +01:00

DataFlow2.qll

C++: Revert semmle.code.cpp.dataflow to its old state

2023-02-10 14:21:44 +01:00

DataFlow3.qll

C++: Revert semmle.code.cpp.dataflow to its old state

2023-02-10 14:21:44 +01:00

DataFlow4.qll

C++: Revert semmle.code.cpp.dataflow to its old state

2023-02-10 14:21:44 +01:00

DataFlow.qll

Merge remote-tracking branch 'upstream/main' into merge-main

2023-03-06 15:20:39 +01:00

EscapesTree.qll

Packaging: Refactor the cpp libraries

2021-08-17 11:22:36 -07:00

RecursionPrevention.qll

Packaging: Refactor the cpp libraries

2021-08-17 11:22:36 -07:00

StackAddress.qll

C++: Replace AST dataflow with IR dataflow.

2022-10-14 10:14:52 +02:00

TaintTracking2.qll

C++: Revert semmle.code.cpp.dataflow to its old state

2023-02-10 14:21:44 +01:00

TaintTracking.qll

Merge remote-tracking branch 'upstream/main' into merge-main

2023-03-06 15:20:39 +01:00