Jonas Jensen d816701e07 Revert "C++: Use StackVariable in Nullness.qll" ...

It looks like allowing statics in `Nullness.qll` is fine since it's a
"may be null" analysis rather than a "must be null" analysis.

This reverts commit f5b9837e19.

2019-11-28 17:44:42 +01:00

..

examples

CPP: Autoformat cookbook examples.

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

src

Revert "C++: Use StackVariable in Nullness.qll"

2019-11-28 17:44:42 +01:00

test

C++: Relax type in two tests

2019-11-19 11:31:34 +01:00