Mathias Vorreiter Pedersen
dcba8e5408
C++: Fix global variable flow for array types.
2023-11-20 12:15:55 +00:00
Mathias Vorreiter Pedersen
8039e117ba
C++: Add more global-variable flow tests.
2023-11-20 12:15:52 +00:00
Mathias Vorreiter Pedersen
a10f94af81
Merge pull request #14810 from MathiasVP/fix-ref-deref-duplication
...
C++: Fix dataflow duplication from `ReferenceDereference` expressions
2023-11-16 16:10:07 +00:00
Mathias Vorreiter Pedersen
c5d2866948
Merge pull request #14812 from MathiasVP/no-dtt-in-Integer-overflow-tainted
...
C++: Convert `cpp/integer-overflow-tainted` away from DefaultTaintTracking
2023-11-16 15:24:13 +00:00
Mathias Vorreiter Pedersen
da2215e7e5
C++: Accept test changes.
2023-11-16 13:54:13 +00:00
Mathias Vorreiter Pedersen
30f0b8ab2b
Merge pull request #14808 from jketema/jketema/del-fmt-global
...
C++: Delete `cpp/tainted-format-string-through-global`
2023-11-16 13:44:21 +00:00
Mathias Vorreiter Pedersen
5a7cb8f25a
C++: Fix duplication on reference dereference expressions.
2023-11-16 10:52:35 +00:00
Mathias Vorreiter Pedersen
799873113f
C++: Add a test that demonstrates reference dereference duplication.
2023-11-16 10:52:14 +00:00
Mathias Vorreiter Pedersen
f8feb84958
C++: Accept test changes from refactoring QL files.
2023-11-16 10:52:10 +00:00
Mathias Vorreiter Pedersen
6a1504b91c
C++: Slightly refactor test QL files so that we can add a test which tests the nodes being selected.
2023-11-16 10:50:56 +00:00
Jeroen Ketema
afe318edbe
C++: Delete cpp/tainted-format-string-through-global
2023-11-16 10:52:05 +01:00
Mathias Vorreiter Pedersen
4d4ca6b948
Merge pull request #14794 from MathiasVP/catch-more-return-stack-allocated-memory
...
C++: Catch more returns of stack-allocated memory
2023-11-15 19:23:24 +00:00
Jeroen Ketema
46e6e72593
C++: Address review comments
2023-11-15 14:57:53 +01:00
Jeroen Ketema
92c18960c5
C++: Rewrite cpp/uncontrolled-process-operation to not use DefaultTaintTracking
2023-11-15 14:57:53 +01:00
Mathias Vorreiter Pedersen
2b8b5cf1b8
C++: Accept test changes.
2023-11-15 11:52:14 +00:00
Mathias Vorreiter Pedersen
118d50236f
C++: Add failing tests.
2023-11-15 11:48:37 +00:00
Mathias Vorreiter Pedersen
1623bba18a
Merge branch 'main' into no-dtt-in-tainted-arithmetic
2023-11-14 13:35:15 +00:00
Mathias Vorreiter Pedersen
c950e26b3e
C++: Rewrite 'cpp/cpp/tainted-arithmetic' away from DefaultTaintTracking.
2023-11-14 12:19:12 +00:00
Mathias Vorreiter Pedersen
967bbbc1a7
C++: Block flow out of sinks that are qualifiers. This removes the new result duplication and keeps the new result.
2023-11-14 09:29:47 +00:00
Mathias Vorreiter Pedersen
c73e6f1fa8
C++: Accept more test changes.
2023-11-13 16:51:07 +00:00
Mathias Vorreiter Pedersen
9aafbfce13
C++: Fix test annotation.
2023-11-13 16:17:18 +00:00
Mathias Vorreiter Pedersen
cc6268339b
C++: Fix failing test and accept test cases.
2023-11-13 15:57:22 +00:00
Mathias Vorreiter Pedersen
834b07e6ad
C++: Add failing tests.
2023-11-13 15:54:41 +00:00
Mathias Vorreiter Pedersen
eb263e747f
C++: Make sure the test terminates.
2023-11-13 15:25:48 +00:00
Mathias Vorreiter Pedersen
bc576f658e
C++: Add a test that fails because of a non-terminating test that dominates this one.
2023-11-13 15:24:56 +00:00
Anders Schack-Mulligen
bf6cfd3bef
Rangeanalysis: Simplify api.
2023-11-13 10:35:44 +01:00
Mathias Vorreiter Pedersen
18c0bcec0b
Merge pull request #14669 from MathiasVP/no-dtt-in-unbounded-write
...
C++: Rewrite `cpp/unbounded-write` away from `DefaultTaintTracking`
2023-11-10 15:08:42 +00:00
Mathias Vorreiter Pedersen
2ceb4cffbc
Merge pull request #14736 from MathiasVP/fix-global-indirect-flow
...
C++: Fix indirect global-variable flow
2023-11-10 14:25:23 +00:00
Jeroen Ketema
ba51b65d84
C++: Fix hasRemoteFlowSource for fgets
...
Also add the test that exposed this. Note that the test would only have started
failing after `cpp/uncontrolled-process-operation` with the rewrite of the
query away from default taint tracking, which has not happened yet.
2023-11-10 11:56:23 +01:00
Mathias Vorreiter Pedersen
39b9d2ea83
C++: Accept test changes.
2023-11-09 20:28:55 +00:00
Mathias Vorreiter Pedersen
0963af2ee7
C++: Add failing tests.
2023-11-09 18:01:22 +00:00
Mathias Vorreiter Pedersen
38bd893c81
Merge branch 'main' into no-dtt-in-unbounded-write
2023-11-08 15:06:59 +00:00
Mathias Vorreiter Pedersen
e90803a81c
C++: Rewrite 'cpp/unbounded-write' away from DefaultTaintTracking.
2023-11-08 14:57:04 +00:00
Mathias Vorreiter Pedersen
ab64d9a9d6
Merge pull request #14713 from MathiasVP/no-gvn-as-ssa-in-range-analysis
...
C++: Don't use GVN as SSAVariable in new range analysis
2023-11-08 09:28:15 +00:00
Mathias Vorreiter Pedersen
a8eed6bd7e
Merge pull request #14704 from MathiasVP/fix-uninitialized-local
...
C++: IR'ify `cpp/uninitialized-local` and fix FPs
2023-11-07 22:45:34 +00:00
Mathias Vorreiter Pedersen
69502d0c31
C++: Add some more tests.
2023-11-07 17:31:01 +00:00
Mathias Vorreiter Pedersen
1c8f474848
C++: Add comment as suggested in the PR review for #14708 .
2023-11-07 15:16:38 +00:00
Mathias Vorreiter Pedersen
2787f0a0fc
Merge pull request #14708 from MathiasVP/add-testcase-for-range-analysis
...
C++: Add range analysis testcase
2023-11-07 15:15:45 +00:00
Mathias Vorreiter Pedersen
2d43eec3c3
C++: Accept test changes.
2023-11-07 14:57:30 +00:00
Mathias Vorreiter Pedersen
a04830b8b2
Merge pull request #14697 from MathiasVP/range-analysis-simplify-conversions
...
C++: Simplify the definition of `SemExpr` for range analysis
2023-11-07 14:52:09 +00:00
Mathias Vorreiter Pedersen
9dca6697fb
C++: Add a testcase that fails to terminate in modulus analysis when we don't have IR operands as SSA variables.
2023-11-07 11:52:35 +00:00
Mathias Vorreiter Pedersen
022c9eb3cd
C++: Add a barrier feature to 'MustFlow'.
2023-11-07 09:23:42 +00:00
Mathias Vorreiter Pedersen
6bf2d47321
C++: Allow source = sink in 'MustFlow'.
2023-11-07 09:23:42 +00:00
Mathias Vorreiter Pedersen
1dc08941f8
C++: Use 'MustFlow' in 'cpp/uninitialized-local'.
2023-11-07 09:23:41 +00:00
Mathias Vorreiter Pedersen
a17cd9bc1c
Merge pull request #14667 from MathiasVP/more-function-input-and-output-ipa-numbers
...
C++: Allocate more `FunctionInput` and `FunctionOutput`s
2023-11-07 08:57:31 +00:00
Mathias Vorreiter Pedersen
4455ed982d
C++: Accept query test changes.
2023-11-06 17:33:46 +00:00
Mathias Vorreiter Pedersen
e91987b1a9
C++: Accept test changes.
2023-11-06 16:02:06 +00:00
Mathias Vorreiter Pedersen
31c2a3be98
C++: Don't redefine the meaning of the single-parameter 'isParameterDeref' and accept test changes.
2023-11-06 15:52:58 +00:00
Anders Schack-Mulligen
132cc03e3b
Merge pull request #14664 from aschackmull/shared/modulus-step
...
RangeAnalysis: Improve bounds that rely on relative modulus.
2023-11-03 08:16:48 +01:00
Mathias Vorreiter Pedersen
679d64f0e8
Merge pull request #14647 from microsoft/24-odbc-model-instantiation-upstream2
...
C++: Adding a model implementation for ODBC.
2023-11-02 19:42:27 +00:00
