Jonas Jensen
|
6fecc38004
|
Merge pull request #4726 from MathiasVP/revert-4558
C++: Revert 4558
|
2020-11-26 08:44:32 +01:00 |
|
yo-h
|
eedc385b37
|
Java 15: adjust test options
|
2020-11-26 00:14:24 -05:00 |
|
Tamas Vajk
|
9b8d9771f8
|
C#: Handle parenthesized pattern extraction
|
2020-11-25 21:27:34 +01:00 |
|
Mathias Vorreiter Pedersen
|
c595baf1e3
|
C++: Remove INTERNAL from qldoc now that the Pure model implementations are private.
|
2020-11-25 21:07:47 +01:00 |
|
Geoffrey White
|
bc71c72084
|
Merge pull request #4728 from criemen/delete-magicdraw
C++: Remove MagicDraw.qll
|
2020-11-25 17:56:37 +00:00 |
|
Arthur Baars
|
e181666a37
|
Merge pull request #49 from github/aibaars/parent
Add parent ref and parent_index fields to all AstNodes
|
2020-11-25 18:25:03 +01:00 |
|
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 |
|
Arthur Baars
|
083672744e
|
Remove @file from @astnode
|
2020-11-25 17:37:58 +01:00 |
|
Cornelius Riemenschneider
|
acf6c218bc
|
C++: Remove MagicDraw.qll
|
2020-11-25 17:36:30 +01:00 |
|
Tamás Vajk
|
65dbb6e45f
|
Merge pull request #4612 from tamasvajk/feature/csharp9-local-function-without-body
C#: C#9 Extract local functions without body
|
2020-11-25 17:28:03 +01:00 |
|
Cornelius Riemenschneider
|
7eec988fb5
|
XML.qll: Remove abstract from class hierarchy.
|
2020-11-25 17:22:03 +01:00 |
|
Jonas Jensen
|
dcc048139e
|
Merge pull request #4717 from criemen/escapetree-temp-objects
C++: Improve EscapesTree.qll analysis in the presence of temporary objects
|
2020-11-25 17:11:44 +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 |
|
Tamas Vajk
|
19883302af
|
C#: Extract local functions without body
|
2020-11-25 14:42:40 +01:00 |
|
Erik Krogh Kristensen
|
11d878b413
|
adjust comments to reflect the precission of the suffix search
|
2020-11-25 14:40:33 +01:00 |
|
Tamás Vajk
|
aa45920f31
|
Merge pull request #4613 from tamasvajk/feature/csharp9-multiple-discards
C#: C#9 add test cases for discards as lambda/delegate parameters
|
2020-11-25 14:33:55 +01:00 |
|
Geoffrey White
|
2b349f299a
|
C++: Replace 'odasa qltest' with 'codeql test run'.
|
2020-11-25 13:16:50 +00:00 |
|
Erik Krogh Kristensen
|
b418cb5fe0
|
add test case where the successor of the repeating term matches epsilon
|
2020-11-25 13:59:10 +01:00 |
|
Erik Krogh Kristensen
|
500b94b50e
|
rename witness to pump
|
2020-11-25 13:57:21 +01:00 |
|
Erik Krogh Kristensen
|
c5f5206174
|
update expected output
|
2020-11-25 13:57:20 +01:00 |
|
Erik Krogh Kristensen
|
e03c19b7fc
|
only search prefixes/suffixes from the candidates that are used in the end
|
2020-11-25 13:57:20 +01:00 |
|
Erik Krogh Kristensen
|
b8fabfa24e
|
only construct prefix/suffix for regular expressions that has a pumpable state
|
2020-11-25 13:57:20 +01:00 |
|
Erik Krogh Kristensen
|
a8944c8953
|
model accept states more accurately by adding an AcceptAny state, modelling $, and checking the existence of rejecting suffixes
|
2020-11-25 13:57:20 +01:00 |
|
Erik Krogh Kristensen
|
d9ebb7b20e
|
escape tabs
|
2020-11-25 13:57:20 +01:00 |
|
Erik Krogh Kristensen
|
bcb2f2768d
|
search for a prefix to the state that causes exponential backtracking
|
2020-11-25 13:57:20 +01:00 |
|
Arthur Baars
|
735aec9d34
|
Ensure top-level nodes have distinct parent_index values
|
2020-11-25 13:48:25 +01:00 |
|
Arthur Baars
|
00015b0022
|
Add #keyset[parent, parent_index]
|
2020-11-25 13:48:25 +01:00 |
|
Arthur Baars
|
89953fd87c
|
Add parent_index field to @astnode
|
2020-11-25 13:48:25 +01:00 |
|
Arthur Baars
|
b72db8b6f1
|
Add parent field to AstNode
|
2020-11-25 13:48:25 +01:00 |
|
Arthur Baars
|
c7b07b7821
|
Merge pull request #47 from github/aibaars/name-resolution
Name resolution: handle the different types of parameters better
|
2020-11-25 13:44:42 +01:00 |
|
CodeQL CI
|
34ffcb5677
|
Merge pull request #4593 from asgerf/js/react-hot
Approved by erik-krogh
|
2020-11-25 12:01:38 +00:00 |
|
Arthur Baars
|
64ebf5b909
|
Address comments
|
2020-11-25 12:55:53 +01:00 |
|
Tamas Vajk
|
6d9510591a
|
C#: Adjust test for nint/nuint
|
2020-11-25 12:01:56 +01:00 |
|
Tamas Vajk
|
81b03bf876
|
C#: Add test cases for discards as lambda/delegate parameters
|
2020-11-25 11:56:25 +01:00 |
|
Rasmus Wriedt Larsen
|
e2c4af3031
|
Python: Add change note for improved open modeling
|
2020-11-25 11:39:02 +01:00 |
|
Tom Hvitved
|
7791ec3084
|
Merge pull request #4618 from hvitved/csharp/get-source-decl-rename
C#: Rename `getSourceDeclaration()` to `getUnboundDeclaration()`
|
2020-11-25 11:05:18 +01: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 |
|
Rasmus Wriedt Larsen
|
cafe55f5c7
|
Merge pull request #4701 from yoff/python-fix-return-node-enclosing-callable
Python: Use default `getEnclosingCallable` for `RetrunNode`
|
2020-11-25 10:36:41 +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 |
|
Rasmus Lerchedahl Petersen
|
88643da01f
|
Python: Use default getEnclosingCallable
for `RetrunNode`
|
2020-11-25 08:19:07 +01:00 |
|
Rasmus Lerchedahl Petersen
|
36d9097d03
|
Python: Add test for inner return
|
2020-11-25 07:09:27 +01:00 |
|
Rasmus Lerchedahl Petersen
|
34896ae0d7
|
Python: Fix failing test
|
2020-11-25 07:09:27 +01:00 |
|
luchua-bc
|
a49160423b
|
Enhance the query and add more test cases
|
2020-11-25 04:33:26 +00: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 |
|