Geoffrey White
|
8ae01789b1
|
CPP: Examples Specifier.qll.
|
2021-02-04 17:08:29 +00:00 |
|
Geoffrey White
|
500097ca76
|
CPP: Examples Preprocessor.qll.
|
2021-02-04 17:08:29 +00:00 |
|
Geoffrey White
|
4b9532c6f7
|
CPP: Examples Namespace.qll.
|
2021-02-04 17:08:29 +00:00 |
|
Geoffrey White
|
69c7c83bc2
|
Merge pull request #5094 from MathiasVP/promote-UnsignedDifferenceExpressionComparedZero
Promote cpp/unsigned-difference-expression-compared-zero out of experimental
|
2021-02-04 16:54:45 +00:00 |
|
Mathias Vorreiter Pedersen
|
cf0e464ab9
|
Merge branch 'promote-UnsignedDifferenceExpressionComparedZero' of github.com:MathiasVP/ql into promote-UnsignedDifferenceExpressionComparedZero
|
2021-02-04 17:24:59 +01:00 |
|
Mathias Vorreiter Pedersen
|
6a97d02247
|
C++: Address review comments.
|
2021-02-04 17:24:14 +01:00 |
|
Mathias Vorreiter Pedersen
|
161e5679a7
|
Apply suggestions from code review
Co-authored-by: hubwriter <hubwriter@github.com>
|
2021-02-04 16:47:45 +01:00 |
|
Mathias Vorreiter Pedersen
|
d9d82fc56a
|
C++: Update change-notes
|
2021-02-04 16:24:56 +01:00 |
|
Geoffrey White
|
7c54512859
|
Merge pull request #5010 from ihsinme/ihsinme-patch-220
CPP: Add query for CWE-570 detect and handle memory allocation errors.
|
2021-02-04 15:17:28 +00:00 |
|
Mathias Vorreiter Pedersen
|
707f532e10
|
C++: Fix bad join-order using a poor man's unbind operator.
|
2021-02-04 16:11:34 +01:00 |
|
Mathias Vorreiter Pedersen
|
fd596ebbbb
|
C++: Move cpp/unsigned-difference-expression-compared-zero out of experimental.
|
2021-02-04 16:10:34 +01:00 |
|
Mathias Vorreiter Pedersen
|
c1c9f963b9
|
C++: Fix qhelp in cpp/unsigned-difference-expression-compared-zero.
|
2021-02-04 16:10:30 +01:00 |
|
Mathias Vorreiter Pedersen
|
d3d56fb0af
|
Merge pull request #5011 from ihsinme/ihsinme-patch-221
CPP: add query for CWE-788 Access of memory location after the end of a buffer using strlen.
|
2021-02-04 14:25:27 +01:00 |
|
Mathias Vorreiter Pedersen
|
9b39163411
|
Merge pull request #5076 from MathiasVP/improve-UnsignedDifferenceExpressionComparedZero
C++: Improve cpp/unsigned-difference-expression-compared-zero
|
2021-02-04 14:05:30 +01:00 |
|
ihsinme
|
43045c1f03
|
Update WrongInDetectingAndHandlingMemoryAllocationErrors.ql
|
2021-02-04 15:47:16 +03:00 |
|
ihsinme
|
a43167faf7
|
Update WrongInDetectingAndHandlingMemoryAllocationErrors.qhelp
|
2021-02-04 15:44:28 +03:00 |
|
ihsinme
|
2131f35801
|
Update WrongInDetectingAndHandlingMemoryAllocationErrors.ql
|
2021-02-04 15:41:40 +03:00 |
|
Mathias Vorreiter Pedersen
|
b55921a391
|
Update cpp/ql/src/experimental/Security/CWE/CWE-191/UnsignedDifferenceExpressionComparedZero.ql
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
|
2021-02-04 13:25:02 +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
|
55615586ee
|
C++: Address review comments.
|
2021-02-04 11:30:44 +01: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 |
|
Geoffrey White
|
7087904637
|
C++: Solution.
|
2021-02-04 09:00:35 +00:00 |
|
Mathias Vorreiter Pedersen
|
8cf8b704c5
|
C++: Add more indirection flow in dataflow models. Also revert the additions to DataFlowUtil added in #5035 as they can add too much flow.
|
2021-02-03 16:16:48 +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 |
|
Mathias Vorreiter Pedersen
|
691a316460
|
C++: Add tests to cpp/unsigned-difference-expression-compared-zero and remove a couple of classes of FPs.
|
2021-02-03 11:10:57 +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 |
|
Robert Marsh
|
631ee28cae
|
C++: update comments about SSA sharing
|
2021-02-02 09:11:21 -08:00 |
|
Robert Marsh
|
50edf44e84
|
C++/C#: autoformat and sync files
|
2021-02-02 09:06:44 -08: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
|
98d73bf474
|
Merge pull request #5072 from MathiasVP/strcrement-model-implementation
C++: Implement model for _strinc and related functions
|
2021-02-02 16:22:13 +01:00 |
|
Mathias Vorreiter Pedersen
|
07a20752bc
|
Fix spelling in qldoc.
Co-authored-by: Cornelius Riemenschneider <criemen@github.com>
|
2021-02-02 15:51:40 +01:00 |
|
Jonas Jensen
|
aa9ab41e30
|
Merge pull request #5059 from geoffw0/mswprintf
C++: Exclude custom vprintf implementations from primitiveVariadicFormatter.
|
2021-02-02 15:13:25 +01:00 |
|
Geoffrey White
|
708d3870ee
|
C++: Actually it's more appropriate to remove the implementation of vswprintf.
|
2021-02-02 13:42:27 +00:00 |
|
Geoffrey White
|
4e904dd87d
|
C++: Repair the test.
|
2021-02-02 13:08:46 +00: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
|
eed2aee17d
|
C++: Effect on tests.
|
2021-02-02 10:59:14 +00: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
|
0db54e08b8
|
C++: Address review comments.
|
2021-02-02 10:48:07 +01:00 |
|
Mathias Vorreiter Pedersen
|
6e71c68f33
|
C++: Add strsep model implementation.
|
2021-02-02 10:29:23 +01:00 |
|
Mathias Vorreiter Pedersen
|
be9908df87
|
C++: Fix copy/paste error.
|
2021-02-01 16:45:07 +01:00 |
|
Mathias Vorreiter Pedersen
|
9db19613d6
|
C++: Reuse logic from commons/Scanf.
|
2021-02-01 16:10:28 +01:00 |
|
Mathias Vorreiter Pedersen
|
27b41c2016
|
C++: Address review comments.
|
2021-02-01 13:32:46 +01:00 |
|
Mathias Vorreiter Pedersen
|
c747914ef2
|
C++: Add sscanf and fscanf model implementations.
|
2021-02-01 12:54:59 +01:00 |
|
Mathias Vorreiter Pedersen
|
61125b4bf2
|
C++: Address review comments.
|
2021-02-01 12:15:57 +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 |
|
ihsinme
|
2b946aee5a
|
Update WrongInDetectingAndHandlingMemoryAllocationErrors.ql
|
2021-01-31 15:21:54 +03:00 |
|
ihsinme
|
b7df18b97e
|
Update AccessOfMemoryLocationAfterEndOfBufferUsingStrlen.ql
|
2021-01-31 15:16:40 +03:00 |
|
Geoffrey White
|
064d89735b
|
Merge pull request #5046 from MathiasVP/model-more-pure-functions
C++: Model more pure functions
|
2021-01-29 22:05:48 +00:00 |
|