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 |
|
Cornelius Riemenschneider
|
feb05542d2
|
C++: Refactor common implementation of data/taint flow tests.
|
2020-12-02 15:42:52 +01:00 |
|
Cornelius Riemenschneider
|
7700e87cca
|
C++: Address review.
|
2020-12-01 19:08:49 +01:00 |
|
Cornelius Riemenschneider
|
0d0fa1b341
|
C++: Delete difference tests.
|
2020-11-30 17:33:27 +01:00 |
|
Cornelius Riemenschneider
|
b632ca40b4
|
C++: Port dataflow/taint-tests to inline expectations test.
|
2020-11-30 17:32:54 +01:00 |
|
Robert Marsh
|
049bff09e6
|
Merge branch 'main' into rdmarsh/cpp/use-taint-configuration-dtt
Make this branch a valid taget for a submodule bump
|
2020-11-10 14:25:05 -08:00 |
|
Robert Marsh
|
2a6ba40a93
|
C++: Accept more test changes
|
2020-11-10 13:59:35 -08:00 |
|
Geoffrey White
|
c4fe8df04c
|
C++: Support data flow from parameter deref to return value.
|
2020-11-10 13:17:34 +00:00 |
|
Geoffrey White
|
4563e32e92
|
C++: Remove data flows we shouldn't need in MemberFunction.
|
2020-11-10 13:17:24 +00:00 |
|
Cornelius Riemenschneider
|
e7e5754270
|
C++: Add taint model for std::vector::emplace/_back.
|
2020-11-04 16:20:01 +01:00 |
|
Cornelius Riemenschneider
|
62a02cde73
|
C++: Add test to show missing taint steps for std::vector::emplace/_back
|
2020-11-04 16:07:15 +01:00 |
|
Cornelius Riemenschneider
|
081ab1e2bb
|
C++: Add std::vector::emplace/_back to our STL model.
|
2020-11-04 16:07:08 +01:00 |
|
Dave Bartolomeo
|
0d1fbd1bdc
|
Fix annotations
|
2020-11-02 18:03:40 -05:00 |
|
Dave Bartolomeo
|
c49e33f9cd
|
Fixup after merge
|
2020-10-28 16:59:13 -04:00 |
|
Dave Bartolomeo
|
7a2c59c194
|
Merge from main
|
2020-10-28 15:35:46 -04:00 |
|
Robert Marsh
|
aab9797c2f
|
Merge branch 'main' into rdmarsh2/cpp/output-iterators-2
Resolve merge conflict in tests
|
2020-10-23 13:50:15 -07:00 |
|