Jonas Jensen bebd5ae36b C++: Call qualifiers are passed by reference ...

After #3382 changed the escape analysis to model qualifiers as escaping,
there was an imbalance in the SSA library, where `addressTakenVariable`
excludes variables from SSA analysis if they have their address taken
but are _not_ passed by reference. This showed up as a missing result in
`TOCTOUFilesystemRace.ql`, demonstrated with a test case in #3432.

This commit changes the definition of "pass by reference" to include
call qualifiers, which allows SSA modeling of variables that have member
function calls on them.

2020-05-11 09:39:48 +02:00

..

examples

CPP: Autoformat cookbook examples.

2019-08-02 15:29:20 +02:00

src

C++: Call qualifiers are passed by reference

2020-05-11 09:39:48 +02:00

test

C++: Call qualifiers are passed by reference

2020-05-11 09:39:48 +02:00