Jeroen Ketema 8c3e5b6f56 Merge pull request #18368 from github/jketema/template-parameters-7 ...

C++: Handle requires clauses and type template type constraints

2025-01-10 15:02:41 +01:00

..

commons

C++: Introduce a new base class for template parameters

2024-12-17 20:25:41 +01:00

controlflow

C++: Fix incorrect QLDoc.

2024-12-16 14:02:50 +00:00

dataflow

Merge pull request #18298 from hvitved/rust/mad-source-sink

2025-01-10 11:49:51 +01:00

dispatch

C++: Remove omittable exists variables

2023-01-10 13:36:01 +01:00

exprs

C++: Introduce SizeofPackOperator subclasses for expressions and types

2024-12-20 13:51:45 +01:00

headers

C++: Remove all cached tags.

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

internal

C++: Introduce a new base class for template parameters

2024-12-17 20:25:41 +01:00

ir

C++: Fix ql-for-ql findings.

2024-12-17 16:55:52 +00:00

metrics

C++: Remove omittable exists variables

2023-01-10 13:36:01 +01:00

models

Merge pull request #18136 from MathiasVP/model-active-template-library

2024-12-09 16:05:19 +00:00

padding

simplify expressions that could be type-casts

2022-01-20 10:41:35 +01:00

pointsto

C++: Specifically suggest DataFlow as an alternative.

2022-09-12 14:25:45 +01:00

rangeanalysis

Merge branch 'main' into shared/locations-in-range-analysis

2025-01-08 16:40:59 +01:00

security

Merge pull request #17583 from jketema/rm-inline

2024-09-25 16:30:30 +02: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

Packaging: Refactor the cpp libraries

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

AutogeneratedFile.qll

C++: Comments.

2022-04-19 10:04:15 +01:00

Class.qll

C++: Support arguments and instantiations of template template parameters

2025-01-02 17:59:06 +01:00

Comments.qll

Packaging: Refactor the cpp libraries

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

Compilation.qll

Revert "Revert "C++: Implement compilation_build_mode""

2024-11-22 15:48:50 +00:00

Concept.qll

C++: Simplify toString

2025-01-09 11:03:41 +01:00

ConfigurationTestFile.qll

C++: Silence alerts coming from CMake test compilation files

2025-01-07 14:12:55 +01:00

Declaration.qll

C++: Support concept id expressions

2025-01-09 00:44:26 +01:00

Diagnostics.qll

Packaging: Refactor the cpp libraries

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

Element.qll

C++: Add missing parent scope cases

2024-10-15 17:16:58 +02:00

Enclosing.qll

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

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

Enum.qll

C++: fix implicit this

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

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

Packaging: Refactor the cpp libraries

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

Function.qll

C++: Add support for requires clauses and constraints on template parameters

2025-01-10 10:19:34 +01:00

Include.qll

C++: fix implicit this

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

Initializer.qll

C++: Introduce relation for tracking braced initializers

2022-05-30 16:26:19 +02:00

Iteration.qll

Packaging: Refactor the cpp libraries

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

Linkage.qll

C++: Make implicit this receivers explicit

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

Location.qll

C++: Fix bad join in 'definitionOf'.

2023-01-13 11:42:15 +00:00

Macro.qll

Swift: Make Macro.getName() more efficient.

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

Member.qll

Packaging: Refactor the cpp libraries

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

MemberFunction.qll

delete all deprecations that are over 14 months old

2022-03-09 18:28:07 +01:00

NameQualifiers.qll

Remove library annotations

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

Namespace.qll

C++: Support using enum declarations.

2024-07-22 17:42:25 +01:00

NestedFields.qll

C++: Make implicit this receivers explicit

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

Parameter.qll

C++: Improve parameter naming

2024-10-16 11:33:18 +02:00

PODType03.qll

delete outdated deprecations

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

Preprocessor.qll

C++: fix implicit this

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

Print.qll

C++: Introduce a new base class for template parameters

2024-12-17 20:25:41 +01:00

PrintAST.ql

C++: Rename shouldPrintFunction to shouldPrintDeclaration

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

PrintAST.qll

C++: Remove some redundant toStrings

2025-01-09 11:04:07 +01:00

Specifier.qll

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

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

Struct.qll

C++: fix implicit this

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

TemplateParameter.qll

C++: Add support for requires clauses and constraints on template parameters

2025-01-10 10:19:34 +01:00

TestFile.qll

C++: fix implicit this

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

Type.qll

C++: Add NonTypeTemplateParameter class

2024-12-18 17:37:15 +01:00

TypedefType.qll

delete all deprecations that are over 14 months old

2022-03-09 18:28:07 +01:00

Union.qll

C++: fix implicit this

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

UserType.qll

C++: Add support for requires clauses and constraints on template parameters

2025-01-10 10:19:34 +01:00

Variable.qll

C++: Add support for requires clauses and constraints on template parameters

2025-01-10 10:19:34 +01:00

XML.qll

C++: Switch to shared XML.qll implementation

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