Mathias Vorreiter Pedersen 986aa74db7 Merge pull request #13972 from MathiasVP/range-analysis-for-sub-expr ...

C++: Support subtraction in the new range analysis

2023-08-16 11:51:11 +01:00

..

change-notes/released

Release preparation for version 2.14.2

2023-08-07 18:08:52 +00:00

experimental/semmle/code/cpp

C++: Promote the product-dataflow library out of experimental.

2023-05-23 09:48:50 -07:00

external

Revert "Merge pull request #7982 from jketema/remove-legacy-relations"

2022-02-14 09:11:56 +00:00

semmle

Merge pull request #13972 from MathiasVP/range-analysis-for-sub-expr

2023-08-16 11:51:11 +01:00

upgrades

C++: Update dbscheme and add upgrade and downgrade scripts

2023-08-04 17:59:03 +02:00

BUILD.bazel

Bazel: add skeleton bazel workspace

2022-04-01 14:04:50 +02:00

CHANGELOG.md

Release preparation for version 2.14.2

2023-08-07 18:08:52 +00:00

codeql-pack.release.yml

Release preparation for version 2.14.2

2023-08-07 18:08:52 +00:00

cpp.qll

CPP: remove remaining ObjectiveC references

2022-03-10 19:00:49 +01:00

DefaultOptions.qll

C++: Handle C11 _Noreturn in DefaultOptions

2022-03-15 23:21:14 +01:00

definitions.qll

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

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

IDEContextual.qll

Move contextual queries from src to lib

2022-06-29 07:51:26 -07:00

localDefinitions.ql

Move contextual queries from src to lib

2022-06-29 07:51:26 -07:00

localReferences.ql

Move contextual queries from src to lib

2022-06-29 07:51:26 -07:00

Options.qll

C++: Handle C11 _Noreturn in DefaultOptions

2022-03-15 23:21:14 +01:00

printAst.ql

C++: Rename shouldPrintFunction to shouldPrintDeclaration

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

qlpack.lock.yml

Packaging: Refactor the cpp libraries

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

qlpack.yml

Post-release preparation for codeql-cli-2.14.2

2023-08-09 18:45:18 +00:00

semmlecode.cpp.dbscheme

C++: Update dbscheme and add upgrade and downgrade scripts

2023-08-04 17:59:03 +02:00

semmlecode.cpp.dbscheme.stats

C++: Update dbscheme stats file

2023-08-04 22:07:00 +02:00