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