Skip to content

C++: Rename predicates in FunctionInputsAndOutputs.qll and add QLDoc#1938

Merged
jbj merged 3 commits into
github:masterfrom
dave-bartolomeo:dave/InNOut
Sep 30, 2019
Merged

C++: Rename predicates in FunctionInputsAndOutputs.qll and add QLDoc#1938
jbj merged 3 commits into
github:masterfrom
dave-bartolomeo:dave/InNOut

Commits

Commits on Sep 16, 2019

Commits on Sep 26, 2019

Commits on Sep 28, 2019