Mathias Vorreiter Pedersen 09357e15b4 Merge pull request #16533 from MathiasVP/better-negation-guards-in-c ...

C++: Make `IRGuardCondition` handle `p` in `if(p)` and `if(!p)` better in C programs

2024-05-22 13:02:06 +01:00

..

commons

delete outdated deprecations

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

controlflow

C++: Support 'if(!p)' for C programs in IRGuards.

2024-05-20 22:28:17 +01:00

dataflow

Merge pull request #15599 from aschackmull/dataflow/fieldflowbranchlimit-v2

2024-04-23 10:08:05 +02:00

dispatch

C++: Remove omittable exists variables

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

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

Data flow: Synthesize parameter return nodes

2024-05-21 14:47:42 +02:00

metrics

C++: Remove omittable exists variables

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

models

C++: Add a missing taint step and accept test changes.

2024-04-29 09:38:42 +01: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

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

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

security

C++: PascalCase and US spelling fixes.

2024-04-03 14:17:55 +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

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

delete outdated deprecations

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

Comments.qll

Packaging: Refactor the cpp libraries

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

Compilation.qll

C++: Make implicit this receivers explicit

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

Declaration.qll

C++: Fix join order.

2023-03-09 09:23:56 +00:00

Diagnostics.qll

Packaging: Refactor the cpp libraries

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

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

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++: Resolve functions using complete mangled names

2024-02-01 16:12:53 +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++: 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

delete all deprecations that are over 14 months old

2022-03-09 18:28:07 +01: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++: 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

C++: fix implicit this

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

TestFile.qll

C++: fix implicit this

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

Type.qll

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

2023-10-19 10:45:14 +02: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++: Ensure we can round trip between (forward) class declarations

2022-06-22 07:58:45 +02:00

Variable.qll

C++: Add VariableTemplateInstantiation class

2024-03-27 11:35:13 +01:00

XML.qll

C++: Switch to shared XML.qll implementation

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