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 |
|
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
|
7700e87cca
|
C++: Address review.
|
2020-12-01 19:08:49 +01:00 |
|
Cornelius Riemenschneider
|
b632ca40b4
|
C++: Port dataflow/taint-tests to inline expectations test.
|
2020-11-30 17:32:54 +01: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
|
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 |
|
Geoffrey White
|
ceea947f5e
|
C++: Add another test case.
|
2020-10-22 12:41:23 +01:00 |
|
Geoffrey White
|
3cca8443f8
|
C++: Add memcpy(vector test.
|
2020-10-22 09:46:07 +01:00 |
|
Robert Marsh
|
413c845e97
|
Merge branch 'main' into rdmarsh2/cpp/output-iterators-2
Accept test changes for unnamed elements
|
2020-10-20 15:22:08 -07:00 |
|
Dave Bartolomeo
|
ade6d10e58
|
Merge remote-tracking branch 'upstream/main' into work
|
2020-10-20 07:24:42 -04:00 |
|
Mathias Vorreiter Pedersen
|
528afc55ab
|
Merge pull request #3788 from geoffw0/callderef
C++: Add bcopy to models and use it.
|
2020-10-20 12:15:23 +02:00 |
|
Dave Bartolomeo
|
d0b93df4ec
|
Merge from main
|
2020-10-19 15:17:19 -04:00 |
|
Ian Lynagh
|
987c16ed53
|
Merge remote-tracking branch 'upstream/main' into igfoo/unnamed
|
2020-10-19 19:09:41 +01:00 |
|
Geoffrey White
|
8646d5c811
|
C++: Fix test failure (we no longer have taint flow from the size parameter).
|
2020-10-19 17:37:11 +01:00 |
|
Dave Bartolomeo
|
40cd96eb1d
|
Merge from main
|
2020-10-17 15:14:26 -04:00 |
|
Dave Bartolomeo
|
1b53c4684d
|
Fix test expectations due to pair/make_pair fixes
|
2020-10-17 09:46:18 -04:00 |
|
Robert Marsh
|
fade75b0fb
|
C++: add operator-- tests for insert iterators
|
2020-10-14 15:54:34 -07:00 |
|
Robert Marsh
|
126615a7ee
|
C++: add prefix operator++ in inserter tests
|
2020-10-14 13:33:50 -07:00 |
|
Robert Marsh
|
a1a441d759
|
C++: output iterator flow through operator= models
|
2020-10-14 13:06:11 -07:00 |
|
Robert Marsh
|
f3843b8a40
|
Revert "C++: output iterator flow with user-defined operators"
This reverts commit 28fa26629c.
|
2020-10-14 13:01:37 -07:00 |
|
Ian Lynagh
|
9e518d2555
|
C++: Accept test change for p#n -> (unnamed parameter n)
|
2020-10-14 12:59:47 +01:00 |
|
Robert Marsh
|
28fa26629c
|
C++: output iterator flow with user-defined operators
|
2020-10-13 16:30:47 -07:00 |
|
Robert Marsh
|
45a27d3296
|
C++: add tests for back_inserter iterator flow
|
2020-10-13 16:19:15 -07:00 |
|
Robert Marsh
|
108cc9ea47
|
C++: fix assignment to *iter++
|
2020-10-13 16:19:15 -07:00 |
|
Robert Marsh
|
f39195e339
|
C++: add tests for assignments to *iter++
|
2020-10-13 16:19:15 -07:00 |
|
Robert Marsh
|
b49aa677d0
|
Merge pull request #4459 from geoffw0/setex
C++: Additional taint flows through std::set
|
2020-10-13 15:17:54 -04:00 |
|
Geoffrey White
|
4363f08b45
|
C++: Model std::set::emplace and emplace_hint.
|
2020-10-12 11:01:09 +01:00 |
|
Geoffrey White
|
5d87117dc7
|
C++: Model std::set::lower_bound, upper_bound, equal_range.
|
2020-10-12 10:10:40 +01:00 |
|
Geoffrey White
|
fc19bba0bd
|
C++: Model std::set::merge and correct test annotations.
|
2020-10-12 10:01:57 +01:00 |
|
Geoffrey White
|
c63f7cb409
|
C++: Taint through emplace from qualifier to return value.
|
2020-10-09 17:41:24 +01:00 |
|
Geoffrey White
|
270517d379
|
C++: Revise model of emplace and emplace_hint. Note that 2 of the 3 taint regressions we shouldn't be getting because we don't yet do taint through keys.
|
2020-10-09 17:27:18 +01:00 |
|
Geoffrey White
|
49c121d370
|
C++: More test cases covering other std::pair constructors.
|
2020-10-09 17:22:29 +01:00 |
|
Geoffrey White
|
61a78e28ac
|
C++: Fix map::merge.
|
2020-10-09 14:46:23 +01:00 |
|
Geoffrey White
|
1f1be3bf9a
|
C++: Block try_emplace arg 0.
|
2020-10-09 10:04:22 +01:00 |
|
Geoffrey White
|
8786fe1ab8
|
C++: Add test missing test case involving tainted key.
|
2020-10-09 10:00:22 +01:00 |
|
Geoffrey White
|
c555cfa22a
|
C++: Replace isParameterDeref(_).
|
2020-10-08 16:55:45 +01:00 |
|
Geoffrey White
|
5c1a510e4a
|
C++: Model map::lower_bound, upper_bound and equal_range.
|
2020-10-08 14:22:43 +01:00 |
|
Geoffrey White
|
ef9a7c8cdb
|
C++: Model map::merge.
|
2020-10-08 14:22:43 +01:00 |
|