Robert Marsh
|
3d20897725
|
Merge pull request #13910 from rdmarsh2/rdmarsh2/swift/for-await-cfg
Swift: CFG test for for-try-await
|
2023-08-15 11:16:07 -04:00 |
|
Mathias Vorreiter Pedersen
|
e145b81f58
|
C++: Accept test changes.
|
2023-08-15 16:12:44 +01:00 |
|
Mathias Vorreiter Pedersen
|
109e45e112
|
C++: Add precise range analysis for subtraction.
|
2023-08-15 16:12:40 +01:00 |
|
Mathias Vorreiter Pedersen
|
3fb024164b
|
C++: Add a FP caused by bad range analysis for subtraction.
|
2023-08-15 16:00:35 +01:00 |
|
Mathias Vorreiter Pedersen
|
90888e592f
|
Merge pull request #13965 from MathiasVP/better-certain-writes-and-invalid-ptr-deref-prep
C++: Remove more dataflow FPs after frontend upgrade
|
2023-08-15 15:43:55 +01:00 |
|
yoff
|
7eb41140ab
|
Update python/ql/lib/semmle/python/Module.qll
Co-authored-by: Rasmus Wriedt Larsen <rasmuswriedtlarsen@gmail.com>
|
2023-08-15 15:47:00 +02:00 |
|
Rasmus Lerchedahl Petersen
|
e6943ce98e
|
Python: use standard test format
|
2023-08-15 15:26:18 +02:00 |
|
Michael B. Gale
|
b95effe916
|
Allow patch-level updates in Go CI
|
2023-08-15 14:13:36 +01:00 |
|
yoff
|
99bc050366
|
Update shared/yaml/codeql/serverless/ServerLess.qll
Co-authored-by: Rasmus Wriedt Larsen <rasmuswriedtlarsen@gmail.com>
|
2023-08-15 15:09:30 +02:00 |
|
Kasper Svendsen
|
bb317bc558
|
Merge pull request #13968 from kaspersv/shadow-dbscheme
QL language specs: declarations can shadow dbscheme types and preds
|
2023-08-15 14:20:04 +02:00 |
|
Kasper Svendsen
|
30a813ab08
|
QL language specs: declarations can shadow dbscheme types and preds
|
2023-08-15 13:58:19 +02:00 |
|
Ian Lynagh
|
3b9bd16097
|
Kotlin: Mark some functions as private
|
2023-08-15 12:38:47 +01:00 |
|
Tom Hvitved
|
26b76171ca
|
C#: Fix getMadRepresentationSpecific
|
2023-08-15 13:23:21 +02:00 |
|
Ian Lynagh
|
a8b69e5b55
|
Kotlin: Fix build on old versions
|
2023-08-15 11:30:23 +01:00 |
|
Mathias Vorreiter Pedersen
|
569f3c9b78
|
C++: Don't do indirect (instruction -> operand) flow when there's a store to the address in between the instruction and the operand.
|
2023-08-15 11:08:01 +01:00 |
|
Mathias Vorreiter Pedersen
|
f662cceb0b
|
C++: Use value numbering to better detect whether a write is certain.
|
2023-08-15 11:07:14 +01:00 |
|
Rasmus Lerchedahl Petersen
|
8f70c9f950
|
Python: add comment about namespace packages
|
2023-08-15 12:02:02 +02:00 |
|
Tom Hvitved
|
44b734e120
|
Merge pull request #13955 from hvitved/ruby/type-tracking-capture-insensitive
Ruby: Make type tracking flow-insensitive for captured variables
|
2023-08-15 11:42:41 +02:00 |
|
Paolo Tranquilli
|
8e229ac31b
|
Merge branch 'main' into redsun82/cmake-fix
|
2023-08-15 11:38:37 +02:00 |
|
Erik Krogh Kristensen
|
6a3b9e10eb
|
Merge pull request #13914 from erik-krogh/escape-unicode
ReDoS: escape unicode chars in the output for the ReDoS queries
|
2023-08-15 11:21:21 +02:00 |
|
Mathias Vorreiter Pedersen
|
fec9626fe7
|
Merge pull request #13836 from github/alexdenisov/unresolved-dot-exprs
Swift: 'ParsedSequence' lacks proper types and yields 'Unresolved' AST nodes
|
2023-08-15 09:14:39 +01:00 |
|
Michael Nebel
|
a95aad51bd
|
Merge pull request #13546 from michaelnebel/java/withoutelement
Java: Support for With[out]Element for MaD.
|
2023-08-15 10:03:03 +02:00 |
|
Rasmus Wriedt Larsen
|
d12743d7c3
|
Merge pull request #13941 from yoff/python/test-nice-location
Python: fix nice locations for import aliases
|
2023-08-14 21:37:23 +02:00 |
|
Tom Hvitved
|
061575ff77
|
Merge pull request #13937 from hvitved/ruby/for-loop-desugar
Ruby: Improve desugaring of `for` loops
|
2023-08-14 20:12:12 +02:00 |
|
Ian Lynagh
|
eb27428514
|
Kotlin: Handle IrExternalPackageFragment when dealing with external decls
|
2023-08-14 17:37:48 +01:00 |
|
Arthur Baars
|
77db0cf547
|
Merge pull request #13334 from aibaars/print-cfg-2
Ruby: printCfg: only show graph for selected CfgScope
|
2023-08-14 18:24:20 +02:00 |
|
Ian Lynagh
|
72af8ac1e2
|
Kotlin: Switch to useDeclarationParentOf
This lets us handle Kotlin 2 declarations whose parent is an
IrExternalPackageFragment, indicating that they are in a (multi)file
class.
|
2023-08-14 17:02:49 +01:00 |
|
Ian Lynagh
|
4f336820de
|
Kotlin: Start handling IrExternalPackageFragment parents
|
2023-08-14 17:02:48 +01:00 |
|
Paolo Tranquilli
|
ef804c018d
|
C++: make cmake generation work with internal rule cc_binary_add_features
|
2023-08-14 17:32:03 +02:00 |
|
Ian Lynagh
|
77451de9a3
|
Kotlin: Fix isExternalDeclaration for Kotlin 2
|
2023-08-14 15:01:13 +01:00 |
|
amammad
|
eb5529eac5
|
sanitize resutls exist in test/demo/example/sample directories
|
2023-08-14 23:48:03 +10:00 |
|
Mathias Vorreiter Pedersen
|
9359bea7b5
|
Merge pull request #13725 from MathiasVP/fix-barriers-in-invalid-pointer-deref
C++: Fix barriers in invalid pointer deref
|
2023-08-14 14:29:12 +01:00 |
|
Geoffrey White
|
5e940cd46f
|
Merge pull request #13829 from geoffw0/typegetname
Swift: Correct the behaviour of Type.getName
|
2023-08-14 14:21:26 +01:00 |
|
Geoffrey White
|
657642a122
|
Java: Expose parts of the vquery message in the test.
|
2023-08-14 14:12:07 +01:00 |
|
Tom Hvitved
|
e96cbeb00a
|
Ruby: Adjust locations of synthesized nodes
|
2023-08-14 14:37:47 +02:00 |
|
Tom Hvitved
|
c084a9b27a
|
Ruby: Make type tracking flow-insensitive for captured variables
|
2023-08-14 13:44:37 +02:00 |
|
Stephan Brandauer
|
bc55afcee7
|
Java: Automodel framework mode: use new interface
|
2023-08-14 13:17:55 +02:00 |
|
Harry Maclean
|
d45e9101ba
|
Ruby: Add change note
|
2023-08-14 11:20:58 +01:00 |
|
Rasmus Wriedt Larsen
|
1c3cc1fa29
|
Python: Remove flow through stdlib
This means tests can pass on any machine now 👍
|
2023-08-14 11:55:22 +02:00 |
|
Rasmus Wriedt Larsen
|
794d04e4c0
|
Python: Model os.getenv[b]
|
2023-08-14 11:55:00 +02:00 |
|
Michael Nebel
|
0e9f8c4b97
|
Merge pull request #13876 from michaelnebel/csharp/aspnetdlls
C#: Include ASP.NET assemblies in the standalone extraction.
|
2023-08-14 11:53:47 +02:00 |
|
Stephan Brandauer
|
551b34e3be
|
Java: Automodel application mode: include candidates that are useful for regression testing
|
2023-08-14 11:46:40 +02:00 |
|
Rasmus Wriedt Larsen
|
6e168ff7d8
|
Python: Only interested in StrConst
|
2023-08-14 11:46:21 +02:00 |
|
Geoffrey White
|
b6dc2acc71
|
Merge branch 'main' into typegetname
|
2023-08-14 10:46:14 +01:00 |
|
Mathias Vorreiter Pedersen
|
e2f671e327
|
C++: Add more comments.
|
2023-08-14 10:44:46 +01:00 |
|
Rasmus Wriedt Larsen
|
0fba38c6d8
|
Merge branch 'main' into amammad-python-WebAppsConstatntSecretKeys
|
2023-08-14 11:29:56 +02:00 |
|
Rasmus Wriedt Larsen
|
eeefdc5dcd
|
Python: Fix formatting
|
2023-08-14 11:29:38 +02:00 |
|
Michael Nebel
|
6ecbb400d7
|
C#: Turn initialize into a readonly field.
|
2023-08-14 11:19:42 +02:00 |
|
Tamas Vajk
|
01af74aeda
|
C#: Add space to CMD metacharacters
|
2023-08-14 11:19:17 +02:00 |
|
Tamas Vajk
|
3680681e8b
|
C#: Add integration test for standalone extraction
|
2023-08-14 11:19:00 +02:00 |
|