Skip to content

Parameter.qll: Tweak how effective declaration entries are computed#196

Merged
jbj merged 1 commit intogithub:rc/1.18from
pavgust:fix/param-effective-decl-entry
Sep 18, 2018
Merged

Parameter.qll: Tweak how effective declaration entries are computed#196
jbj merged 1 commit intogithub:rc/1.18from
pavgust:fix/param-effective-decl-entry

Commits

Commits on Sep 14, 2018