Tamas Vajk
|
608f99bd0d
|
Kotlin: Add test case for various array set operator overloads
|
2022-09-05 10:19:57 +02:00 |
|
Felicity Chapman
|
634e883221
|
Update docs/codeql/codeql-cli/about-codeql-workspaces.rst
|
2022-09-05 09:14:33 +01:00 |
|
Tamas Vajk
|
bb5f0d4afb
|
Improve code quality
|
2022-09-05 09:17:18 +02:00 |
|
Tamas Vajk
|
81cf4c39f4
|
Only get existing local function labels
|
2022-09-05 09:16:23 +02:00 |
|
Tamas Vajk
|
37500d274a
|
Accept failing consistency test
|
2022-09-05 08:58:38 +02:00 |
|
Tom Hvitved
|
623ba7926f
|
C#: Fix /p:UseSharedCompilation=false tracer injection for dotnet run
|
2022-09-04 09:54:21 +02:00 |
|
Rasmus Lerchedahl Petersen
|
a8a042db57
|
python: remove illegal option
|
2022-09-03 20:33:48 +02:00 |
|
Asger F
|
f22de8a3b7
|
Python: Sync with Python
|
2022-09-03 13:51:02 +02:00 |
|
Asger F
|
56bbba2241
|
JS: Sync with JS
|
2022-09-03 13:51:02 +02:00 |
|
Asger F
|
62383fb3c9
|
Ruby: add TypeModel hook for adding type-defs from CodeQL
|
2022-09-03 13:51:02 +02:00 |
|
Asger F
|
296aa52ef0
|
Python: Add API::EntryPoint
Python: add EntryPoint test
|
2022-09-03 13:24:46 +02:00 |
|
Asger F
|
55fdf84d15
|
Ruby+JS: change LabelEntryPoint.toString()
fixup Ruby entry point tests
|
2022-09-03 13:24:45 +02:00 |
|
Asger F
|
c9ba6f171b
|
Ruby: rename EntryPoint.getAUse,getARhs -> getASource,getASink
|
2022-09-03 13:13:32 +02:00 |
|
Andrew Eisenberg
|
9a7d74f2ba
|
Reorder table of contents
|
2022-09-02 14:30:47 -07:00 |
|
Andrew Eisenberg
|
94a6506cbb
|
Clarify section on source resolution
|
2022-09-02 14:05:31 -07:00 |
|
Andrew Eisenberg
|
93ade495c2
|
Apply suggestions from code review
Co-authored-by: Felicity Chapman <felicitymay@github.com>
|
2022-09-02 13:19:45 -07:00 |
|
Andrew Eisenberg
|
353b50b0d3
|
Apply suggestions from code review
Co-authored-by: Felicity Chapman <felicitymay@github.com>
Co-authored-by: James Fletcher <42464962+jf205@users.noreply.github.com>
|
2022-09-02 13:07:44 -07:00 |
|
Andrew Eisenberg
|
98436ce36a
|
Fix syntax error in rst
Co-authored-by: Felicity Chapman <felicitymay@github.com>
|
2022-09-02 12:43:49 -07:00 |
|
erik-krogh
|
c38062ce93
|
convert RelevantState to a class in the PrefixConstruction module
|
2022-09-02 20:26:31 +02:00 |
|
Geoffrey White
|
a14efcfb69
|
Merge branch 'main' into stringlengthcleanup
|
2022-09-02 19:26:28 +01:00 |
|
Geoffrey White
|
e96e965bf9
|
Swift: Rename 'member' -> 'memberRef' for readability.
|
2022-09-02 19:21:58 +01:00 |
|
Geoffrey White
|
361ddb844e
|
Swift: Simplify isSource (behaviour preserving).
|
2022-09-02 19:21:52 +01:00 |
|
Geoffrey White
|
5b528573ce
|
Swift: Update similar cases.
|
2022-09-02 19:21:51 +01:00 |
|
Geoffrey White
|
c3a8da4570
|
Swift: Use getABaseTypeDecl() to improve StringLengthConflation.ql.
|
2022-09-02 19:21:50 +01:00 |
|
Mathias Vorreiter Pedersen
|
b471b51535
|
Swift: Add convenience member predicates to 'TypeDecl'.
|
2022-09-02 18:23:07 +01:00 |
|
Ian Lynagh
|
a4d1b33993
|
Kotlin: Remove a redundant cast
|
2022-09-02 17:17:39 +01:00 |
|
Raul Garcia
|
1bfe335d93
|
Merge branch 'main' into Token_validation
|
2022-09-02 09:00:55 -07:00 |
|
Ian Lynagh
|
0ee72a580a
|
Kotlin: Remove a cast in extendsAdditionAllowed
|
2022-09-02 16:58:05 +01:00 |
|
Ian Lynagh
|
a35c7ab5b3
|
Kotlin: Remove cast in extractFunctionReference
|
2022-09-02 15:40:45 +01:00 |
|
Tamas Vajk
|
7daf53fd99
|
Add regenerated models after rebase
|
2022-09-02 16:32:42 +02:00 |
|
Ian Lynagh
|
2ecd9c93d1
|
Kotlin: Remove cast in extractGeneratedClass
It turns out that this was really behaving as a nullness check.
|
2022-09-02 15:26:49 +01:00 |
|
Paolo Tranquilli
|
48761b8667
|
Merge pull request #10233 from github/redsun82/swift-conversions-in-print-ast
Swift: show conversions in `PrintAst`
|
2022-09-02 16:13:21 +02:00 |
|
Tamas Vajk
|
2138e491a5
|
Add change note
|
2022-09-02 16:12:22 +02:00 |
|
Tamas Vajk
|
8c5d220dc0
|
Add optional friendly name parameter to MaD generator
|
2022-09-02 16:12:22 +02:00 |
|
Tamas Vajk
|
5004a5fb60
|
Fix failing external model tests
|
2022-09-02 16:12:22 +02:00 |
|
Tamas Vajk
|
09e62058ae
|
Generate negative summaries
|
2022-09-02 16:12:22 +02:00 |
|
Tamas Vajk
|
9fad42b25d
|
Kotlin: Add manual model for Array.withIndex
|
2022-09-02 16:12:21 +02:00 |
|
Tamas Vajk
|
bb82bcabbe
|
Kotlin: move and rename KotlinStdLib.qll to kotlin/StdLib.qll
|
2022-09-02 16:12:21 +02:00 |
|
Tamas Vajk
|
8c7fdb969d
|
Kotlin: Regenerating StdLib models with already existing models
|
2022-09-02 16:12:21 +02:00 |
|
Tamas Vajk
|
a144fa06dc
|
Kotlin: Add generated MaD for stdlib
|
2022-09-02 16:12:21 +02:00 |
|
Tamas Vajk
|
57d861337b
|
Kotlin: Add dataflow tests for stdlib calls
|
2022-09-02 16:12:21 +02:00 |
|
Tamas Vajk
|
71cce9cf28
|
Kotlin: Extract error expression for enumValues<T> calls
|
2022-09-02 15:42:05 +02:00 |
|
Tamas Vajk
|
fd0d2ad767
|
Kotlin: Add test for enumValues call with type parameter
|
2022-09-02 15:40:03 +02:00 |
|
Paolo Tranquilli
|
2234070bfe
|
Swift: ...and accept the test
|
2022-09-02 15:36:46 +02:00 |
|
Paolo Tranquilli
|
3d0d3ecfca
|
Swift: fix stupid typo
|
2022-09-02 15:35:22 +02:00 |
|
Ian Lynagh
|
6d5d78e975
|
Merge pull request #10275 from igfoo/igfoo/TypeResults
Kotlin: Fix the type of TypeResultGeneric.cast
|
2022-09-02 14:34:22 +01:00 |
|
Paolo Tranquilli
|
c842ae40f6
|
Swift: make node properties consistent with other languages
|
2022-09-02 15:31:37 +02:00 |
|
Paolo Tranquilli
|
e3e9774956
|
Swift: print conversions similarly to C++
|
2022-09-02 15:31:37 +02:00 |
|
Michael Nebel
|
9c5a6dd031
|
C#: Add WithElement summary for Reverse and update expected test output.
|
2022-09-02 15:17:24 +02:00 |
|
Michael Nebel
|
e7e78dcab3
|
C#: Add with element example and update existing line numbers in testcase.
|
2022-09-02 15:17:24 +02:00 |
|