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
|
91627cbd88
|
C++: Add models for BSD-style send and recv functions.
|
2021-02-11 17:21:32 +01:00 |
|
Geoffrey White
|
d41ea6c799
|
Merge pull request #5081 from MathiasVP/indirection-in-dataflow-models
C++: Add more indirection flow in dataflow models
|
2021-02-04 11:55:34 +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 |
|
Jonas Jensen
|
e3bdebf7a0
|
Merge pull request #5077 from jbj/revert-nested-fields
C++: Revert #4784
|
2021-02-03 14:07:28 +01:00 |
|
Jonas Jensen
|
064568c36d
|
Revert "Merge pull request #4784 from MathiasVP/mathiasvp/reverse-read-take-3"
This reverts commit 1b3d69d617, reversing
changes made to 527c41520e.
|
2021-02-03 08:49:37 +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 |
|
Jonas Jensen
|
69ce24d4b8
|
Merge pull request #5035 from MathiasVP/implied-deref-flow
C++: Implied dataflow models
|
2021-01-28 09:35:58 +01:00 |
|
Mathias Vorreiter Pedersen
|
24f76f9a17
|
C++: Accept test changes.
|
2021-01-27 21:57:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
52e2a69db9
|
C++: Accept test changes.
|
2021-01-27 16:56:37 +01:00 |
|
Jonas Jensen
|
1b3d69d617
|
Merge pull request #4784 from MathiasVP/mathiasvp/reverse-read-take-3
C++: Support longer access paths in IR field flow
|
2021-01-25 10:36:03 +01:00 |
|
Mathias Vorreiter Pedersen
|
b4f9b1590d
|
C++: Restore lost result on git/git. We lost the result in a00bd7ae02 because the added check for type T to type T* conversion didn't handle const qualifiers.
|
2021-01-22 14:20:18 +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 |
|
Mathias Vorreiter Pedersen
|
a00bd7ae02
|
C++: Respond to review comments.
|
2021-01-08 19:47:02 +01:00 |
|
Mathias Vorreiter Pedersen
|
7b003678a9
|
Merge branch 'main' into mathiasvp/reverse-read-take-3
|
2021-01-07 11:56:18 +01:00 |
|
Mathias Vorreiter Pedersen
|
bb158f1857
|
C++: Add dataflow testcases that need flow through conflated memory.
|
2021-01-04 11:43:23 +01:00 |
|
Mathias Vorreiter Pedersen
|
258d04178f
|
C++: Replace SkippableInstruction with local flow steps.
|
2020-12-30 13:39:24 +01:00 |
|
Mathias Vorreiter Pedersen
|
77aa9615c0
|
C++: Accept test changes in paths.
|
2020-12-22 09:14:55 +01:00 |
|
Mathias Vorreiter Pedersen
|
72a80e3722
|
C++: Accept test changes.
|
2020-12-22 09:14:54 +01:00 |
|
Mathias Vorreiter Pedersen
|
ba4da72b9e
|
C++: Add examples that require longer access paths
|
2020-12-22 09:14:53 +01:00 |
|
Jonas Jensen
|
3236cbd83e
|
C++: Test the AST wrapper for IR GVN
Out of our 3 GVN libraries, the one we actually use in production didn't
have tests -- except indirectly through `diff_ir_expr.ql`.
|
2020-12-21 08:21:02 +01: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 |
|
Mathias Vorreiter Pedersen
|
203bbdd84f
|
Merge pull request #4741 from criemen/port-dataflow-tests
C++: Port dataflow tests to inline expectations test library.
|
2020-12-02 10:25:52 +01:00 |
|
Cornelius Riemenschneider
|
239588b5e0
|
C++: Remove MISSING annotations for tests that are already correct.
|
2020-12-01 19:41:24 +01:00 |
|
Cornelius Riemenschneider
|
7700e87cca
|
C++: Address review.
|
2020-12-01 19:08:49 +01:00 |
|
Cornelius Riemenschneider
|
5b1ab86ac6
|
C++: Port DefaultTaintTracking tests to inline expectations test.
|
2020-12-01 19:00:45 +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 |
|
Anders Schack-Mulligen
|
8f2094f0bf
|
Autoformat.
|
2020-11-30 14:42:38 +01:00 |
|
Cornelius Riemenschneider
|
644a0fac98
|
C++: Port dataflow/dataflow-tests to inline expectations test library.
|
2020-11-27 16:03:15 +01:00 |
|
Jonas Jensen
|
6fecc38004
|
Merge pull request #4726 from MathiasVP/revert-4558
C++: Revert 4558
|
2020-11-26 08:44:32 +01:00 |
|
Cornelius Riemenschneider
|
0b8403fc05
|
C++: Add one more test.
|
2020-11-25 16:24:55 +01:00 |
|
Mathias Vorreiter Pedersen
|
4c3a26fea8
|
Revert "Merge pull request #4558 from rdmarsh2/rdmarsh2/cpp/remove-initialize-nonlocal"
This reverts commit 08efd7fbd9, reversing
changes made to cb8c5e8cca.
|
2020-11-25 15:51:52 +01:00 |
|
Cornelius Riemenschneider
|
7f13d4c356
|
C++: Improve EscapesTree analysis in the presence of temporary objects.
|
2020-11-25 10:41:15 +01:00 |
|
Cornelius Riemenschneider
|
8d024c7ff1
|
C++: Add tests around references to pointers with temporary objects.
|
2020-11-25 10:40:33 +01:00 |
|
Dave Bartolomeo
|
08efd7fbd9
|
Merge pull request #4558 from rdmarsh2/rdmarsh2/cpp/remove-initialize-nonlocal
Remove InitializeNonlocalInstruction
|
2020-11-18 20:23:08 -05:00 |
|
Robert Marsh
|
77729918c1
|
Merge branch 'main' into rdmarsh/cpp/use-taint-configuration-dtt
Update for submodule pointer
|
2020-11-18 13:09:02 -08:00 |
|