Mathias Vorreiter Pedersen
|
bc7cc2f7ce
|
C++: Remove rule that wasn't needed.
|
2021-04-14 14:50:27 +02:00 |
|
Mathias Vorreiter Pedersen
|
da36508714
|
Revert "C++: As response to the review comments this commit adds a reference-to-pointer state to AddressFlow. A call to an unwrapper function now adds a pointer -> reference-to-pointer transition, and a ReferenceDereference adds a reference-to-pointer -> pointer transition."
This reverts commit 5aeaab7c6d.
|
2021-04-14 14:41:22 +02:00 |
|
Mathias Vorreiter Pedersen
|
5aeaab7c6d
|
C++: As response to the review comments this commit adds a reference-to-pointer state to AddressFlow. A call to an unwrapper function now adds a pointer -> reference-to-pointer transition, and a ReferenceDereference adds a reference-to-pointer -> pointer transition.
|
2021-04-12 16:01:01 +02:00 |
|
Mathias Vorreiter Pedersen
|
1510fe370d
|
C++: Add cases for const pointer wrapper references to AddressFlow and FlowVar.
|
2021-04-09 20:58:05 +02:00 |
|
Mathias Vorreiter Pedersen
|
2329b31601
|
C++: Replace the new SmartPointerPartialDefinition with additional steps in AddressFlow.qll
|
2021-04-09 20:49:45 +02:00 |
|
Mathias Vorreiter Pedersen
|
a460e3ad3d
|
Merge branch 'main' into ast-flow-smart-pointers
|
2021-04-09 19:41:10 +02:00 |
|
Mathias Vorreiter Pedersen
|
996cda9b97
|
C++: Fix incorrect test annotation.
|
2021-04-09 14:46:46 +02:00 |
|
Mathias Vorreiter Pedersen
|
80d5b17900
|
C++: Remove the dataflow rule for smart_ptr -> *smart_ptr.
|
2021-04-09 14:20:51 +02:00 |
|
Mathias Vorreiter Pedersen
|
cae0060a89
|
C++: Replace the new rules in DataFlowUtil with a dataflow model for pointer wrapper classes.
|
2021-04-09 14:06:58 +02:00 |
|
Mathias Vorreiter Pedersen
|
0a6aef71a2
|
C++: Respond to review comments.
|
2021-04-09 12:29:13 +02:00 |
|
Mathias Vorreiter Pedersen
|
8382e85901
|
C++: Add flow into the source of read step and out of the target of a store step for smart pointers in AST dataflow.
|
2021-04-06 14:05:55 +02:00 |
|
Mathias Vorreiter Pedersen
|
f07d844362
|
C++: Add a test containing missing read/store dataflow steps for smart pointers.
|
2021-04-06 13:59:27 +02:00 |
|
Mathias Vorreiter Pedersen
|
32a8b9a857
|
C++: Move copy constructor to its own line and accept test changes.
|
2021-04-06 08:56:14 +02:00 |
|
Mathias Vorreiter Pedersen
|
9ff894bf83
|
C++: Add support for AST dataflow out of functions that take a smart pointer by value.
|
2021-03-31 13:54:32 +02:00 |
|
Mathias Vorreiter Pedersen
|
8159098dc0
|
C++: Add test from issue #5190.
|
2021-03-31 11:32:01 +02:00 |
|
Mathias Vorreiter Pedersen
|
983b64a05f
|
Merge branch 'main' into rdmarsh/cpp/use-taint-configuration-dtt
|
2021-03-26 09:11:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
0b4650a4c9
|
C++: Accept test changes.
|
2021-03-23 10:27:19 +01:00 |
|
Mathias Vorreiter Pedersen
|
dd6b27df24
|
C++: Fix test annotation.
|
2021-03-16 22:35:47 +01:00 |
|
Mathias Vorreiter Pedersen
|
0b6589c8be
|
C++: Accept test changes.
|
2021-03-10 15:47:06 +01:00 |
|
Mathias Vorreiter Pedersen
|
19d08d7b40
|
Merge branch 'main' into rdmarsh/cpp/use-taint-configuration-dtt
|
2021-03-09 12:35:44 +01:00 |
|
Mathias Vorreiter Pedersen
|
bd842403c8
|
C++: Add testcase
|
2021-03-05 08:06:22 +01:00 |
|
Mathias Vorreiter Pedersen
|
23876cb581
|
C++: Only allow taint to a FieldAddressInstruction if it's a union type.
|
2021-03-04 16:29:44 +01:00 |
|
Mathias Vorreiter Pedersen
|
eb4f1e1ba0
|
C++: Restore some of the lost test results by doing operand -> instruction taint steps in IR TaintTracking.
|
2021-03-02 15:45:40 +01:00 |
|
Mathias Vorreiter Pedersen
|
9f02c144a8
|
C++: Remove files that were incorrectly added when resolving merge conflicts.
|
2021-03-02 11:14:49 +01:00 |
|
Mathias Vorreiter Pedersen
|
ffc6af73b7
|
C++: Accept test changes.
|
2021-03-02 11:00:43 +01:00 |
|
Mathias Vorreiter Pedersen
|
748f5344ff
|
Merge branch 'main' into rdmarsh/cpp/use-taint-configuration-dtt
|
2021-03-02 10:43:37 +01:00 |
|
Mathias Vorreiter Pedersen
|
f908d2f1de
|
C++: Remove hasTaintFlow from poll and select functions.
|
2021-02-22 08:54:43 +01:00 |
|
Mathias Vorreiter Pedersen
|
fef824c37a
|
C++: Implement models for poll, accept and select.
|
2021-02-19 14:03:54 +01:00 |
|
Mathias Vorreiter Pedersen
|
3082d70345
|
Merge branch 'main' into fix-dataflow-regression-const-member-function
|
2021-02-18 09:34:51 +01:00 |
|
Cornelius Riemenschneider
|
ebcecca9f1
|
Merge pull request #5157 from geoffw0/modelsbsl2
C++: Improve Iterator models
|
2021-02-17 18:04:07 +01:00 |
|
Mathias Vorreiter Pedersen
|
908f24d23f
|
C++: Fix missing AST flow.
|
2021-02-17 14:33:58 +01:00 |
|
Mathias Vorreiter Pedersen
|
1b148c4c90
|
C++: Add reduced testcase demonstrating the problem in codeql-c-analysis-team/issues/231.
|
2021-02-17 11:20:00 +01:00 |
|
Geoffrey White
|
3cfb0a21fe
|
C++: Fix Iterator.qll taint/data flows for operator+=.
|
2021-02-12 14:54:47 +00:00 |
|
Geoffrey White
|
61b0d6a0cd
|
C++: Fix Iterator.qll non-member operator+= charpred.
|
2021-02-12 14:54:46 +00:00 |
|
Geoffrey White
|
7705fc4f98
|
C++: Add more test cases for iterator taint flow.
|
2021-02-12 14:54:45 +00:00 |
|
Mathias Vorreiter Pedersen
|
47ab9ba81b
|
C++: emplace and emplace_back takes its arguments by universal references, so they should also specify flow as indirections.
|
2021-02-04 11:16:27 +01:00 |
|
Mathias Vorreiter Pedersen
|
ff58d5a7c0
|
C++: Address review comments.
|
2021-02-02 17:06:38 +01:00 |
|
Mathias Vorreiter Pedersen
|
9e75a4be34
|
C++: Implement a model for _strnextc and its variants.
|
2021-02-02 16:42:39 +01:00 |
|
Mathias Vorreiter Pedersen
|
b54f74a68a
|
C++: Implement model for _strinc and related functions.
|
2021-02-02 12:20:02 +01:00 |
|
Mathias Vorreiter Pedersen
|
5db1984315
|
Merge pull request #5070 from MathiasVP/strsep-model-implementation
C++: Add strsep model implementation.
|
2021-02-02 12:00:26 +01:00 |
|
Geoffrey White
|
9f50f67e6d
|
Merge pull request #5065 from MathiasVP/scanf-model
C++: Add sscanf and fscanf models
|
2021-02-02 10:30:19 +00:00 |
|
Mathias Vorreiter Pedersen
|
6e71c68f33
|
C++: Add strsep model implementation.
|
2021-02-02 10:29:23 +01:00 |
|
Mathias Vorreiter Pedersen
|
c747914ef2
|
C++: Add sscanf and fscanf model implementations.
|
2021-02-01 12:54:59 +01:00 |
|
Mathias Vorreiter Pedersen
|
6c3f44bba8
|
C++: Add more memcpy, memset, strcat and strcpy models. Also refine which strcpy functions can live in the std namespace.
|
2021-02-01 08:44:10 +01:00 |
|
Mathias Vorreiter Pedersen
|
23eb4d2009
|
C++: Fix isParameterDeref typo.
|
2021-01-28 18:29:30 +01:00 |
|
Mathias Vorreiter Pedersen
|
7affbfc6cb
|
C++: Add tests.
|
2021-01-28 10:57:39 +01:00 |
|
Mathias Vorreiter Pedersen
|
52e2a69db9
|
C++: Accept test changes.
|
2021-01-27 16:56:37 +01:00 |
|
Geoffrey White
|
3f09a047ae
|
C++: Test comments.
|
2021-01-12 14:52:52 +00:00 |
|
Geoffrey White
|
1cde5e1828
|
C++: Test of taint through ConstructorDelegationInit.
|
2021-01-11 17:35:50 +00:00 |
|
Geoffrey White
|
3bef0e5c00
|
C++: Implement a general model.
|
2020-12-09 18:53:49 +00:00 |
|