Mathias Vorreiter Pedersen 5b1b60cc92 Merge pull request #16797 from MathiasVP/yml-for-allocation-and-deallocation ...

C++: Add extensible predicates to `Allocation` and `Deallocation`

2024-06-24 15:34:27 +01:00

..

commons

delete outdated deprecations

2024-01-22 09:11:35 +01:00

controlflow

C++: Fix QLDoc.

2024-06-10 13:39:34 +01:00

dataflow

Dataflow: Cache compatibleTypes.

2024-06-24 13:35:48 +02:00

dispatch

…

exprs

C++: Add getters for the other children of 'co_return' and 'co_yield'.

2024-04-22 21:38:13 +01:00

headers

C++: Remove all cached tags.

2024-02-02 12:23:06 +00:00

internal

C++: Resolve functions using complete mangled names

2024-02-01 16:12:53 +01:00

ir

Merge pull request #16785 from aschackmull/dataflow/stage3-notypes

2024-06-24 15:21:37 +02:00

metrics

…

models

C++: Replace allocation models with models from extensible predicates.

2024-06-21 08:54:09 +01:00

padding

…

pointsto

…

rangeanalysis

C++: Fix QLDoc on 'cmpWithLinearBound' as a response to #15248.

2024-01-09 10:07:22 +00:00

security

C++: Fix FP by also excluding indirections of array expressions.

2024-06-13 10:59:39 +01:00

stmts

C++: Support C++20 range-based for initializers

2024-02-16 15:20:14 +01:00

valuenumbering

reinroduce GLobalValueNumbering.qll, that one was supposed to stay

2024-04-26 06:52:57 +02:00

ASTConsistency.ql

…

AutogeneratedFile.qll

…

Class.qll

delete outdated deprecations

2024-01-22 09:11:35 +01:00

Comments.qll

…

Compilation.qll

C++: Make implicit this receivers explicit

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

Declaration.qll

…

Diagnostics.qll

…

Element.qll

C++: Resolve functions using complete mangled names

2024-02-01 16:12:53 +01:00

Enclosing.qll

C++: Add implicit named destructosrs to the IR CFG

2024-02-02 17:36:02 +00:00

Enum.qll

…

Field.qll

C++: Make implicit this receivers explicit

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

File.qll

C++: Make File extend Locatable

2023-10-25 14:05:38 +02:00

FriendDecl.qll

…

Function.qll

C++: Resolve functions using complete mangled names

2024-02-01 16:12:53 +01:00

Include.qll

…

Initializer.qll

…

Iteration.qll

…

Linkage.qll

C++: Make implicit this receivers explicit

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

Location.qll

…

Macro.qll

Swift: Make Macro.getName() more efficient.

2023-05-31 10:53:02 +01:00

Member.qll

…

MemberFunction.qll

…

NameQualifiers.qll

Remove library annotations

2023-10-13 12:46:56 +02:00

Namespace.qll

C++: Include inline namespaces in StdNamespace

2023-05-22 11:41:49 +02:00

NestedFields.qll

C++: Make implicit this receivers explicit

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

Parameter.qll

…

PODType03.qll

delete outdated deprecations

2024-01-22 09:11:35 +01:00

Preprocessor.qll

…

Print.qll

C++: Remove redundant case from shouldPrintDeclaration

2023-07-20 16:11:17 +02:00

PrintAST.ql

C++: Rename shouldPrintFunction to shouldPrintDeclaration

2023-07-19 16:55:43 +02:00

PrintAST.qll

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

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

Specifier.qll

Update cpp/ql/lib/semmle/code/cpp/Specifier.qll

2024-01-02 12:52:18 +01:00

Struct.qll

…

TestFile.qll

…

Type.qll

C++: Add support for C23/C++23 floating-point types

2023-10-19 10:45:14 +02:00

TypedefType.qll

…

Union.qll

…

UserType.qll

…

Variable.qll

C++: Correctly identify orphaned variables as static

2024-06-06 20:35:26 +02:00

XML.qll

C++: Switch to shared XML.qll implementation

2024-03-19 13:14:42 +01:00