Merge rc/1.18 into next.#228

Merged

nickrolfe merged 13 commits intogithub:nextfrom

adityasharad:merge/1.18-next-250918

Sep 26, 2018

Commits on Sep 11, 2018

Commits on Sep 14, 2018

Merge pull request #177 from jbj/ir-array-init-perf
dave-bartolomeo
authored
Parameter.qll: Tweak how effective declaration entries are computed
pavgust
committed

Commits on Sep 17, 2018

Commits on Sep 18, 2018

Merge pull request #196 from pavgust/fix/param-effective-decl-entry
jbj
authored

Commits on Sep 19, 2018

Merge pull request #202 from jbj/resolveClass-conservative
ian-semmle
authored

Commits on Sep 24, 2018

C++ definitions: Ignore type mentions of class inatantiations.
pavgust
committed

Commits on Sep 25, 2018