Mathias Vorreiter Pedersen
|
dacf7d73d9
|
Merge pull request #15918 from MathiasVP/fix-as-expr-for-temps
C++: Fix dataflow node <> expression problem on prvalues
|
2024-03-14 09:38:46 +00:00 |
|
Mathias Vorreiter Pedersen
|
a24432bacc
|
Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
|
2024-03-14 09:23:33 +00:00 |
|
Mathias Vorreiter Pedersen
|
c375497fa5
|
Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
|
2024-03-14 09:16:04 +00:00 |
|
Mathias Vorreiter Pedersen
|
a839c92979
|
C++: Fix mapping issue between dataflow nodes and expressions when the expression is a prvalue.
|
2024-03-13 22:59:09 +00:00 |
|
Jeroen Ketema
|
866a3934d4
|
C++: suppress destructors with reuse expressions until proper support is added
|
2024-03-13 20:17:00 +01:00 |
|
Jeroen Ketema
|
67b3670d06
|
Merge pull request #15901 from jketema/destructors11
C++: Introduce re-use expressions in the database scheme
|
2024-03-13 18:27:28 +01:00 |
|
Mathias Vorreiter Pedersen
|
b638d4d0ba
|
Merge pull request #15900 from MathiasVP/glib-alloc-and-dealloc
C++: Add models for `GLib` allocation and deallocation
|
2024-03-13 15:29:46 +00:00 |
|
Jeroen Ketema
|
8d5eab401d
|
C++: Introduce re-use expressions in the database scheme
|
2024-03-13 13:28:27 +01:00 |
|
Mathias Vorreiter Pedersen
|
8d504d8b32
|
Merge pull request #15899 from jketema/destructors10
C++: Add IR tests for the destruction of temporaries
|
2024-03-13 11:56:04 +00:00 |
|
Mathias Vorreiter Pedersen
|
465c3c18e3
|
C++: Add change note.
|
2024-03-13 11:49:26 +00:00 |
|
Mathias Vorreiter Pedersen
|
3ea39a2553
|
C++: Add some query tests.
|
2024-03-13 11:39:34 +00:00 |
|
Mathias Vorreiter Pedersen
|
bcd36b1994
|
C++: Recognize glib allocations and deallocations.
|
2024-03-13 11:39:15 +00:00 |
|
Jeroen Ketema
|
3ef1ab49ea
|
C++: Add IR tests for the destruction of temporaries
|
2024-03-13 12:00:02 +01:00 |
|
Tom Hvitved
|
dddba3228b
|
Merge pull request #15867 from hvitved/dataflow/ap-limit
Data flow: Add `ConfigSig::accessPathLimit`
|
2024-03-12 14:57:51 +01:00 |
|
Mathias Vorreiter Pedersen
|
1a42e55095
|
Merge pull request #15820 from MathiasVP/add-type-confusion-query
C++: Add a new query for detecting type confusion vulnerabilities
|
2024-03-12 10:29:22 +00:00 |
|
Mathias Vorreiter Pedersen
|
7b0df57d7a
|
C++: Remove the two configurations that depend on flow state to speed up performance on ChakraCore.
|
2024-03-11 13:56:22 +00:00 |
|
Tom Hvitved
|
da66281fef
|
Sync files
|
2024-03-11 13:02:04 +01:00 |
|
Mathias Vorreiter Pedersen
|
761f6d3a7e
|
C++: Disable field flow from the 'cpp/type-confusion' query to fix performance on ChakraCore.
|
2024-03-07 15:24:04 -08:00 |
|
Mathias Vorreiter Pedersen
|
a548316747
|
C++: Accept test changes.
|
2024-03-07 13:55:31 -08:00 |
|
Mathias Vorreiter Pedersen
|
4f9bdca4f0
|
C++: Optimize.
|
2024-03-07 13:08:26 -08:00 |
|
Mathias Vorreiter Pedersen
|
cedbfbe7ea
|
C++: Use a more generous definition of compatible types.
|
2024-03-07 10:50:20 -08:00 |
|
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 |
|
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 |
|
Robert Marsh
|
28e1e3a13a
|
C++: remove skeleton for IR destructors on expressions
|
2024-03-04 21:54:18 +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 |
|
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 |
|