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 |
|
Geoffrey White
|
af17ae236f
|
C++: Autoformat.
|
2024-01-30 13:47:11 +00:00 |
|
Geoffrey White
|
310c78d1e7
|
C++: Add PreprocBlock.qll library.
|
2024-01-30 13:47:07 +00:00 |
|
Mathias Vorreiter Pedersen
|
e2ae4a699c
|
C++: Add change note.
|
2024-01-30 11:44:46 +00:00 |
|
Mathias Vorreiter Pedersen
|
33e37536df
|
C++: Accept test changes.
|
2024-01-30 11:32:50 +00:00 |
|
Mathias Vorreiter Pedersen
|
1dfd32ee5c
|
C++: Model function calls throwing exceptions.
|
2024-01-30 11:32:50 +00:00 |
|
Mathias Vorreiter Pedersen
|
eb94203f04
|
C++: Add an 'EdgeKind' column to 'getExceptionSuccessorInstruction'.
|
2024-01-30 11:32:50 +00:00 |
|
Mathias Vorreiter Pedersen
|
8bb17a7127
|
C++: Add an 'EdgeKind' column to 'getInitializationSuccessor'.
|
2024-01-30 11:32:50 +00:00 |
|
Mathias Vorreiter Pedersen
|
4fb20e14f5
|
C++: Add an 'EdgeKind' column to 'getChildTrueSuccessor' and 'getChildFalseSuccessor'.
|
2024-01-30 11:32:47 +00:00 |
|
Mathias Vorreiter Pedersen
|
10ae793de5
|
C++: Add an 'EdgeKind' column to 'getFirstInstruction'.
|
2024-01-30 11:31:41 +00:00 |
|
Mathias Vorreiter Pedersen
|
d2e8b88b24
|
C++: Add an 'EdgeKind' column to 'getChildSuccessor'.
|
2024-01-30 11:26:46 +00: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 |
|
Mathias Vorreiter Pedersen
|
56e44f9b3c
|
Merge pull request #15458 from MathiasVP/dataflow-node-deduplication
C++: Fix more `asExpr` duplication
|
2024-01-30 09:34:57 +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
|
ea79a84c2e
|
C++: Accept test changes.
|
2024-01-29 16:24:44 +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 |
|
Mathias Vorreiter Pedersen
|
7e29141196
|
C++: Add FP test.
|
2024-01-29 16:23:37 +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
|
320092092d
|
C++: Accept test changes.
|
2024-01-29 14:11:07 +00:00 |
|
Mathias Vorreiter Pedersen
|
a4727b5597
|
C++: Fix 'asExpr' duplication.
|
2024-01-29 14:11:01 +00:00 |
|
Mathias Vorreiter Pedersen
|
044d94c580
|
C++: Add change note
|
2024-01-29 13:47:17 +00:00 |
|
Mathias Vorreiter Pedersen
|
a5794509ec
|
C++: Accept test changes.
|
2024-01-29 11:33:14 +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 |
|
Mathias Vorreiter Pedersen
|
3a66fd7175
|
C++: Add FP test.
|
2024-01-29 10:59:38 +00:00 |
|
Mathias Vorreiter Pedersen
|
a391f7802d
|
C++: Add a test.
|
2024-01-27 13:08:52 +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
|
b7648bcf27
|
Adding test cases.
|
2024-01-26 15:19:07 -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 |
|
Mathias Vorreiter Pedersen
|
863e6c8009
|
Merge pull request #15427 from MathiasVP/asexpr-and-asindirectexpr-tests
C++: Add `asExpr` and `asIndirectExpr` library tests (and fix more duplication)
|
2024-01-25 16:58:18 +00:00 |
|
Henry Mercer
|
10343dd822
|
Merge pull request #15416 from github/post-release-prep/codeql-cli-2.16.1
Post-release preparation for codeql-cli-2.16.1
|
2024-01-25 14:15:25 +00:00 |
|
Robert Marsh
|
0bc023139b
|
C++: autoformat for first-class destructors
|
2024-01-24 18:52:54 +00:00 |
|
Robert Marsh
|
56c9566867
|
C++: more documentation for implict destructor calls
|
2024-01-24 18:52:54 +00:00 |
|
Robert Marsh
|
3970a9fe39
|
C++: switch to getImplicitDestructorCall
|
2024-01-24 18:52:54 +00:00 |
|
Robert Marsh
|
3a0290b1e8
|
C++: add destructors in PrintAST
|
2024-01-24 18:52:54 +00:00 |
|
Robert Marsh
|
1acc111b63
|
C++: add getSyntheticDestructor to Expr and Stmt
|
2024-01-24 18:52:54 +00:00 |
|
Geoffrey White
|
e0d70e3008
|
C++: Resolve the TODO / unwanted change in shared code and get more results.
|
2024-01-24 18:09:34 +00:00 |
|
Mathias Vorreiter Pedersen
|
7916616ee1
|
C++: Fix duplication for indirect exprs similar to how we fixed it in #15410.
|
2024-01-24 16:20:06 +00:00 |
|
Mathias Vorreiter Pedersen
|
4e18cca0f4
|
C++: Add a way to test the behavior of 'asExpr' and 'toString' on dataflow nodes.
|
2024-01-24 16:12:47 +00:00 |
|
Geoffrey White
|
a727255a82
|
C++: Add a couple more test cases and correct test models again.
|
2024-01-24 15:18:49 +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 |
|
Ben Rodes
|
55fe8d376c
|
Update cpp/ql/lib/semmle/code/cpp/security/flowafterfree/UseAfterFree.qll
|
2024-01-23 10:49:47 -05:00 |
|
Benjamin Rodes
|
dfb3aec002
|
Removing unnecessary private modules and adding comments.
|
2024-01-23 10:47:38 -05:00 |
|
Mathias Vorreiter Pedersen
|
42fd3fc836
|
C++: Make more things 'private' and add QLDoc to public things. (#40)
|
2024-01-23 10:27:01 -05:00 |
|