codeql

commons

C++: Another attempt to make the fix more solid. I believe it can't produce negative numbers now.

2025-02-28 14:21:58 +00:00

controlflow

Merge pull request #18586 from geoffw0/floatguards

2025-01-28 09:05:13 +00:00

dataflow

CPP: Simplify getClassAndNameImpl

2025-02-21 16:23:45 +00:00

dispatch

C++: Remove omittable exists variables

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

exprs

all: use my script to delete outdated deprecations

2025-01-27 22:16:48 +01:00

headers

C++: Update PreprocBlock.qll QLDoc and add C++23 test

2025-01-21 18:02:28 +01:00

internal

C++: Introduce usertypes for structs and unions

2025-01-15 11:38:01 +01:00

ir

C++: Remove yet another DefinitionExt reference.

2025-03-14 10:51:27 +01:00

metrics

C++: Remove omittable exists variables

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

models

C++: Move ATL models to ATL namespace.

2025-03-14 18:43:06 +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 pull request #18461 from paldepind/cpp-conditional-expr-range-analysis

2025-01-14 12:31:21 +01:00

security

C++: Use SSA data flow integration module.

2025-03-14 10:51:24 +01:00

stmts

C++: Simplify consteval if to be just a single class with an isNot predicate

2025-01-20 11:20:11 +01:00

valuenumbering

C++: Un-nest the if-then-else sequence.

2025-01-30 13:28:44 +01:00

ASTConsistency.ql

…

AutogeneratedFile.qll

C++: Comments.

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

Class.qll

C++: Fix incorrect dbscheme assumptions on proxy classes

2025-01-15 11:38:05 +01:00

Comments.qll

…

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

…

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

…

Field.qll

C++: Move 'hasAFieldWithOffset' to 'Field'.

2025-01-29 18:19:17 +00:00

File.qll

C++: Make File extend Locatable

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

FriendDecl.qll

…

Function.qll

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

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

Include.qll

C++: Support #elifdef #elifndef, and MSVC's #import

2025-01-21 16:14:16 +01:00

Initializer.qll

C++: Introduce relation for tracking braced initializers

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

Iteration.qll

…

Linkage.qll

C++: Make implicit this receivers explicit

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

Location.qll

C++: Fix join-order problem with isBefore

2025-02-25 12:39:11 +01:00

Macro.qll

Swift: Make Macro.getName() more efficient.

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

Member.qll

…

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++: Support #elifdef #elifndef, and MSVC's #import

2025-01-21 16:14:16 +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++: Simplify consteval if to be just a single class with an isNot predicate

2025-01-20 11:20:11 +01:00

Specifier.qll

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

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

Struct.qll

C++: Introduce usertypes for structs and unions

2025-01-15 11:38:01 +01:00

TemplateParameter.qll

C++: Introduce usertypes for structs and unions

2025-01-15 11:38:01 +01:00

TestFile.qll

…

Type.qll

C++: Introduce usertypes for structs and unions

2025-01-15 11:38:01 +01:00

TypedefType.qll

C++: Support mixed typedefs and usings

2025-01-27 11:43:17 +01:00

Union.qll

C++: Introduce usertypes for structs and unions

2025-01-15 11:38:01 +01:00

UserType.qll

C++: Apply review suggestion

2025-01-24 16:12:16 +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