Geoffrey White 512731a38d C++: Add test for Dereferenced.qll.

2022-06-14 13:53:28 +01:00

..

assume

C++: Autoformat everything

2019-09-09 11:25:53 +02:00

controlflow

remove redundant inline casts in arguments where the type is inferred by the call target

2021-10-29 14:37:56 +02:00

dereferenced

C++: Add test for Dereferenced.qll.

2022-06-14 13:53:28 +01:00

dominance

C++: Artificial block insertion for loops and switches has changed in frontend

2022-04-25 21:13:52 +02:00

exits

C++: Function error doesn't always exit

2019-02-26 16:31:34 +01:00

guards

C++: Autoformat everything

2019-09-09 11:25:53 +02:00

guards-ir

C++: Accept test results with location fixes

2020-05-28 09:42:49 +02:00

loopentrycondition

C++: Autoformat everything

2019-09-09 11:25:53 +02:00

primitives

C++: Accept test results with location fixes

2020-05-28 09:42:49 +02:00

stackvariablereachability

C++: Autoformat tests.

2020-01-24 09:43:58 +00:00