Chuan-kai Lin ce464a7d69 Remove pragma[assume_small_delta]

2023-06-30 11:09:29 -07:00

..

internal

Remove pragma[assume_small_delta]

2023-06-30 11:09:29 -07: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