Geoffrey White e223557201 C++: Wean NewDelete.qll off the legacy wrapper Alloc.qll.

2020-04-06 14:32:15 +01:00

..

examples

CPP: Autoformat cookbook examples.

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

src

C++: Wean NewDelete.qll off the legacy wrapper Alloc.qll.

2020-04-06 14:32:15 +01:00

test

C++: Model calls to operator new / delete for NewFreeMismatch.ql.

2020-04-06 14:27:05 +01:00