Mathias Vorreiter Pedersen 6aa40050bd C++: Use member predicates on parameterized module parameters now that it's available in the language.

2023-05-10 09:24:38 +01:00

..

implementations

C++: Use member predicates on parameterized module parameters now that it's available in the language.

2023-05-10 09:24:38 +01:00

interfaces

C++: Make implicit this receivers explicit

2023-05-09 15:35:54 +02:00

Models.qll

C++: Model scanf and fscanf as flow sources

2022-12-08 15:22:41 +01:00