Mathias Vorreiter Pedersen
4b5a203b46
Merge pull request #15463 from microsoft/42-false-positive-cpp-uninitializedlocal
...
False positive fix for cpp/uninitialized-local
2024-01-31 09:31:31 +00:00
Benjamin Rodes
1a044fbbde
Merge branch '42-false-positive-cpp-uninitializedlocal' of https://github.com/microsoft/codeql into 42-false-positive-cpp-uninitializedlocal
2024-01-30 09:22:51 -05:00
Benjamin Rodes
f58f77de82
PR change suggestions.
2024-01-30 09:22:22 -05:00
Ben Rodes
8c04bbfb57
Update cpp/ql/src/change-notes/2024-01-29-uninitialized-local-false-positive.md
...
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com >
2024-01-30 09:19:49 -05:00
Mathias Vorreiter Pedersen
78d5d9a7ab
Merge pull request #15448 from microsoft/false_positive_cpp_incorrect_string_type_conversion
...
cpp/incorrect-string-type-conversion false positive fixes
2024-01-30 09:37:01 +00:00
Benjamin Rodes
13cf555cee
False positive fix for cpp/uninitialized-local
2024-01-29 13:21:05 -05:00
Mathias Vorreiter Pedersen
5024df9c4e
C++: Add change note.
2024-01-29 16:30:55 +00:00
Mathias Vorreiter Pedersen
ebd1595fbe
C++: Fix FP by concluding that a less-than-zero check also implies a not-equal-to-EOF check.
2024-01-29 16:24:36 +00:00
Ben Rodes
308a3b533f
Update cpp/ql/src/change-notes/2024-01-29-false_positive_incorrect_string_type_conversion.md
...
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com >
2024-01-29 09:35:59 -05:00
Benjamin Rodes
6f17c432d9
Change log
2024-01-29 09:19:39 -05:00
Mathias Vorreiter Pedersen
044d94c580
C++: Add change note
2024-01-29 13:47:17 +00:00
Mathias Vorreiter Pedersen
41f44f598a
C++: Explicitly check that a check for EOF isn't present.
2024-01-29 11:33:14 +00:00
Ben Rodes
f79846467e
Update cpp/ql/src/Security/CWE/CWE-704/WcharCharConversion.ql
...
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com >
2024-01-26 15:25:08 -05:00
Benjamin Rodes
562221f48e
False positive fix.
2024-01-26 13:27:14 -05:00
Geoffrey White
b125d2c9ab
Merge branch 'main' into cppfiles
2024-01-26 16:47:48 +00:00
github-actions[bot]
d0b74c00fe
Post-release preparation for codeql-cli-2.16.1
2024-01-23 23:02:29 +00:00
github-actions[bot]
7ef611e6dc
Release preparation for version 2.16.1
2024-01-23 19:45:16 +00:00
Mathias Vorreiter Pedersen
145b5a30bd
Merge pull request #15343 from microsoft/38-cpp-generalize-use-after-free-libraries
...
Generalization of FlowAfterFree
2024-01-23 16:49:29 +00:00
Benjamin Rodes
da10e6ca5b
Moving FlowAfterFree and UseAfterFree.qll as a general purpose lib.
2024-01-22 11:18:03 -05:00
erik-krogh
8be7eadace
delete outdated deprecations
2024-01-22 09:11:35 +01:00
Geoffrey White
5127542677
C++: Rename the query file.
2024-01-19 16:31:34 +00:00
Geoffrey White
01ee61e5ea
C++: Change note.
2024-01-19 15:56:54 +00:00
Geoffrey White
4691bf2cb5
C++: Be more optimistic about successfully scanned files.
2024-01-19 15:55:54 +00:00
Benjamin Rodes
833ef9d6d6
Further reorg of libraries and predicates to allow for more reusable and consistent libraries.
2024-01-18 11:17:24 -05:00
Benjamin Rodes
967526b285
Separating out use after free logic into a library and a ql so the query can be expanded easily.
2024-01-18 10:59:17 -05: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
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
Paolo Tranquilli
27160b8861
C++: add change note
2024-01-09 15:31:43 +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
github-actions[bot]
a6c8cc9551
Release preparation for version 2.16.0
2024-01-08 13:11:26 +00:00
Aditya Sharad
b1803d0ac2
Merge rc/3.12 into main
2023-12-21 16:40:51 -08:00
Mathias Vorreiter Pedersen
44124158c4
Merge pull request #15078 from alexet/unique-pointer-temporary
...
CPP: Add query for detecting invalid uses of temporary unique pointers.
2023-12-20 11:16:01 +01:00
Mathias Vorreiter Pedersen
57e0804cef
Update cpp/ql/src/Security/CWE/CWE-416/UseOfUniquePointerAfterLifetimeEnds.ql
...
Co-authored-by: Felicity Chapman <felicitymay@github.com >
2023-12-20 10:52:42 +01:00
github-actions[bot]
8f72b0e4f7
Post-release preparation for codeql-cli-2.15.5
2023-12-19 10:32:57 +00:00
github-actions[bot]
19af35b29a
Release preparation for version 2.15.5
2023-12-18 21:22:44 +00:00
Mathias Vorreiter Pedersen
aafde4d18d
C++: Fix joins in 'cpp/use-after-free'.
2023-12-18 14:49:09 +01:00
Mathias Vorreiter Pedersen
8ed9fbb295
Merge pull request #15123 from MathiasVP/fix-fps-in-double-free
...
C++: Fix FPs in `cpp/double-free` and `cpp/use-after-free`
2023-12-18 10:44:18 +01:00
Mathias Vorreiter Pedersen
e88c6888bc
Merge pull request #15121 from MathiasVP/fix-joins-in-av-rule-145
...
C++: Fix joins in `AV Rule 145`
2023-12-18 10:42:46 +01:00
Mathias Vorreiter Pedersen
ef916f0ba0
C++: Mitigate ODR violations.
2023-12-15 17:16:04 +00:00
Mathias Vorreiter Pedersen
0543ed115e
C++: Add barrier for array lookups in 'cpp/double-free' and 'cpp/use-after-free'.
2023-12-15 14:57:17 +00:00
Mathias Vorreiter Pedersen
dc9c538fcc
Merge pull request #15120 from MathiasVP/fix-joins-in-av-rule-79
...
C++: Fix joins in `cpp/resource-not-released-in-destructor`
2023-12-15 14:06:53 +00:00
Mathias Vorreiter Pedersen
1cbe01923d
C++: Fix joins in 'AV Rule 145'.
2023-12-15 13:08:13 +00:00
Alex Eyers-Taylor
8e92fcc08f
CPP: Format Temporaries
2023-12-15 12:00:44 +00:00
Mathias Vorreiter Pedersen
ce326a0f79
C++: Fix joins.
2023-12-15 11:37:28 +00:00
Alexander Eyers-Taylor
c68d3c5983
Update cpp/ql/src/Security/CWE/CWE-416/Temporaries.qll
...
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com >
2023-12-15 11:23:11 +00:00