Cornelius Riemenschneider
|
cf8f802310
|
C++: Rename predicate.
|
2020-10-30 12:51:19 +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 |
|
Robert Marsh
|
5dfe04a7a7
|
C++: Respond to PR comments
|
2020-10-29 16:00:08 -07: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
|
7e667b9bec
|
C++: Add comment to FunctionNode.
|
2020-10-29 14:49:06 +01:00 |
|
Cornelius Riemenschneider
|
668764ce40
|
C++: Make new predicates private.
|
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 |
|
Jonas Jensen
|
0af62b8431
|
Merge pull request #4515 from geoffw0/modelchanges1
C++: Changes to models library.
|
2020-10-29 11:21:56 +01:00 |
|
Mathias Vorreiter Pedersen
|
835d3fc2b7
|
C++: Accept tests
|
2020-10-29 09:27:03 +01:00 |
|
Mathias Vorreiter Pedersen
|
43a231f0a5
|
C++: Store steps now go from operands to instructions, and read steps now go from instructions and operands. There are a couple of read steps that still target instructions because I couldn't decide on an operand to target.
|
2020-10-29 09:26:51 +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
|
ae84d1383e
|
Merge pull request #4565 from MathiasVP/instruction-tag-for-this-addr-and-load-fix
C++: Fix spelling in getInstructionTagId
|
2020-10-28 16:53:55 +00:00 |
|
Mathias Vorreiter Pedersen
|
614e2ba851
|
C++: Fix spelling
|
2020-10-28 13:05:37 +01:00 |
|
Cornelius Riemenschneider
|
f1f64fb7df
|
C++: Make BuiltInVarArgs* classes subclasses of VarArgsExpr.
|
2020-10-28 10:48:00 +01:00 |
|
Geoffrey White
|
09372f5c81
|
C++: Remove misleading comment.
|
2020-10-28 09:04:10 +00:00 |
|
Mathias Vorreiter Pedersen
|
ad9e7b7343
|
C++: Give getInstructionTagId a result when tag is ThisAddressTag or ThisLoadTag
|
2020-10-27 22:16:01 +01:00 |
|
Robert Marsh
|
7d7b0eaa7b
|
C++: accept test changes
The conflation-related changes result from aliased accesses for which a
precise Phi node is generated.
|
2020-10-27 09:33:28 -07:00 |
|
Geoffrey White
|
c8783b5ea3
|
Revert "C++: Create a module for models of things in Std."
This reverts commit ddc5150080.
|
2020-10-27 13:31:16 +00: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 |
|
Geoffrey White
|
12233e5874
|
Merge pull request #4533 from MathiasVP/mathiasvp/fix-broken-qhelp
C++: Fix broken qhelp links
|
2020-10-26 14:40:52 +00:00 |
|
Mathias Vorreiter Pedersen
|
9db66a1b94
|
Delete the msdn reference in NestedLoopSameVar
It was a Visual Basic reference anyway, and it doesn't seem to provide more information than the link we have already.
|
2020-10-26 15:27:24 +01:00 |
|
Cornelius Riemenschneider
|
1b88ca1e81
|
C++: Simplify code, add comment explaining the logic.
|
2020-10-26 14:39:12 +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 |
|
Mathias Vorreiter Pedersen
|
02bcb6d971
|
Apply suggestions from code review
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
|
2020-10-26 11:39:54 +01:00 |
|
Cornelius Riemenschneider
|
07452c0159
|
C++: Add comment, explaining where this query is used.
|
2020-10-26 09:28:24 +01:00 |
|
Cornelius Riemenschneider
|
fca141146b
|
C++: Address review.
|
2020-10-26 09:27:29 +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 |
|
Dave Bartolomeo
|
4d2f658ece
|
Don't treat allocator argument as a string input
|
2020-10-23 17:44:07 -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 |
|
Dave Bartolomeo
|
35abcae5d3
|
Fix formatting
|
2020-10-23 13:43:29 -04:00 |
|
Dave Bartolomeo
|
bace0dca6d
|
Handle more cases that require synthesizing temporary objects
- Parens around qualifier expressions
- Inheritance conversions involving class prvalues
|
2020-10-23 12:04:09 -04:00 |
|
Cornelius Riemenschneider
|
a82cf74161
|
C++: Improve performance of definitions.qll.
|
2020-10-23 15:16:53 +02:00 |
|
Jonas Jensen
|
08bf464437
|
Merge pull request #4540 from criemen/printast-performance
C++: Improve PrintAST performance if only individual files are printed
|
2020-10-23 12:46:34 +02:00 |
|
Dave Bartolomeo
|
99072483b8
|
Fix PR feedback
|
2020-10-22 12:55:40 -04:00 |
|
Dave Bartolomeo
|
b62bda6c3a
|
Fix regression due to primary instructions for side effects not being computed correctly in the presence of synthetic temporary objects.
|
2020-10-22 12:55:30 -04:00 |
|