Mathias Vorreiter Pedersen 03d6528687 Update cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedAssertion.qll ...

Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>

2026-01-15 15:58:28 +00:00

..

aliased_ssa

C++: Add another convenience predicate on 'BinaryInstruction'.

2025-09-18 11:05:45 +01:00

internal

C++: Replace 'InitializeGroup' with 'UninitializedGroup'.

2024-07-16 16:16:50 +01:00

raw

Update cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedAssertion.qll

2026-01-15 15:58:28 +00:00

unaliased_ssa

C++: Sync identical files.

2025-09-18 11:05:47 +01:00

EdgeKind.qll

C++: Add a few subclasses to 'EdgeKind'.

2025-09-18 11:05:43 +01:00

IRConfiguration.qll

C++: Enable sound IR.

2024-04-08 10:10:31 +01:00

IRType.qll

C#, C++: Make implicit this receivers explicit

2023-05-09 15:33:51 +02:00

MemoryAccessKind.qll

C++: Replace 'InitializeGroup' with 'UninitializedGroup'.

2024-07-16 16:16:50 +01:00

Opcode.qll

C++: Support the spaceship operator in the IR

2025-07-16 17:53:55 +02:00

SSA.md

Packaging: Refactor the cpp libraries

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

TempVariableTag.qll

Packaging: Refactor the cpp libraries

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

UseSoundEscapeAnalysis.qll

Packaging: Refactor the cpp libraries

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