Mathias Vorreiter Pedersen 5509562fe6 C++: Repair a few broken models that were incorrectly a pointer ...

as tainted (instead of the pointee), or vice versa. Because of
existing dataflow pointer/pointee conflation we never noticed that,
but since this PR removes those imprecisions we now need to update
these models.

2022-09-09 17:04:36 +01:00

..

implementations

C++: Repair a few broken models that were incorrectly a pointer

2022-09-09 17:04:36 +01:00

interfaces

delete old deprecations

2022-08-16 22:27:15 +02:00

Models.qll

Merge branch 'main' into rdmarsh2/improve-exec-tainted

2021-09-22 11:51:18 -07:00