Geoffrey White
|
fafd2f0a7c
|
C++: Add test cases for stringstream / ostream.
|
2020-09-07 18:27:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
9c1837e3b3
|
C++: Rename getField to getAField following review comments.
|
2020-09-07 16:52:04 +02:00 |
|
Jonas Jensen
|
3493c93d7b
|
Merge pull request #4218 from MathiasVP/mathiasvp/fix-fp-av82
C++: Add cases for conditional and comma operator in AV Rule 82
|
2020-09-07 15:27:07 +02:00 |
|
Jonas Jensen
|
3a7bf2a15a
|
Merge pull request #3933 from MathiasVP/alternative-instruction-operand-flow
C++: Alternate instruction -> operand flow
|
2020-09-07 13:37:20 +02:00 |
|
Jonas Jensen
|
0fe5d75375
|
Merge pull request #4196 from MathiasVP/mathiasvp/field-to-object-taint-tests
C++: Add field to object taint tests
|
2020-09-07 13:02:22 +02:00 |
|
Mathias Vorreiter Pedersen
|
b3d18ef610
|
C++: Add cases for conditional and comma operator in AV RUle 82
|
2020-09-07 08:59:08 +02:00 |
|
Mathias Vorreiter Pedersen
|
a5ac8ebc2f
|
C++: Don't import internals.
|
2020-09-05 11:47:22 +02:00 |
|
Robert Marsh
|
4be138d790
|
C++: Improve performance of getExplicitlyConverted
|
2020-09-04 14:17:56 -07:00 |
|
Mathias Vorreiter Pedersen
|
a4890ef99c
|
C++: Add annotations describing whether the flow is an instance of field-to-object flow
|
2020-09-04 18:32:28 +02:00 |
|
Mathias Vorreiter Pedersen
|
cfd606a4e0
|
Merge branch 'main' into alternative-instruction-operand-flow
|
2020-09-04 18:26:38 +02:00 |
|
Mathias Vorreiter Pedersen
|
208b85c7fc
|
Merge branch 'main' into mathiasvp/read-step-without-memory-operands
|
2020-09-04 18:04:15 +02:00 |
|
Jonas Jensen
|
eea893483d
|
Merge pull request #4209 from geoffw0/taintbits
C++: Fix a few remaining holes in taint through std::string
|
2020-09-04 17:52:48 +02:00 |
|
Jonas Jensen
|
f92139d2b0
|
Merge pull request #4202 from geoffw0/localhidesparam
C++: Improve handling of template functions in cpp/declaration-hides-parameter
|
2020-09-04 17:52:35 +02:00 |
|
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
|
156a174cf4
|
C++: Add explanation.
|
2020-09-04 14:55:55 +01:00 |
|
Geoffrey White
|
96098c5244
|
C++: Simplify getConstructedFrom.
|
2020-09-04 14:52:01 +01:00 |
|
Geoffrey White
|
2472b40b31
|
C++: Fix test comments.
|
2020-09-04 14:37:23 +01: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 |
|
Geoffrey White
|
1d04c89927
|
C++: Autoformat.
|
2020-09-03 18:54:36 +01:00 |
|
Geoffrey White
|
2d7552358b
|
C++: Put in a better fix.
|
2020-09-03 18:51:57 +01:00 |
|
Geoffrey White
|
a1c7fd8fec
|
C++: Remove the workaround for CPP-331.
|
2020-09-03 18:51:21 +01:00 |
|
Geoffrey White
|
5150bf30e7
|
C++: Add another test case inspired by CPP-331.
|
2020-09-03 18:50:11 +01:00 |
|
Geoffrey White
|
1483306c4c
|
C++: Add more tests.
|
2020-09-03 18:39:50 +01: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
|
1ad404c605
|
C++: Extend model to include std::forward_list::insert_after.
|
2020-09-03 10:52:26 +01:00 |
|
Geoffrey White
|
fcacb22cad
|
C++: Use [] in std::string begin model.
|
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
|
0fed7c0745
|
C++/C#: Sync identical files
|
2020-09-02 22:53:45 +02:00 |
|
Mathias Vorreiter Pedersen
|
fa26eed3e2
|
Update cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/Operand.qll
Co-authored-by: Dave Bartolomeo <dbartol@github.com>
|
2020-09-02 22:29:38 +02:00 |
|
Mathias Vorreiter Pedersen
|
428bcc5e03
|
Update cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/Instruction.qll
Co-authored-by: Dave Bartolomeo <dbartol@github.com>
|
2020-09-02 22:29:28 +02:00 |
|
Ian Lynagh
|
8c7431c4ae
|
C++: Put {true,false}cond_base back as deprecated predicates for now
|
2020-09-02 19:10:36 +01:00 |
|
Ian Lynagh
|
c980ccf7c5
|
C++: Add an upgrade script
|
2020-09-02 19:05:05 +01:00 |
|
Ian Lynagh
|
8ce1edbed3
|
C++: Update stats now CFG tables have been removed
|
2020-09-02 19:05:05 +01:00 |
|
Mathias Vorreiter Pedersen
|
3cbc4cf0b9
|
C++: Add field to object taint tests
|
2020-09-02 17:32:46 +02:00 |
|