Mathias Vorreiter Pedersen
a2ce51fdf7
C++: Accept test changes.
2022-11-22 09:50:45 +00:00
Mathias Vorreiter Pedersen
320b5ca01a
C++: Ignore more instructions for dataflow.
2022-11-21 21:39:19 +00:00
Mathias Vorreiter Pedersen
d1274e2769
C++: Accept more test changes.
2022-11-21 18:33:14 +00:00
Mathias Vorreiter Pedersen
231e2a8df3
C++: Reduce fan-in for 'readStep'.
2022-11-21 17:07:29 +00:00
Mathias Vorreiter Pedersen
24542ec84a
Merge branch 'main' into replace-ast-with-ir-use-usedataflow
2022-11-21 15:02:28 +00:00
Jeroen Ketema
78ad9ba60f
Merge pull request #11262 from rdmarsh2/rdmarsh2/cpp/deprecate-ast-gvn
...
C++: deprecate AST-based GVN
2022-11-21 13:38:54 +01:00
Jeroen Ketema
752bc2e980
C++: Accept test changes after AST-based GVN deprecation
2022-11-21 11:45:09 +01:00
Jeroen Ketema
ffbe1e065a
Merge pull request #11314 from MathiasVP/fix-flow-out-of-const-member-functions
...
C++: Fix flow out of const member functions
2022-11-21 10:36:59 +01:00
Mathias Vorreiter Pedersen
bfba95f9f7
C++: Fix performance of 'cpp/upcast-array-pointer-arithmetic'.
2022-11-18 14:50:18 +00:00
Mathias Vorreiter Pedersen
1e14af6e64
C++: Fix join in 'cpp/upcast-array-pointer-arithmetic'.
2022-11-18 10:19:55 +00:00
erik-krogh
a5a244fc53
CPP: delete old deprecations
2022-11-17 22:12:50 +01:00
Mathias Vorreiter Pedersen
b9bcff40c5
Merge branch 'replace-ast-with-ir-use-usedataflow' into fix-flow-out-of-const-member-functions
2022-11-17 10:41:12 +00:00
Tom Hvitved
780297152c
C#: Downgrade Microsoft.Build nuget package
...
17.4.0 does not officially support .NET 6 (it supports .NET 7), so downgrade
to avoid warnings.
2022-11-17 11:00:25 +01:00
Tom Hvitved
5ab77600b8
C++: Update auto-builder nuget packages
2022-11-17 10:44:23 +01:00
Mathias Vorreiter Pedersen
aa385a293d
C++: Accept test changes.
2022-11-16 23:00:00 +00:00
Mathias Vorreiter Pedersen
b12955e220
C++: Fix flow out of const member functions.
2022-11-16 22:46:21 +00:00
Anders Schack-Mulligen
94bca4399a
Merge pull request #11183 from aschackmull/dataflow/groupflow
...
Dataflow: Introduce support for src/sink grouping in path results.
2022-11-16 12:59:01 +01:00
Jeroen Ketema
98176007d8
C++: Fix type in dataflow test comment
2022-11-15 17:18:08 +01:00
Mathias Vorreiter Pedersen
b8fab9ae79
C++: Respond to review comments.
2022-11-15 16:07:07 +00:00
Mathias Vorreiter Pedersen
1f43a1a924
Merge branch 'replace-ast-with-ir-use-usedataflow' into merge-some-indirect-and-instruction-nodes
2022-11-15 16:00:52 +00:00
Jeroen Ketema
2acda03518
C++: Reintroduce the AST testing configuration for the smart pointer test too
2022-11-15 13:49:03 +01:00
Robert Marsh
5bbdaad0e5
C++: deprecate AST-based GVN
2022-11-14 16:50:39 -05:00
Mathias Vorreiter Pedersen
16565401c7
C++: Reduce path duplication.
2022-11-14 15:29:57 +00:00
Jeroen Ketema
2b37ebd7ed
Merge remote-tracking branch 'upstream/main' into mathiasvp/replace-ast-with-ir-use-usedataflow
2022-11-11 17:24:34 +01:00
Jeroen Ketema
5c109cdef1
Merge pull request #11234 from jketema/std-iterator-fix
...
C++: Recognize `basic_string::iterator` as an iterator
2022-11-11 17:21:42 +01:00
Rasmus Wriedt Larsen
ddbcdcb4ba
Merge pull request #11160 from RasmusWL/dataflow-consistency-read-store
...
DataFlow: Add read/store stepIsLocal consistency checks
2022-11-11 14:51:45 +01:00
Jeroen Ketema
612624d241
C++: Recognize basic_string::iterator as an iterator
2022-11-11 14:04:50 +01:00
Mathias Vorreiter Pedersen
0c7f57e0c4
C++: Accept test changes.
2022-11-11 11:09:38 +00:00
Mathias Vorreiter Pedersen
f534768715
C++: Fix join orders.
2022-11-11 11:09:38 +00:00
Mathias Vorreiter Pedersen
e0a6c16228
C++: Add missing QLDoc.
2022-11-11 11:09:38 +00:00
Mathias Vorreiter Pedersen
1a1f078684
C++: Also pick the operand as the 'ExprNode' when the expression is the qualifier of a call (and not just when it's an argument of a call).
2022-11-11 11:07:08 +00:00
Mathias Vorreiter Pedersen
c999704d1e
C++: Now that we sometimes target an operand where we'd target an instruction before we should pick the operand as the 'sink' in the call-target resolution recursion.
2022-11-11 11:07:08 +00:00
Mathias Vorreiter Pedersen
a51ac7b4e7
C++: Remove some unnecessary IPA values from 'IndirectInstruction' and 'IndirectOperand' when the semantically identical value already exists in the IR.
2022-11-11 11:07:08 +00:00
Jeroen Ketema
ba00a0f370
C++: Share parameter logic in std::string model
2022-11-11 08:48:11 +01:00
Jeroen Ketema
23e29e993b
C++: Split std::string::insert off in a separate class
...
The `insert` function has two different return types: `iterator` and
`basic_string&`.
2022-11-11 08:48:01 +01:00
Rasmus Wriedt Larsen
88f703af1f
DataFlow: Accept changes to .expected
2022-11-10 22:13:34 +01:00
Jeroen Ketema
62f5d10d03
C++: Fix localTaint expected results
2022-11-10 16:08:07 +01:00
Jeroen Ketema
62a0bcddd9
C++: Fix the accept prototype in the dataflow taint tests
2022-11-10 14:23:26 +01:00
Jeroen Ketema
d8e96ef12a
Merge remote-tracking branch 'upstream/main' into mathiasvp/replace-ast-with-ir-use-usedataflow
2022-11-10 12:09:43 +01:00
Jeroen Ketema
e7576fdd1a
Merge pull request #11197 from jketema/simplify-taint-test
...
C++: Simplify dataflow taint test query
2022-11-10 11:58:50 +01:00
Jeroen Ketema
4d7aeced3f
C++: Simplify dataflow taint test query
...
The complexity seems a left-over from before these tests were turned into
inline expectation tests, where the aim seems to have been to have exactly
one sink node for each `sink` call. Multiple sink nodes for the same `sink`
call are not made visible in the inline expecation tests, and I am not
conviced this was very useful before, so remove the complexity.
2022-11-10 10:38:22 +01:00
Jeroen Ketema
0e33f4da6b
C++: Re-introduce most of the ast annotation test infrastructure
2022-11-09 14:37:01 +01:00
Jeroen Ketema
bd301768ea
C++: Re-introduce the ast annotations in the taint tests
2022-11-09 14:30:56 +01:00
Jeroen Ketema
0d27d63984
Merge remote-tracking branch 'upstream/main' into mathiasvp/replace-ast-with-ir-use-usedataflow
2022-11-09 14:28:47 +01:00
Anders Schack-Mulligen
b3b7711149
Dataflow: Sync.
2022-11-09 14:23:15 +01:00
Jeroen Ketema
af6a87e54d
C++: Add missing QLDoc comments
2022-11-09 13:08:53 +01:00
Jeroen Ketema
d7804f5473
C++: Fix DataFlow2 import
2022-11-09 12:53:05 +01:00
Jeroen Ketema
ceb6706c73
C++: Fix formatting
2022-11-09 12:52:44 +01:00
Jeroen Ketema
4ab5066ed2
C++: Fix imports and module names in old dataflow/taint tracking library
2022-11-09 11:52:39 +01:00
Jeroen Ketema
6a5f37b1b7
Merge pull request #11149 from geoffw0/wrong-number-msg
...
C++: Clearer messages for the format args queries
2022-11-08 20:44:10 +01:00
