Jonas Jensen
|
8bb9e8a4af
|
Merge pull request #4592 from geoffw0/varnotused
C++: Work around two false positive issues with the UnusedLocals.ql query
|
2020-11-13 14:53:58 +01:00 |
|
Mathias Vorreiter Pedersen
|
8d4b948acf
|
Merge branch 'main' into interleave-op-instr-field-flow
|
2020-11-10 21:15:50 +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 |
|
Mathias Vorreiter Pedersen
|
3c2fb5a93f
|
Merge branch 'main' into interleave-op-instr-field-flow
|
2020-11-09 09:58:19 +01:00 |
|
Robert Marsh
|
2f204869e7
|
Merge pull request #4604 from criemen/ir-block-sort-order
C++, C# IR: Stabilize sort order for basic blocks.
|
2020-11-04 18:22:23 -05:00 |
|
Cornelius Riemenschneider
|
78d885ee7d
|
C++: Accept test output.
|
2020-11-04 16:45:07 +01: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
|
4cc9110dbd
|
Fix test expectation
|
2020-11-03 13:39:33 -05:00 |
|
Dave Bartolomeo
|
f0b9794907
|
Merge remote-tracking branch 'upstream/main' into work
|
2020-11-03 11:33:44 -05:00 |
|
Dave Bartolomeo
|
0d1fbd1bdc
|
Fix annotations
|
2020-11-02 18:03:40 -05:00 |
|
Geoffrey White
|
e9bde9b711
|
C++: Work around issue with ConditionalDeclExpr.
|
2020-11-02 15:46:38 +00:00 |
|
Geoffrey White
|
79bda0055c
|
C++: Work around issue with 'Unknown literal'.
|
2020-11-02 15:46:36 +00:00 |
|
Geoffrey White
|
35f4646ee0
|
C++: Add test cases for UnusedLocals.
|
2020-11-02 10:40:42 +00:00 |
|
Mathias Vorreiter Pedersen
|
fc80ef2ed8
|
C++: Sync identical file.
|
2020-10-31 18:02:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
ed9ad8b5e3
|
Merge branch 'main' into better-syntax-for-false-positives-and-negatives-inline-expectation
|
2020-10-31 16:52:16 +01:00 |
|
Dave Bartolomeo
|
69dee154f3
|
Fix PR feedback
|
2020-10-31 09:03:51 -04:00 |
|
Dave Bartolomeo
|
be180aac25
|
Fixup after merge
|
2020-10-30 12:52:58 -04:00 |
|
Dave Bartolomeo
|
ec398b2a67
|
Merge remote-tracking branch 'upstream/main' into work
|
2020-10-30 12:36:33 -04:00 |
|
Dave Bartolomeo
|
42373417e2
|
Merge from main
|
2020-10-30 12:02:56 -04:00 |
|
Mathias Vorreiter Pedersen
|
ee77e988b2
|
C++: Allow strings in inline-expectation tests
|
2020-10-30 16:49:14 +01:00 |
|
Mathias Vorreiter Pedersen
|
177f94368e
|
C++: Respond to review comments and accept test changes.
|
2020-10-30 15:59:39 +01:00 |
|
Cornelius Riemenschneider
|
84fe7ba199
|
C++: Add support for StmtExpr to Print AST.
|
2020-10-30 15:53:54 +01:00 |
|
Cornelius Riemenschneider
|
d3631d8f2e
|
Merge pull request #4562 from criemen/printast-labels
C++: Change PrintAST to provide the predicates that can be used to traverse the AST.
|
2020-10-30 15:48:46 +01:00 |
|
Cornelius Riemenschneider
|
ab42ddb0dc
|
C++: Adjust code for the conversions PR, provide correct childIndexes for the new nodes.
|
2020-10-30 12:48:53 +01:00 |
|
Jonas Jensen
|
ba41417d61
|
Merge pull request #4553 from geoffw0/samateregtests
C++: Additional pointer tests for DefaultTaintTracking.
|
2020-10-30 10:02:11 +01:00 |
|
Mathias Vorreiter Pedersen
|
b5234f9245
|
C++: Update IR inline-expectation tests
|
2020-10-29 19:11:54 +01:00 |
|
Cornelius Riemenschneider
|
4276d1f3e5
|
C++: Add missing comment and update test results.
|
2020-10-29 14:49:06 +01:00 |
|
Cornelius Riemenschneider
|
8c925a20a7
|
C++: Provide the predicates that can be used to traverse the AST as metadata.
|
2020-10-29 14:48:47 +01:00 |
|
Mathias Vorreiter Pedersen
|
f3f9a044e0
|
C++: Accept more tests.
|
2020-10-29 13:55:45 +01:00 |
|
Jonas Jensen
|
fa344d216f
|
Merge pull request #4493 from criemen/fix-4278-printast-conversions
Fix C++ Print AST handling of Conversions
|
2020-10-29 13:48:15 +01:00 |
|
Cornelius Riemenschneider
|
59dd892748
|
C++: Address review, fix bug related to Conversions.
|
2020-10-29 11:40:31 +01:00 |
|
Mathias Vorreiter Pedersen
|
835d3fc2b7
|
C++: Accept tests
|
2020-10-29 09:27:03 +01:00 |
|
Mathias Vorreiter Pedersen
|
4be02a9463
|
C++: Use new syntax in field-flow tests
|
2020-10-29 08:48:37 +01:00 |
|
Mathias Vorreiter Pedersen
|
176522d011
|
C++: Update terminology in strings and QLDoc.
|
2020-10-28 22:28:07 +01:00 |
|
Mathias Vorreiter Pedersen
|
dfb373bae3
|
C++: Modify the syntax of inline expectation comments. The syntax is now $ tag1,tag2=value MISSING: tag3=value3 SPURIOUS: tag4=value4.
|
2020-10-28 22:27:15 +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 |
|
Dave Bartolomeo
|
5a6cd4aca9
|
Fix test expectations for new nodes and edges in path queries
|
2020-10-28 14:47:42 -04:00 |
|
Geoffrey White
|
0b35b34288
|
C++: Add pointer tests.
|
2020-10-27 09:47:10 +00:00 |
|
Jonas Jensen
|
8f6dbe982e
|
Merge pull request #4468 from github/rdmarsh2/cpp/output-iterators-2
C++: flow through output iterators with user-defined operator= and operator*
|
2020-10-27 08:36:14 +01:00 |
|
Jonas Jensen
|
45cd47ea77
|
Merge pull request #4535 from criemen/jump-to-def
C++: Extend jump-to-def support to template instantiations.
|
2020-10-27 08:16:57 +01:00 |
|
Cornelius Riemenschneider
|
447ba205b4
|
C++: Move Conversions in PrintAST to the side.
|
2020-10-26 13:49:02 +01:00 |
|
Cornelius Riemenschneider
|
0e5c44e5c4
|
C++: Add new test for conversions.
|
2020-10-26 13:25:17 +01:00 |
|
Dave Bartolomeo
|
3fce971f2d
|
Fix taint propagation to qualifier objects and update test expectations
|
2020-10-23 17:48:37 -04:00 |
|
Dave Bartolomeo
|
86668058dc
|
Avoid ODR violation in test code
|
2020-10-23 17:45:01 -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 |
|
Dave Bartolomeo
|
1e96404ee0
|
Revert bad changes to basic_string
|
2020-10-23 13:46:27 -04:00 |
|