Rasmus Lerchedahl Petersen
80dcb8da4a
Python: annotate missing flow
2020-11-24 11:55:28 +01:00
Tom Hvitved
0616040f3c
Merge pull request #48 from github/hvitved/ci-check-queries
...
Check query compilation and formatting in `qltest.yml`
2020-11-24 11:51:54 +01:00
Geoffrey White
bc23809e1b
Merge branch 'main' into modelchanges2
2020-11-24 10:49:14 +00:00
Tom Hvitved
eceeb6a5fd
Break up QL CI tests into separatly named steps
2020-11-24 11:47:59 +01:00
Cornelius Riemenschneider
7983b16e84
C++: Simplify and generalize EscapesTree::addressMayEscapeMutablyAt predicate.
2020-11-24 11:35:18 +01:00
Anders Schack-Mulligen
0450489022
Java: Review fixes.
2020-11-24 11:31:44 +01:00
Tom Hvitved
966e1cdcd0
Apply old formatter to make CI check pass
2020-11-24 11:26:47 +01:00
Tom Hvitved
74f0a8fdb7
Check query compilation and formatting in qltest.yml
2020-11-24 11:20:16 +01:00
Mathias Vorreiter Pedersen
9d21b226d2
Merge branch 'main' into qualifier-as-parameter-for-callee
2020-11-24 11:13:14 +01:00
Cornelius Riemenschneider
14a03e2f54
Merge pull request #4715 from MathiasVP/remove-failing-duplicate-tests
...
C++: Remove duplication-tests
2020-11-24 11:04:46 +01:00
Rasmus Lerchedahl Petersen
737f4dff09
Python: update test annotations
2020-11-24 10:57:57 +01:00
Rasmus Lerchedahl Petersen
da805f8242
Merge remote-tracking branch 'upstream/main' into python-dataflow-modernize-tests
2020-11-24 10:56:22 +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
Rasmus Lerchedahl Petersen
a19304a4a0
Python: Factor out prettyPrinter and update tests
2020-11-24 02:17:38 +01:00
Erik Krogh Kristensen
f03429a4b8
change description for source root folder
2020-11-23 23:46:44 +01:00
CodeQL CI
9123f249ad
Merge pull request #4705 from erik-krogh/bigString
...
Approved by asgerf
2020-11-23 22:40:42 +00:00
Asger F
ac6d4aac9d
Apply suggestions from code review
...
Co-authored-by: Max Schaefer <54907921+max-schaefer@users.noreply.github.com >
2020-11-23 21:20:38 +00:00
Asger Feldthaus
d3412bb0ec
JS: Fix typo in NoSQL model
2020-11-23 21:19:17 +00:00
james
9702326232
add leftover docs to support project
2020-11-23 16:18:45 +00:00
Asger Feldthaus
85f0a627c4
JS: Autoformat
2020-11-23 16:17:22 +00:00
Asger Feldthaus
c146e044ca
JS: Update NoSQL model
2020-11-23 16:17:00 +00:00
Asger Feldthaus
b6b8a55b37
JS: Add test case
2020-11-23 16:16:50 +00:00
Erik Krogh Kristensen
33dab1717e
treat nodes with type "Location" as a location source - but not if we can track it from an original node with type "Location"
2020-11-23 17:03:50 +01:00
Rasmus Lerchedahl Petersen
39c5e0d487
Python: update test expectations
2020-11-23 16:46:35 +01:00
Rasmus Lerchedahl Petersen
38bb06a207
Merge remote-tracking branch 'upstream/main' into python-dataflow-variable-capture
2020-11-23 16:40:20 +01:00
Asger Feldthaus
ac00e02855
JS: Add API::Node.getAValueReachingRhs
2020-11-23 15:37:08 +00:00
Asger Feldthaus
3b5ff73862
JS: Introduce API::InvokeNode to simplify reasoning about calls
2020-11-23 15:36:32 +00:00
Tom Hvitved
d5582f3f48
Merge pull request #46 from github/hvitved/unique-parent
...
Add `unique` wrapper to `AstNode::getParent()`
2020-11-23 16:16:02 +01:00
Tom Hvitved
8132c4cafb
Update generator/src/ql.rs
...
Co-authored-by: Arthur Baars <aibaars@github.com >
2020-11-23 16:12:31 +01:00
Tom Hvitved
129deb0a00
C#: Add change note
2020-11-23 16:09:33 +01:00
Tom Hvitved
cd77f14a75
C#: Rename getSourceDeclaration() to getUnboundDeclaration()
2020-11-23 16:09:33 +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
Tom Hvitved
d0257dda36
Add unique wrapper to AstNode::getParent()
2020-11-23 15:23:21 +01:00
Arthur Baars
41a76eeb01
Merge pull request #42 from github/aibaars/name-resolution
...
Local variable binding
2020-11-23 15:22:43 +01:00
Anders Schack-Mulligen
2cf10a7658
Merge pull request #4427 from aschackmull/java/fastjson
...
Java: Add support for FastJson in unsafe deserialization.
2020-11-23 14:40:14 +01:00
Erik Krogh Kristensen
f7f9beeefd
avoid reporting empty names in js/exposure-of-private-files
2020-11-23 14:24:42 +01:00
Erik Krogh Kristensen
02d5fbf46b
remove superfluous space
2020-11-23 14:22:16 +01:00
Rasmus Wriedt Larsen
9156163563
Merge pull request #4703 from github/hmakholm/pr/duplicate-code-2
...
Remove unit tests for duplicate-code detection, take II
2020-11-23 13:52:24 +01:00
Arthur Baars
3ea6cb40f8
Merge pull request #45 from github/hvitved/name-resolution-suggestions
...
Suggested changes to Variables.qll
2020-11-23 13:28:40 +01:00
Tom Hvitved
f0f5d44b33
C#: Replace BreakNormalCompletion with a nested completion
2020-11-23 11:38:24 +01:00
Tom Hvitved
17df059432
C#: Replace matchesCompletion() with getAMatchingSuccessorType()
2020-11-23 11:38:24 +01:00
Tom Hvitved
f3abaa406c
C#: Refactor CFG implementation
2020-11-23 11:38:24 +01:00
Rasmus Wriedt Larsen
f35ffa5632
Python: Add support for x in ["safe", "also_safe"] (and not in)
2020-11-23 10:42:24 +01:00
Rasmus Wriedt Larsen
431aab45f7
Python: Add support for x != "safe" BarrierGuard
2020-11-23 10:36:55 +01:00
Rasmus Wriedt Larsen
18041fd059
Python: Expand string-const-compare tests
...
Also moved file to reflect that. Added tests of
+ `!=`
+ `in`
+ `not in`
2020-11-23 10:36:49 +01:00
Tom Hvitved
59624454d1
Suggested changes to Variables.qll
...
- Remove `abstract` predicates from public API.
- Cache core computations.
- Redefine `VariableScope::get[A]Variable` to only include variables declared
directly in the scope.
2020-11-23 10:33:34 +01:00
Erik Krogh Kristensen
234730419b
restrict computation of ConcatenationRoot::getConstantStringParts to results that are less than 1 million chars long
2020-11-23 10:29:47 +01:00
Tamás Vajk
7d38b2dd17
Merge pull request #4623 from tamasvajk/feature/csharp9-type-param-nullability
...
C#: Add type parameter ref/value type tests
2020-11-23 09:58:56 +01:00
Arthur Baars
bc423000ca
Add variable to varaccess tests
2020-11-23 09:58:31 +01:00
