Mathias Vorreiter Pedersen
|
ed7e499b02
|
Merge branch 'main' into mathiasvp/read-step-without-memory-operands
|
2020-09-04 17:25:36 +02:00 |
|
Mathias Vorreiter Pedersen
|
c67951682a
|
C++: Fix two bad join orders in readStep and storeStep. And use a min aggregate to guarentee that a FieldContent's toString has at most one result.
|
2020-09-04 17:12:30 +02:00 |
|
Geoffrey White
|
43d8e83258
|
Merge branch 'main' into taintbits
|
2020-09-04 14:26:42 +01:00 |
|
Geoffrey White
|
5d1c2a3689
|
Merge pull request #4204 from jbj/SimpleRangeAnalysis-NEExpr
C++: Support `!= constant` in range analysis
|
2020-09-04 13:47:59 +01:00 |
|
Geoffrey White
|
6c40e22f45
|
C++: Support further reverse taint flows on things that return *this.
|
2020-09-04 09:45:10 +01:00 |
|
Geoffrey White
|
018b0a5abf
|
C++: Model std::string front, back and push_back.
|
2020-09-04 09:45:07 +01:00 |
|
Geoffrey White
|
6e734a894f
|
C++: Additional test cases for std::string.
|
2020-09-04 09:44:58 +01:00 |
|
Jonas Jensen
|
fbe42fb64c
|
C++: Support != constant in range analysis
|
2020-09-04 09:20:23 +02:00 |
|
Jonas Jensen
|
d061b09fe0
|
C++: Test showing no support for != and !
|
2020-09-04 09:02:42 +02:00 |
|
Mathias Vorreiter Pedersen
|
b7774b2a82
|
Merge pull request #4201 from geoffw0/insert
C++: Model iterator versions of string and vector methods
|
2020-09-03 21:45:36 +02:00 |
|
Nick Rolfe
|
b8ae87470d
|
Merge pull request #4182 from github/igfoo/cfg
C++: Remove some remnants of the extractor CFG
|
2020-09-03 12:22:04 +01:00 |
|
Geoffrey White
|
d4cbb25e09
|
C++: Model std::string constructors and container constructors that use iterators.
|
2020-09-03 10:52:27 +01:00 |
|
Geoffrey White
|
1ac0aa169d
|
C++: Add a few more test cases.
|
2020-09-03 10:52:26 +01:00 |
|
Geoffrey White
|
95ca4b674d
|
C++: Add model for std::vector::insert.
|
2020-09-03 10:52:25 +01:00 |
|
Geoffrey White
|
f61c7ffc1a
|
C++: Add support for iterator parameters to std::vector::assign.
|
2020-09-03 10:52:25 +01:00 |
|
Geoffrey White
|
8e9faac363
|
C++: Add support for std::vector begin and end.
|
2020-09-03 10:52:24 +01:00 |
|
Geoffrey White
|
4d47eaa08d
|
C++: Add support for iterator parameters to std::string::assign.
|
2020-09-03 10:52:24 +01:00 |
|
Geoffrey White
|
98f84646d6
|
C++: Result changes due to iterators PR, which adds support for std::string begin and end, and iterator parameters to std::string::insert and some similar functions.
|
2020-09-03 10:52:24 +01:00 |
|
Geoffrey White
|
7917dff843
|
C++: Add test cases for std::string and std::vector using iterator methods.
|
2020-09-03 10:52:23 +01:00 |
|
Geoffrey White
|
fcdbe0f512
|
C++: Add a const conversion constructor to std::iterator in the tests.
|
2020-09-03 10:52:23 +01:00 |
|
Mathias Vorreiter Pedersen
|
3cbc4cf0b9
|
C++: Add field to object taint tests
|
2020-09-02 17:32:46 +02:00 |
|
Mathias Vorreiter Pedersen
|
69c1eadfdc
|
Merge branch 'main' into mathiasvp/read-step-without-memory-operands
|
2020-09-02 14:21:23 +02:00 |
|
Jonas Jensen
|
db45b29806
|
Merge pull request #4102 from rdmarsh2/rdmarsh2/cpp/input-iterators-1
C++: Basic input iterator models
|
2020-09-02 07:57:35 +02:00 |
|
Ian Lynagh
|
1cba09dde2
|
C++: Remove some remnants of the extractor CFG
|
2020-09-01 14:49:36 +01:00 |
|
Mathias Vorreiter Pedersen
|
aa3b268525
|
Merge pull request #4162 from jbj/ssa-ref-parameters
C++: SSA and range analysis for reference parameters
|
2020-09-01 11:48:41 +02:00 |
|
Mathias Vorreiter Pedersen
|
472363b86e
|
Merge branch 'main' into mathiasvp/read-step-without-memory-operands
|
2020-09-01 11:08:52 +02:00 |
|
Mathias Vorreiter Pedersen
|
3cca74e654
|
C++: Accept test changes
|
2020-09-01 10:54:46 +02:00 |
|
Robert Marsh
|
10005dd199
|
Merge branch 'main' into rdmarsh2/cpp/input-iterators-1Merge changes to input/output models for functions that return thisand resolve conflicting changes to taint tests.
|
2020-08-31 14:49:01 -07:00 |
|
Jonas Jensen
|
023f2e97c1
|
C++: Really accept test results this time
|
2020-08-28 16:50:23 +02:00 |
|
Rasmus Lerchedahl Petersen
|
750735c70c
|
Dataflow: Update test expectations
|
2020-08-28 15:00:01 +02:00 |
|
Jonas Jensen
|
a25cc2d9c7
|
C++: Accept range-analysis test results
|
2020-08-28 14:54:44 +02:00 |
|
Jonas Jensen
|
027f22d8e7
|
C++: Test that range analysis ignores references
|
2020-08-28 14:41:57 +02:00 |
|
Jonas Jensen
|
55d7ac88f9
|
Merge pull request #4148 from geoffw0/vecextra
C++: Improvements to string and vector models.
|
2020-08-28 10:05:42 +02:00 |
|
Geoffrey White
|
208cd4c888
|
C++: Fix assign in the test stl.h.
|
2020-08-27 16:52:22 +01:00 |
|
Geoffrey White
|
927a4faa58
|
C++: Remove the non-reference case that we shouldn't need.
|
2020-08-27 15:42:40 +01:00 |
|
Geoffrey White
|
865d91de80
|
C++: Fix getAValueTypeParameterIndex().
|
2020-08-27 15:08:58 +01:00 |
|
Geoffrey White
|
816b8abd7c
|
C++: Add a test case using a const int *.
|
2020-08-27 15:05:23 +01:00 |
|
Geoffrey White
|
a5a3078b58
|
C++: Add a test case using a typedef int.
|
2020-08-27 12:11:56 +01:00 |
|
Geoffrey White
|
6f62803e1f
|
C++: Taint tests for array and reference assignments.
|
2020-08-27 11:26:25 +01:00 |
|
Geoffrey White
|
111da4c352
|
C++: Add a model of std::vector::assign.
|
2020-08-27 10:22:31 +01:00 |
|
Geoffrey White
|
fbac4ce44f
|
C++: Split StdStringCStr and allow reverse flow on data.
|
2020-08-27 10:11:03 +01:00 |
|
Geoffrey White
|
fbff44ea45
|
C++: Add reverse taint as well.
|
2020-08-27 10:09:51 +01:00 |
|
Geoffrey White
|
6ae96baaf6
|
C++: Model std::vector::data.
|
2020-08-27 10:08:58 +01:00 |
|
Geoffrey White
|
2235c19593
|
C++: Add test cases for 'assign' and extra cases for 'data'.
|
2020-08-27 10:08:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
e4807c0181
|
C++: Accept test changes
|
2020-08-26 15:51:09 +02:00 |
|
Mathias Vorreiter Pedersen
|
2a8ee90828
|
C++: Demonstrate lack of flow when taking the address of a field and loading it afterwards
|
2020-08-26 15:50:57 +02:00 |
|
Jonas Jensen
|
f60abd8cf9
|
Merge pull request #4125 from geoffw0/oparray2
C++: Model operator[]
|
2020-08-26 13:44:02 +02:00 |
|
Nick Rolfe
|
00316dca8b
|
Merge pull request #4120 from github/igfoo/global_vars
C++: Give fewer types to global variables
|
2020-08-26 12:29:41 +01:00 |
|
Robert Marsh
|
34ddbc0dc2
|
C++: add std::string::end to model
|
2020-08-25 13:22:00 -07:00 |
|
Geoffrey White
|
23a792b8c6
|
C++: Add tests of nested vectors.
|
2020-08-25 12:13:32 +01:00 |
|