Geoffrey White
|
e02ebfb9bd
|
C++: Add extra cases to Allocation / Deallocation.
|
2020-12-14 14:00:36 +00:00 |
|
Geoffrey White
|
899d1ab6d8
|
C++: Add tests of strdup (and variants) as allocators.
|
2020-12-14 13:50:11 +00:00 |
|
Robert Marsh
|
af180d430e
|
Merge pull request #4805 from geoffw0/sscanf
C++: Refine examples and tests for cpp/memory-unsafe-function-scan (experimental) query
|
2020-12-11 12:42:11 -08:00 |
|
Robert Marsh
|
0210c1f721
|
Merge pull request #4783 from geoffw0/modelchanges4
C++: More use of set literals.
|
2020-12-10 15:24:50 -08:00 |
|
Geoffrey White
|
b79ca4535a
|
C++: Undo the iterator.qll change. Notice that it was 'and' not 'or'.
|
2020-12-10 18:29:39 +00:00 |
|
Geoffrey White
|
c5592a1ed7
|
C++: New experimental query.
|
2020-12-10 16:46:09 +00:00 |
|
Geoffrey White
|
3bef0e5c00
|
C++: Implement a general model.
|
2020-12-09 18:53:49 +00:00 |
|
Geoffrey White
|
209191bb24
|
C++: Add another good example.
|
2020-12-09 16:55:07 +00:00 |
|
Geoffrey White
|
80db155d54
|
C++: Fix example and test.
|
2020-12-09 16:46:48 +00:00 |
|
Geoffrey White
|
d08efb4e47
|
C++: Combine the member swap models.
|
2020-12-08 19:50:13 +00:00 |
|
Geoffrey White
|
4a81d36309
|
C++: Move all of the swap models into Swap.qll.
|
2020-12-08 18:19:43 +00:00 |
|
Geoffrey White
|
e18f290864
|
C++: Correct comment.
|
2020-12-08 16:55:19 +00:00 |
|
james
|
da16fad0f1
|
Merge branch 'rc/1.26' into 126-mergeback
|
2020-12-08 09:26:12 +00:00 |
|
Geoffrey White
|
ef131d3951
|
C++: Fix StandardDeallocationFunction.
|
2020-12-07 18:52:35 +00:00 |
|
Geoffrey White
|
281b56b2ae
|
C++: Add comments to the Allocation and Deallocation libraries indicating where the functions come from.
|
2020-12-07 18:52:03 +00:00 |
|
Rasmus Wriedt Larsen
|
9e7d5b3a9c
|
C++: Minor test README fixes
|
2020-12-07 11:52:18 +01:00 |
|
Geoffrey White
|
998eaf90ee
|
C++: Run through updated autoformat.
|
2020-12-04 18:53:24 +00:00 |
|
Jonas Jensen
|
bc340e210b
|
Merge pull request #4745 from ihsinme/main
CPP: Add query for CWE-191 into experimental this reveals a dangerous comparison
|
2020-12-04 18:00:41 +01:00 |
|
Cornelius Riemenschneider
|
2ea9b4a62b
|
Merge pull request #4719 from geoffw0/issue84
C++: Create tests readme.
|
2020-12-04 13:49:56 +01:00 |
|
Jonas Jensen
|
9cf318b72c
|
C++: Autoformat the new query
Tweak whitespace, also in the alert message.
|
2020-12-04 13:27:07 +01:00 |
|
Jonas Jensen
|
bf88df8134
|
C++: CRLF -> LF line endings
|
2020-12-04 13:25:32 +01:00 |
|
Jonas Jensen
|
b4be72268d
|
Merge pull request #4722 from rdmarsh2/rdmarsh2/cpp/range-analysis-overflow-perf
C++: Filter out lower bounds on overflowing exprs
|
2020-12-04 08:29:21 +01:00 |
|
ihsinme
|
69ed608a11
|
Update UnsignedDifferenceExpressionComparedZero.ql
|
2020-12-04 09:47:11 +03:00 |
|
Robert Marsh
|
b45f7846db
|
C++: autoformat
|
2020-12-03 15:48:42 -08:00 |
|
Geoffrey White
|
13d9d5dc45
|
C++: Use [,] more in general.
|
2020-12-03 18:50:43 +00:00 |
|
Geoffrey White
|
2a4fba0ff9
|
C++: Use [,] more in models.
|
2020-12-03 17:27:31 +00:00 |
|
Mathias Vorreiter Pedersen
|
1142a79ad5
|
Merge pull request #4766 from criemen/cleanup-flow-tests
C++: Cleanup data/taint flow tests
|
2020-12-03 10:10:39 +01:00 |
|
Geoffrey White
|
4322b214c6
|
C++: Link to standards.
|
2020-12-02 15:57:38 +00:00 |
|
Geoffrey White
|
420d47b676
|
Apply suggestions from code review
Co-authored-by: hubwriter <hubwriter@github.com>
|
2020-12-02 15:54:28 +00:00 |
|
Geoffrey White
|
d20619d779
|
Merge branch 'main' into modelchanges3
|
2020-12-02 14:45:54 +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 |
|
Robert Marsh
|
8c1f15b261
|
C++: refactor getLowerBoundsImpl for perfomance
|
2020-12-01 14:42:37 -08:00 |
|
Cornelius Riemenschneider
|
239588b5e0
|
C++: Remove MISSING annotations for tests that are already correct.
|
2020-12-01 19:41:24 +01:00 |
|
Geoffrey White
|
39a939c36f
|
C++: Update change note.
|
2020-12-01 18:34:01 +00: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 |
|
Geoffrey White
|
7c00477736
|
C++: Combine getOutputParameterIndex and isOutputStream.
|
2020-12-01 16:27:30 +00:00 |
|
Geoffrey White
|
c9c159ad0b
|
C++: Autoformat.
|
2020-12-01 15:37:26 +00:00 |
|
Geoffrey White
|
799b932c17
|
C++: Restore QLDoc on deprecated predicates.
|
2020-12-01 15:21:06 +00:00 |
|
Geoffrey White
|
9c277b3cb1
|
C++: Fix a small bug in the ArrayFunction model for FormattingFunction.
|
2020-11-30 17:55:25 +00:00 |
|
Geoffrey White
|
510bce36f1
|
C++: Change note.
|
2020-11-30 17:55:24 +00:00 |
|
Geoffrey White
|
b52ddbfc42
|
C++: Implement isOutputStream, isOutputString for UserDefinedFormattingFunction as well.
|
2020-11-30 17:55:24 +00:00 |
|
Geoffrey White
|
c3b16a5fd2
|
C++: Implement FormattingFunction isOutputStream, isOutputString so that subclasses don't need to be accessed for this information, and can be private.
|
2020-11-30 17:55:23 +00: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 |
|
Geoffrey White
|
99b01e7d36
|
C++: Additional test case for FormattingFunction.
|
2020-11-30 15:25:51 +00:00 |
|
Anders Schack-Mulligen
|
8f2094f0bf
|
Autoformat.
|
2020-11-30 14:42:38 +01:00 |
|
Anders Schack-Mulligen
|
931322e4c5
|
Merge pull request #4668 from aschackmull/dataflow/refactor-pruning
Dataflow: Refactor pruning stages.
|
2020-11-30 09:37:04 +01:00 |
|
ihsinme
|
d088d5b0f3
|
CPP: Add query for CWE-191
into experimental this reveals a dangerous comparison
|
2020-11-28 15:52:00 +03:00 |
|