Mathias Vorreiter Pedersen
9e77b89885
Update TypeConfusion.qhelp
...
Co-authored-by: hubwriter <hubwriter@github.com >
2024-03-07 08:33:49 -08:00
Mathias Vorreiter Pedersen
b876117ecc
C++: Add more QLDoc.
2024-03-06 22:25:04 -08:00
Mathias Vorreiter Pedersen
01fc7432cb
C++: Add more tests.
2024-03-06 22:17:33 -08:00
Mathias Vorreiter Pedersen
bf84f3a936
C++: Add FN.
2024-03-06 21:19:17 -08:00
Mathias Vorreiter Pedersen
3295d5cb9f
C++: Add more QLDoc.
2024-03-06 21:17:57 -08:00
Mathias Vorreiter Pedersen
fc9919a5b6
C++: Add a test that exercise the 'last field' check.
2024-03-06 21:17:55 -08:00
Mathias Vorreiter Pedersen
c2db5f490e
C++: Add more FNs and FPs to show examples of where the 'successor typing' strategy fails.
2024-03-06 21:16:51 -08:00
Mathias Vorreiter Pedersen
cd57cd0d8a
C++: Add qhelp reference.
2024-03-06 21:15:27 -08:00
Mathias Vorreiter Pedersen
cf4c8eb517
C++: Add more tests.
2024-03-06 21:15:25 -08:00
Mathias Vorreiter Pedersen
6dc0fa515d
C++: Add change note.
2024-03-06 21:11:36 -08:00
Mathias Vorreiter Pedersen
8ae6fa5366
C++: Add a new query 'cpp/type-confusion' for detecting type confusion vulnerabilities.
2024-03-06 21:11:32 -08:00
Mathias Vorreiter Pedersen
4c9876b008
C++: Accept test changes.
2024-03-06 18:18:36 -08:00
Mathias Vorreiter Pedersen
cf162aa412
C++: Add an explicit definition of the address of an IRVariable.
2024-03-06 18:18:33 -08:00
Mathias Vorreiter Pedersen
84797b9091
C++: Refactor the address out of 'DefImpl' and into a new abstract class 'OperandBasedDef'.
2024-03-06 18:15:52 -08:00
Mathias Vorreiter Pedersen
cc754858c6
C++: Add a testcase with missing flow out of the address of 'a' and to the argument of 'sink'.
2024-03-06 18:15:49 -08:00
Mathias Vorreiter Pedersen
a60afef923
C++: Add a local flow test file for IR dataflow.
2024-03-06 18:10:08 -08:00
github-actions[bot]
dc9092c9ec
Post-release preparation for codeql-cli-2.16.4
2024-03-06 22:19:33 +00:00
github-actions[bot]
2f058ffb4d
Release preparation for version 2.16.4
2024-03-06 20:56:51 +00:00
Angela P Wen
ce31f8641a
Revert "Release preparation for version 2.16.4"
2024-03-06 12:07:33 -08:00
Geoffrey White
23fd3f62ac
C++: Add models-as-data case to allowParameterReturnInSelf.
2024-03-06 16:12:46 +00:00
Geoffrey White
18d9573b6a
C++: Add summaryLocalStep as well.
2024-03-06 16:12:46 +00:00
Geoffrey White
8c0f02ac4b
C++: Add summary jumpStep, readStep, storeStep.
2024-03-06 14:51:48 +00:00
Jeroen Ketema
66d2a8499d
Merge pull request #15816 from MathiasVP/remove-ssa-pruning-stage
...
C++: Remove the pruning stage from dataflow SSA
2024-03-06 11:04:05 +01:00
Jeroen Ketema
6972f9b31d
C++: Update syntax-zoo expected test results
2024-03-06 09:34:47 +01:00
Robert Marsh
fbbd57b34f
C++: Suppress epxr destructors in preparation for temporaries
2024-03-05 21:12:12 +00:00
Mathias Vorreiter Pedersen
f400228037
C++: Remove the pruning stage from SSA.
2024-03-05 12:55:55 -08:00
github-actions[bot]
661e68dab5
Release preparation for version 2.16.4
2024-03-05 18:13:58 +00:00
Geoffrey White
3657269d3e
C++: Autoformat.
2024-03-05 17:35:05 +00:00
Geoffrey White
d1fc700735
C++: Fill out some QLDoc.
2024-03-05 17:34:48 +00:00
Geoffrey White
7675f153ce
C++: Add SummaryOutNode class.
2024-03-05 17:32:54 +00:00
Angela P Wen
967963a653
Revert "Release preparation for version 2.16.4"
2024-03-05 08:53:33 -08:00
Robert Marsh
28e1e3a13a
C++: remove skeleton for IR destructors on expressions
2024-03-04 21:54:18 +00:00
github-actions[bot]
a67218a027
Release preparation for version 2.16.4
2024-03-04 17:42:08 +00:00
Geoffrey White
d1a2048134
C++: Add SummaryPostUpdateNode class.
2024-03-01 16:03:37 +00:00
Geoffrey White
340a17dd74
C++: Attempt to QLDoc OutNode better.
2024-03-01 16:03:37 +00:00
Geoffrey White
dbf0b98791
C++: Add some test cases involving function pointers.
2024-03-01 15:56:44 +00:00
Geoffrey White
f649939d78
C++: Allow flow through (previously missing) summary taint steps.
2024-03-01 15:56:44 +00:00
Mathias Vorreiter Pedersen
9133a13fc7
Merge pull request #15628 from microsoft/cpp-non-constant-format-as-path-query
...
Cpp non constant format as path query
2024-03-01 13:05:44 +00:00
Tom Hvitved
cb128da5aa
Merge pull request #15762 from hvitved/csharp/fetch-dotnet-dependency-fetching
...
C#: Fetch .NET in dependency manager instead of autobuilder
2024-03-01 13:19:20 +01:00
Geoffrey White
2e5f7dc8fc
C++: QLDoc (mostly placeholder).
2024-03-01 09:59:31 +00:00
Geoffrey White
8faad92cfd
C++: Define DataFlowCallable.getUnderlyingCallable and use it to fix some issues.
2024-03-01 09:59:31 +00:00
Mathias Vorreiter Pedersen
4e913592fa
Merge branch 'main' into cpp-non-constant-format-as-path-query
2024-03-01 09:26:00 +00:00
Mathias Vorreiter Pedersen
2eb8d13439
C++: Accept test changes.
2024-03-01 09:25:25 +00:00
Mathias Vorreiter Pedersen
1466f11a92
C++: Add change note.
2024-02-29 18:39:59 +00:00
Mathias Vorreiter Pedersen
4474b54662
C++: Add more QLDoc.
2024-02-29 12:09:50 +00:00
Mathias Vorreiter Pedersen
46b47db78e
C++: Rename IPA branch.
2024-02-29 12:02:13 +00:00
Tom Hvitved
62382fc5a2
C#: Fetch .NET in dependency manager instead of autobuilder
2024-02-29 11:23:36 +01:00
Mathias Vorreiter Pedersen
a7f0966fcb
C++: Restrict 'VariableNode's to only be global-like variables (which is the only place where use them for).
2024-02-28 19:12:38 +00:00
Jeroen Ketema
ae97a23c27
Merge pull request #15213 from jketema/frontend-update
...
C++: Accept test changes after frontend upgrade
2024-02-28 13:00:02 +01:00
Jeroen Ketema
00ad7854dc
C++: Accept test changes after frontend upgrade
...
* The `specifiers2` tests have a different result now due to the implementation
of CWG 2387.
* The `special_members/generated_copy` has improved results as the frontend has
improved support for deleted copy constructors.
2024-02-28 11:29:57 +01:00
