Calum Grant c51efb1477 C++: Tighten up definitions of field accesses

2023-10-18 11:39:09 +01:00

..

Access.qll

C++: Tighten up definitions of field accesses

2023-10-18 11:39:09 +01:00

ArithmeticOperation.qll

C++: fix implicit this

2021-10-15 14:59:48 +01:00

Assignment.qll

C++: Expose block assignment operations in the QL library

2022-08-12 18:43:23 +02:00

BitwiseOperation.qll

Packaging: Refactor the cpp libraries

2021-08-17 11:22:36 -07:00

BuiltInOperations.qll

CPP:Make __is_trivial a builtin operation.

2023-09-14 12:50:36 +01:00

Call.qll

spelling: representing

2022-10-14 15:08:44 -04:00

Cast.qll

spelling: alignof

2022-10-14 15:08:43 -04:00

ComparisonOperation.qll

C++: Make implicit this receivers explicit

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

Expr.qll

Apply suggestions from code review

2023-08-25 17:15:08 +01:00

Lambda.qll

C++: Deprecate single-parameter 'getFieldExpr' and 'getElementExpr'.

2023-04-04 15:14:27 +01:00

Literal.qll

C++: Oops. Forgot to replace one use of a deprecated predicate.

2023-04-04 15:30:02 +01:00

LogicalOperation.qll

Packaging: Refactor the cpp libraries

2021-08-17 11:22:36 -07:00