Geoffrey White
a8863e44db
C++: Port implementation to CPP.
2024-01-18 13:24:57 +00:00
Geoffrey White
3aacc5ffde
C++: Copy FlowSummaryImpl.qll from Swift.
2024-01-18 13:01:16 +00:00
Geoffrey White
fbf9545338
C++: Copy ExternalFlow.qll from Swift.
2024-01-18 13:01:16 +00:00
Geoffrey White
303882350b
C++: Add some test cases for new (real) taint sources to be defined using models-as-data.
2024-01-18 13:01:16 +00:00
Geoffrey White
9611e4ce19
C++: Add tests for (synthetic) models-as-data sources and sinks.
2024-01-18 13:01:16 +00:00
Ben Rodes
67e43ecc44
Merge branch 'main' into 38-cpp-generalize-use-after-free-libraries
2024-01-17 08:05:41 -08:00
Mathias Vorreiter Pedersen
39dafd6f6a
C++: Suggestions to #15343 ( #39 )
...
* C++: Change the interface of 'FlowAfterFree' so that the module it takes
a single module as a parameter.
* C++: Add another predicate to the module signature.
* C++: Convert the use-after-free and double-free libraries to use new interface.
* C++: Accept test changes.
2024-01-17 11:02:46 -05:00
Alex Denisov
f1049a4431
C++: update tests to pick up destructor changes
2024-01-17 12:05:30 +01:00
Benjamin Rodes
9a0e2e57ba
Updating .expected
2024-01-16 13:18:25 -05:00
Benjamin Rodes
a0ef7955b1
Updating FlowAfterFree to not enforce dominance of source/sink. DoubleFree and UseAfterFree queries now enforce dominance.
2024-01-16 13:15:36 -05:00
Alexander Eyers-Taylor
934474681d
Merge pull request #15254 from github/post-release-prep/codeql-cli-2.16.0
...
Post-release preparation for codeql-cli-2.16.0
2024-01-16 14:50:40 +00:00
github-actions[bot]
57df8b92df
Post-release preparation for codeql-cli-2.16.0
2024-01-15 15:00:50 +00:00
Ian Lynagh
ff2b40a53d
Merge pull request #15315 from igfoo/igfoo/typo
...
C++: Fix typo
2024-01-12 18:28:32 +00:00
Ian Lynagh
e357d18d35
C++: Fix typo
2024-01-12 17:57:34 +00:00
Mathias Vorreiter Pedersen
6bd31deb00
Merge pull request #15282 from MathiasVP/fix-duplicate-final-global-value
...
C++: Fix duplicate "final global value" nodes
2024-01-12 11:05:19 +00:00
Mathias Vorreiter Pedersen
8f36584bd9
C++: Fix Code Scanning errors.
2024-01-12 10:20:20 +00:00
Mathias Vorreiter Pedersen
34980bfe20
C++: Add more QLDoc.
2024-01-12 10:12:34 +00:00
Mathias Vorreiter Pedersen
fe2c806c2d
C++: Undo some of the reverting.
2024-01-12 09:35:50 +00:00
Mathias Vorreiter Pedersen
84d08b0417
Revert "Merge pull request #12125 from jketema/unique-function"
...
This reverts commit 9c039c4a08 , reversing
changes made to ecd2003c14 .
2024-01-12 09:29:17 +00:00
Jeroen Ketema
1c9f5b8b74
Merge pull request #15300 from github/sashabu/uuidof
...
C++: Add a test with `__uuidof` in a template.
2024-01-12 00:05:49 +01:00
Alexandre Boulgakov
3493252321
C++: Add a test with __uuidof in a template.
2024-01-11 22:11:50 +01:00
Tom Hvitved
a1036c81ee
Merge pull request #15273 from hvitved/ruby/captured-yield
...
Ruby: Handle captured `yield` calls
2024-01-11 14:34:34 +01:00
Paolo Tranquilli
482b5f3b29
Merge pull request #15265 from github/redsun82/def-to-non-header-include-exceptions
...
C++: add `.def` to exceptions to AV rule 32
2024-01-11 08:34:43 +01:00
Tom Hvitved
ad75562b55
CPP: Update expected test output
2024-01-10 15:27:22 +01:00
Mathias Vorreiter Pedersen
7a0cbb4e5a
C++: Accept test changes.
2024-01-10 11:55:53 +00:00
Mathias Vorreiter Pedersen
0c3ea6c5df
C++: Fix conflation issue.
2024-01-10 11:55:39 +00:00
Mathias Vorreiter Pedersen
259bf27334
C++: Add pointer/pointee conflation test.
2024-01-10 11:51:40 +00:00
Tom Hvitved
c9cf2a899c
Merge pull request #15260 from hvitved/dataflow/may-benefit-from-cctx-simplify
...
Data flow: Remove column from `mayBenefitFromCallContext`
2024-01-10 11:43:15 +01:00
Paolo Tranquilli
27160b8861
C++: add change note
2024-01-09 15:31:43 +01:00
Paolo Tranquilli
0bfeadbf1f
C++: add .def to exception to test
2024-01-09 15:30:27 +01:00
Paolo Tranquilli
270df940ff
C++: add .def to exceptions to AV rule 32
...
This is used as textual includes in several projects for macro
metaprogramming, for example in `llvm-project` and in `swift` (and since
some time in our internal codebase as well).
2024-01-09 15:18:13 +01:00
Tom Hvitved
f90201eb56
Data flow: Remove column from mayBenefitFromCallContext
2024-01-09 11:34:43 +01:00
Mathias Vorreiter Pedersen
f5e1e49761
C++: Fix QLDoc on 'cmpWithLinearBound' as a response to #15248 .
2024-01-09 10:07:22 +00:00
Jeroen Ketema
9330afbe8a
Merge pull request #15252 from jketema/builtin-rm
...
C++: Remove test that is no longer relevant
2024-01-08 20:38:46 +01:00
Mathias Vorreiter Pedersen
18bd0d0ad0
Merge pull request #14954 from microsoft/32-cpp-string-concatenation-library
...
32 cpp string concatenation library
2024-01-08 18:42:31 +01:00
Jeroen Ketema
e772531bb3
C++: Remove test that is no longer relevant
2024-01-08 15:24:41 +01:00
github-actions[bot]
a6c8cc9551
Release preparation for version 2.16.0
2024-01-08 13:11:26 +00:00
Chuan-kai Lin
6f5bce046c
C++: Fix upgrade delete directives
2024-01-05 14:20:30 -08:00
Ben Rodes
250ed48bf3
Update cpp/ql/lib/semmle/code/cpp/commons/StringConcatenation.qll
...
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com >
2024-01-05 08:19:11 -05:00
Ben Rodes
2b325e99ce
Merge branch 'main' into 32-cpp-string-concatenation-library
2024-01-04 15:28:28 -05:00
Benjamin Rodes
ed788e0a7a
Updating test output.
2024-01-04 15:27:29 -05:00
Benjamin Rodes
e9bb3b4b28
Limiting << operator to ostream, and putting this check at the same location as the check for basic_string for + operator.
2024-01-04 15:25:47 -05:00
Ben Rodes
8d84540a54
Update cpp/ql/lib/semmle/code/cpp/commons/StringConcatenation.qll
...
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com >
2024-01-04 09:09:20 -05:00
Jeroen Ketema
466536a914
Merge pull request #15214 from jketema/improve-test
...
C++: Improve special members test by printing more function details
2024-01-03 15:18:23 +01:00
Jeroen Ketema
ae135ac633
C++: Improve special members test by printing more function details
...
Without this it is very hard to see what specifically is defaulted/deleted.
2024-01-03 13:35:25 +01:00
Jeroen Ketema
262985a760
C++: Add change note
2024-01-02 16:32:24 +01:00
Jeroen Ketema
9c1de5b2b6
C++: Support more function types
2024-01-02 15:13:20 +01:00
Jeroen Ketema
f59a00c5ea
Update cpp/ql/lib/semmle/code/cpp/Specifier.qll
...
Co-authored-by: Calum Grant <42069085+calumgrant@users.noreply.github.com >
2024-01-02 12:52:18 +01:00
Jeroen Ketema
ad2fb7c6d5
C++: Support attribute arguments that are expressions
2023-12-23 10:04:50 +01:00
Aditya Sharad
bbe3269b8c
Merge pull request #15189 from github/adityasharad/merge/3.12-main
...
Merge `rc/3.12` into `main`
2023-12-22 11:26:37 -08:00