Geoffrey White
|
a7564c9e0e
|
C++: Add a test of unsigned count-down loops.
|
2020-08-06 18:44:22 +01:00 |
|
Jonas Jensen
|
7cc877cbbb
|
C++: Taint through RangeBasedForStmt (AST only)
|
2020-08-06 15:37:41 +02:00 |
|
Jonas Jensen
|
5f635aca36
|
Merge pull request #3768 from geoffw0/copymove
C++: Clean up ConversionConstructor.
|
2020-08-05 14:35:05 +02:00 |
|
Jonas Jensen
|
ea0896c78b
|
Merge pull request #3999 from MathiasVP/mathiasvp/range-based-for-loop-taint-tests
C++: Add tests for taint through range-based for loops
|
2020-08-05 09:11:53 +02:00 |
|
Geoffrey White
|
9f5c37ccaa
|
Merge branch 'master' into copymove
|
2020-08-04 15:41:27 +01:00 |
|
Mathias Vorreiter Pedersen
|
4990d00498
|
C++: Add taint tests demonstrating lack of taint through range based for loops
|
2020-07-31 09:57:35 +02:00 |
|
Mathias Vorreiter Pedersen
|
b88ef56cb4
|
C++: Add basic iterator definition that matches STL
|
2020-07-31 09:45:32 +02:00 |
|
Mathias Vorreiter Pedersen
|
a4242bcb5d
|
Merge pull request #3962 from rdmarsh2/ir-barrierguard-checks-expr
C++: make IR BarrierGuard::checks match AST
|
2020-07-23 09:21:37 +02:00 |
|
Robert Marsh
|
0bb6d0c7ca
|
C++: make IR BarrierGuard::checks match AST
|
2020-07-17 15:43:57 -07:00 |
|
Mathias Vorreiter Pedersen
|
c4b97a3a62
|
C++: Accept more test changes
|
2020-07-15 16:19:51 +02:00 |
|
Geoffrey White
|
c4940aaa86
|
Merge branch 'master' into copymove
|
2020-07-15 15:01:01 +01:00 |
|
Mathias Vorreiter Pedersen
|
edc33b6516
|
C++: Add getOutputParameterIndex override to UserDefinedFormattingFunction and accept test changes
|
2020-07-15 14:46:08 +02:00 |
|
Mathias Vorreiter Pedersen
|
d711c22cd2
|
C++: Add testcase demonstrating lost query results
|
2020-07-15 14:42:45 +02:00 |
|
Mathias Vorreiter Pedersen
|
174b30461a
|
C++: Fix syntax error in testfile
|
2020-07-14 19:47:21 +02:00 |
|
Mathias Vorreiter Pedersen
|
834ad92453
|
C++: Add test cases for unsigned multiplication and fix missing return value in existing tests
|
2020-07-14 16:57:47 +02:00 |
|
Geoffrey White
|
37158f46ed
|
C++: Remove deprecated class from test.
|
2020-07-14 15:36:48 +01:00 |
|
Geoffrey White
|
61178c5330
|
Merge branch 'master' into copymove
|
2020-07-13 14:11:12 +01:00 |
|
dilanbhalla
|
48e540fa9a
|
minor fixes
|
2020-07-13 01:25:42 -07:00 |
|
dilanbhalla
|
db6d5c329f
|
file/buffer write dataflow queries complete
|
2020-07-13 00:57:05 -07:00 |
|
Jonas Jensen
|
2fa54552f0
|
Merge pull request #3914 from geoffw0/cc_followup
C++: Repair swap taint tests
|
2020-07-09 15:54:40 +02:00 |
|
Robert Marsh
|
0e66d0892b
|
Merge pull request #3785 from MathiasVP/dataflow-operand-nodes
C++: Operands as dataflow nodes
|
2020-07-08 14:50:54 -07:00 |
|
Jonas Jensen
|
0bbbfe58cf
|
Merge pull request #3916 from geoffw0/cc_followup2
C++: Add missing constructor taint test
|
2020-07-08 16:35:47 +02:00 |
|
dilanbhalla
|
3b9daa2db2
|
added pr fixes
|
2020-07-07 11:05:39 -07:00 |
|
Geoffrey White
|
bc7c83a5d6
|
C++: Add taint test cases confirming that constructor definitions do no need to be present.
|
2020-07-07 16:01:13 +01:00 |
|
Ian Lynagh
|
0d9b18dbd7
|
C++: Accept test changes for is_constexpr
Generated copy and move constructors may now be marked as constexpr.
|
2020-07-06 19:24:39 +01:00 |
|
Geoffrey White
|
0caa17ab10
|
C++: Test the new methods.
|
2020-07-06 18:47:56 +01:00 |
|
Geoffrey White
|
52e501c41d
|
C++: Extend the 'swap' taint tests with methods that do not have recognizable signatures (copy/move assignment).
|
2020-07-06 18:44:37 +01:00 |
|
dilanbhalla
|
25bfc3a168
|
fixed references and used autoformat
|
2020-07-01 09:23:36 -07:00 |
|
Jonas Jensen
|
50cd759718
|
Merge pull request #3733 from geoffw0/models5
C++: Constructor and assignment models
|
2020-07-01 13:58:27 +02:00 |
|
Anders Schack-Mulligen
|
38b73ff684
|
Merge pull request #3854 from hvitved/dataflow/node-type-interface
Data flow: Replace `getErasedRepr()` and `Node::getTypeBound()` with `getNodeType()`
|
2020-07-01 11:37:19 +02:00 |
|
dilanbhalla
|
e1130a2bfa
|
moved privatedata to experimental
|
2020-06-30 17:58:24 -07:00 |
|
dilanbhalla
|
3fdd11a9b5
|
scanf fixes, still need to update qhelp file
|
2020-06-30 17:22:29 -07:00 |
|
dilanbhalla
|
f462156cdf
|
private data file/buffer write
|
2020-06-30 12:09:50 -07:00 |
|
Geoffrey White
|
8bdcc47a50
|
C++: Add a test.
|
2020-06-30 17:46:08 +01:00 |
|
Tom Hvitved
|
de3dc734ff
|
C++: Follow-up changes
|
2020-06-30 17:44:16 +02:00 |
|
Geoffrey White
|
3016798101
|
Merge branch 'master' into copymove
|
2020-06-30 16:20:41 +01:00 |
|
Geoffrey White
|
c57c016ced
|
C++: Go the other way.
|
2020-06-30 16:16:00 +01:00 |
|
Jonas Jensen
|
63de58c557
|
Merge pull request #3819 from dbartol/codeql-c-analysis-team/40/2
C++: More IR QLDoc (including `Opcode.qll`)
|
2020-06-30 17:09:15 +02:00 |
|
Matthew Gretton-Dann
|
ab876b8b78
|
Merge pull request #3814 from nickrolfe/71-this
C++: add MemberFunction::getTypeOfThis()
|
2020-06-30 13:31:14 +01:00 |
|
Nick Rolfe
|
4b6908c5bf
|
C++: test template classes with MemberFunction::getTypeOfThis()
|
2020-06-29 18:05:58 +01:00 |
|
Mathias Vorreiter Pedersen
|
5fbf30590e
|
C++: Accept test changes.
|
2020-06-28 20:21:51 +02:00 |
|
Mathias Vorreiter Pedersen
|
9c0f877172
|
C++: Keep old instruction -> instruction flow in simpleInstructionLocalFlowStep. This means we don't have to add general operand -> instruction to the simpleLocalFlowStep relation, which seems to add a 10% performance regression.
|
2020-06-28 11:28:43 +02:00 |
|
Dave Bartolomeo
|
5f290520ab
|
C++: Accept test diffs due to opcode rename
|
2020-06-26 13:45:41 -04:00 |
|
Nick Rolfe
|
0ae5fb0357
|
C++: auto-format test query
|
2020-06-26 15:35:55 +01:00 |
|
Nick Rolfe
|
309a8e60c8
|
C++: add more test cases for the type of this
|
2020-06-26 14:20:46 +01:00 |
|
Nick Rolfe
|
9e9d69238a
|
C++: add test for MemberFunction::getTypeOfThis()
|
2020-06-26 14:20:46 +01:00 |
|
Nick Rolfe
|
133838dbf3
|
C++: update tests to expect type of this
|
2020-06-26 14:20:45 +01:00 |
|
Jonas Jensen
|
c1b26d71c3
|
C++: getCanonicalQLClass -> getAPrimaryQlClass
Also updated the QLDoc for `getAPrimaryQlClass` to match the Go version.
|
2020-06-26 13:20:36 +02:00 |
|
Geoffrey White
|
168f9404f0
|
Merge branch 'master' into models5
|
2020-06-25 17:42:08 +01:00 |
|
Geoffrey White
|
edc5d5d128
|
C++: Add a test of MissingNullTest.
|
2020-06-25 11:04:06 +01:00 |
|