Ed Minnix 2c0a456855 C++: Add default implementation of StateConfigSig::isAdditionalFlowStep/4

2023-07-12 15:06:24 -04:00

..

tainttracking1

Dataflow: Sync

2023-03-24 12:42:06 +01:00

tainttracking2

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

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

AddressFlow.qll

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

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

DataFlow.qll

C++: Add default implementation of StateConfigSig::isAdditionalFlowStep/4

2023-07-12 15:06:24 -04:00

DataFlowDispatch.qll

Rename and document viableArgParamSpecific to make clear it is a temporary hook.

2023-04-12 14:33:46 +01:00

DataFlowImpl1.qll

Merge pull request #12687 from jketema/unit-2

2023-03-29 13:07:12 +02:00

DataFlowImpl2.qll

Merge pull request #12687 from jketema/unit-2

2023-03-29 13:07:12 +02:00

DataFlowImpl3.qll

Merge pull request #12687 from jketema/unit-2

2023-03-29 13:07:12 +02:00

DataFlowImpl4.qll

Merge pull request #12687 from jketema/unit-2

2023-03-29 13:07:12 +02:00

DataFlowImpl.qll

DataFlow: Sync identical files.

2023-07-06 14:00:00 +01:00

DataFlowImplCommon.qll

Remove pragma[assume_small_delta]

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

DataFlowImplConsistency.qll

DataFlow: Sync identical files.

2023-04-27 18:40:33 +01:00

DataFlowImplLocal.qll

Merge pull request #12687 from jketema/unit-2

2023-03-29 13:07:12 +02:00

DataFlowImplSpecific.qll

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

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

DataFlowPrivate.qll

Rename to neverSkipInPathGraph

2023-06-14 15:29:54 +01:00

DataFlowUtil.qll

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

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

FlowVar.qll

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

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

SubBasicBlocks.qll

delete old deprecations

2023-03-03 09:23:02 +01:00

TaintTrackingUtil.qll

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

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