Mathias Vorreiter Pedersen
|
7730f5dfcf
|
C++: Use model interfaces in SafeExternalAPIFunction and make the three previosuly-used implementation models private.
|
2020-11-25 18:20:55 +01:00 |
|
Cornelius Riemenschneider
|
3bfb398516
|
Autoformat XML.qll.
|
2020-11-25 18:20:50 +01:00 |
|
Cornelius Riemenschneider
|
acf6c218bc
|
C++: Remove MagicDraw.qll
|
2020-11-25 17:36:30 +01:00 |
|
Cornelius Riemenschneider
|
7eec988fb5
|
XML.qll: Remove abstract from class hierarchy.
|
2020-11-25 17:22:03 +01:00 |
|
Cornelius Riemenschneider
|
0b8403fc05
|
C++: Add one more test.
|
2020-11-25 16:24:55 +01:00 |
|
Cornelius Riemenschneider
|
b4e45ad6cb
|
C++: Address review.
|
2020-11-25 16:24:25 +01:00 |
|
Mathias Vorreiter Pedersen
|
4c3a26fea8
|
Revert "Merge pull request #4558 from rdmarsh2/rdmarsh2/cpp/remove-initialize-nonlocal"
This reverts commit 08efd7fbd9, reversing
changes made to cb8c5e8cca.
|
2020-11-25 15:51:52 +01:00 |
|
Geoffrey White
|
2b349f299a
|
C++: Replace 'odasa qltest' with 'codeql test run'.
|
2020-11-25 13:16:50 +00:00 |
|
Cornelius Riemenschneider
|
7f13d4c356
|
C++: Improve EscapesTree analysis in the presence of temporary objects.
|
2020-11-25 10:41:15 +01:00 |
|
Cornelius Riemenschneider
|
8d024c7ff1
|
C++: Add tests around references to pointers with temporary objects.
|
2020-11-25 10:40:33 +01:00 |
|
Cornelius Riemenschneider
|
e68352bcde
|
C++: Add testcase for false positive.
|
2020-11-25 10:40:33 +01:00 |
|
Jonas Jensen
|
5f0141953d
|
Merge pull request #4644 from MathiasVP/unsafe-use-of-this-query
C++: Add 'unsafe use of this' query
|
2020-11-25 08:40:12 +01:00 |
|
Jonas Jensen
|
48460e3e45
|
Merge pull request #4716 from criemen/escapestree-code-cleanup
C++: Simplify and generalize EscapesTree::addressMayEscapeMutablyAt
|
2020-11-25 08:31:33 +01:00 |
|
Robert Marsh
|
0cd6941a21
|
C++: Filter out lower bounds on overflowing exprs
Fixes performance issues where multiple lower bounds would be
computed for overflowing expressions
|
2020-11-24 12:57:11 -08:00 |
|
Robert Marsh
|
9b07782d19
|
Merge pull request #4634 from geoffw0/modelchanges2
C++: Make classes in models.implementations private
|
2020-11-24 15:18:10 -05:00 |
|
Geoffrey White
|
71a8ac5183
|
C++: Autoformat.
|
2020-11-24 18:42:18 +00:00 |
|
Geoffrey White
|
8184f76d1f
|
C++: Sync identical files.
|
2020-11-24 16:29:14 +00:00 |
|
Geoffrey White
|
d677305c90
|
C++: Create tests readme.
|
2020-11-24 16:08:02 +00:00 |
|
Mathias Vorreiter Pedersen
|
648acc3bfc
|
C++: Prevent IR re-evaluation by importing GVN.
|
2020-11-24 17:04:54 +01:00 |
|
Cornelius Riemenschneider
|
026abae323
|
C++: Simplify some more.
|
2020-11-24 17:00:47 +01:00 |
|
Cornelius Riemenschneider
|
7983b16e84
|
C++: Simplify and generalize EscapesTree::addressMayEscapeMutablyAt predicate.
|
2020-11-24 11:35:18 +01:00 |
|
Mathias Vorreiter Pedersen
|
9d21b226d2
|
Merge branch 'main' into qualifier-as-parameter-for-callee
|
2020-11-24 11:13:14 +01:00 |
|
Mathias Vorreiter Pedersen
|
08f8660b17
|
C++/C#: Add pragma[noinline] to hasIndex predicates.
|
2020-11-24 10:45:02 +01:00 |
|
Mathias Vorreiter Pedersen
|
8bd14c5af6
|
C++: Remove duplication-tests directory since we no longer detect duplication.
|
2020-11-24 10:10:31 +01:00 |
|
Geoffrey White
|
7015a9cf53
|
C++: Un-private a few classes that are now used by the current DefaultSafeExternalAPIFunction implementation.
|
2020-11-23 14:47:22 +00:00 |
|
Mathias Vorreiter Pedersen
|
a7644db762
|
C++: Use the new names in IR dataflow. Turns out DataFlowCall had its own implementation of getArgument already (which didn't handle qualifiers). The predicate wasn't used anywhere, so I simply removed it, as a better predicate is now available on the base class of DataFlowCall.
|
2020-11-21 01:00:59 +01:00 |
|
Mathias Vorreiter Pedersen
|
61bbceb201
|
C++/C#: Sync identical files
|
2020-11-21 00:55:07 +01:00 |
|
Mathias Vorreiter Pedersen
|
f173dc71c0
|
C++: Use shorter names for new IR predicates. This should hopefully guide users to use these predicates by default.
|
2020-11-21 00:54:50 +01:00 |
|
Geoffrey White
|
cc8d4b4c75
|
Merge branch 'main' into modelchanges2
|
2020-11-20 20:33:52 +00:00 |
|
Geoffrey White
|
fddd353155
|
C++: Updated autoformat.
|
2020-11-20 20:15:45 +00:00 |
|
Mathias Vorreiter Pedersen
|
6ead6c6d38
|
Merge branch 'main' into qualifier-as-parameter-for-callee
|
2020-11-20 16:17:10 +01:00 |
|
Mathias Vorreiter Pedersen
|
fd4f8c557c
|
Merge branch 'main' into unsafe-use-of-this-query
|
2020-11-20 14:54:51 +01:00 |
|
Jonas Jensen
|
14aa6427ca
|
Merge pull request #4696 from MathiasVP/get-result-memory-location-join-order-fix
C++: Fix bad join order in AliasedSSA::getResultMemoryLocation
|
2020-11-20 14:50:35 +01:00 |
|
Mathias Vorreiter Pedersen
|
c7efc91676
|
C++: Use the new predicates in IR dataflow.
|
2020-11-20 12:24:39 +01:00 |
|
Mathias Vorreiter Pedersen
|
f3b5d7b830
|
C++/C#: Sync identical files
|
2020-11-20 12:23:34 +01:00 |
|
Mathias Vorreiter Pedersen
|
416431a7c1
|
C++: Add convenience predicates for working with qualifiers as parameters.
|
2020-11-20 12:22:37 +01:00 |
|
Jonas Jensen
|
3342fac83e
|
Merge pull request #4688 from criemen/printast-performance
C++: Speed up PrintAST.
|
2020-11-20 11:45:42 +01:00 |
|
Cornelius Riemenschneider
|
1afd32c033
|
C++: Add comment, rename class.
|
2020-11-20 10:49:12 +01:00 |
|
Cornelius Riemenschneider
|
eeece5937d
|
C++: One more speedup, address review.
|
2020-11-20 09:56:08 +01:00 |
|
Mathias Vorreiter Pedersen
|
490bba5c9f
|
C++: Fix bad join order in AliasedSSA::getResultMemoryLocation.
|
2020-11-19 17:40:41 +01:00 |
|
Mathias Vorreiter Pedersen
|
2e6a3cd33b
|
Merge branch 'main' into unsafe-use-of-this-query
|
2020-11-19 13:03:29 +01:00 |
|
Jonas Jensen
|
cd20163f6e
|
Merge pull request #4676 from MathiasVP/untrusted-dataflow-to-external-api-query
C++: Untrusted data used in external APIs
|
2020-11-19 12:56:08 +01:00 |
|
Mathias Vorreiter Pedersen
|
072adaa279
|
C++: Require that no override of the called pure virtual function exists in any base class. This removes the false positive in the testcase. Based on the results on LGTM we have agreed to set the @precision to very-high.
|
2020-11-19 12:10:57 +01:00 |
|
Dave Bartolomeo
|
08efd7fbd9
|
Merge pull request #4558 from rdmarsh2/rdmarsh2/cpp/remove-initialize-nonlocal
Remove InitializeNonlocalInstruction
|
2020-11-18 20:23:08 -05:00 |
|
Robert Marsh
|
5753a2d401
|
C++: autoformat
|
2020-11-18 11:02:58 -08:00 |
|
Robert Marsh
|
693626e460
|
C++: accept value numbering test changes
|
2020-11-18 11:00:31 -08:00 |
|
Cornelius Riemenschneider
|
4405547b04
|
C++: Fix tests.
|
2020-11-18 17:41:08 +01:00 |
|
Cornelius Riemenschneider
|
cfe86bf53b
|
C++: Remove default getAPrimaryQlClass().
|
2020-11-18 17:34:56 +01:00 |
|
Cornelius Riemenschneider
|
f70f32e3ed
|
C++: Fix tests for PrintAST.
|
2020-11-18 17:22:13 +01:00 |
|
Cornelius Riemenschneider
|
429aa15b1b
|
C++: Speed up PrintAST.
|
2020-11-18 16:08:51 +01:00 |
|