Mathias Vorreiter Pedersen 54cadcfe9b C++: Forward to a cached predicate in a cached module instead of caching the predicate in 'Instruction.qll' to include it in the cached stage of the other predicates.

2024-04-26 13:44:45 +01:00

..

examples

CPP: Enable implicit this warnings for remaining packs

2023-06-27 14:44:24 +02:00

lib

C++: Forward to a cached predicate in a cached module instead of caching the predicate in 'Instruction.qll' to include it in the cached stage of the other predicates.

2024-04-26 13:44:45 +01:00

src

C++: Fix typo.

2024-04-25 14:52:56 +01:00

test

C++: Print destructors for children of statements that are again statements

2024-04-25 13:25:42 +02:00