Jonas Jensen f0f752844e Merge remote-tracking branch 'upstream/master' into dbartol/Indirections ...

Conflicts:
	cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasedSSA.qll
	csharp/ql/src/semmle/code/csharp/ir/implementation/unaliased_ssa/internal/AliasAnalysis.qll

2020-01-30 10:26:44 +01:00

..

additional-flow-to-parameter

C++: Autoformat everything

2019-09-09 11:25:53 +02:00

dataflow-edge-tests

C++: Autoformat everything

2019-09-09 11:25:53 +02:00

dataflow-tests

C++: Accept dataflow test changes due to new alias analysis

2020-01-28 10:58:27 -07:00

DefaultTaintTracking

Merge pull request #2676 from jbj/dataflow-partial-chi

2020-01-29 13:44:06 -05:00

fields

C++: Autoformat.

2020-01-29 13:11:50 +01:00

partialdefinitions

C++: Don't create partial defs for calls to const

2019-09-10 09:49:16 +02:00

recursion

C++: Autoformat everything

2019-09-09 11:25:53 +02:00

security-taint

C++: Add the security taint test (previously internal).

2020-01-24 11:28:51 +00:00

stackaddress

QL code and tests for C#/C++/JavaScript.

2018-08-02 17:53:23 +01:00

taint-tests

C++: Taint through most partial chi operands

2020-01-29 18:02:03 +01:00

variable

C++: Relax type in two tests

2019-11-19 11:31:34 +01:00