Ian Lynagh
7baeea6365
KE2: Use a more consistent TRAP label
2024-11-21 15:21:35 +00:00
Ian Lynagh
d17e3d521c
KE2: Start working on KtTypes
2024-11-21 15:21:34 +00:00
Ian Lynagh
eae40dbc03
KE2: Keep KE1 building with the kt-type changes
...
It won't work, but it'll still compile
2024-11-21 15:21:33 +00:00
Ian Lynagh
8fe48d6dce
Merge commit 'e3990b7d04db2ca3ac99c029a0afc131e695db0b' into ke2
...
That is the repo ql as at the internal repo's
git merge-base origin/rc/3.16 origin/main
2024-11-20 17:40:00 +00:00
Chris Smowton
e89e0f5c4a
Merge pull request #18027 from igfoo/igfoo/fixbuild
...
KE2: Fix build
2024-11-20 16:48:36 +00:00
Tamás Vajk
1dbf54e9e7
Merge pull request #18028 from tamasvajk/ke2-if
...
KE2: Extract `if` expressions/statements
2024-11-19 18:40:45 +01:00
Tamas Vajk
39aefb8d17
Fix code review finding
2024-11-19 18:06:35 +01:00
Tamas Vajk
28a5634615
KE2: Extract if expressions/statements
2024-11-19 13:57:18 +01:00
Ian Lynagh
e4a82888c0
KE2: Fix build
2024-11-19 11:56:55 +00:00
Ian Lynagh
147f6a10e7
Merge pull request #18016 from igfoo/igfoo/file_numbers
...
KE2: Use the right file numbers
2024-11-19 11:03:55 +00:00
Tamás Vajk
750b8239e7
Merge pull request #18006 from tamasvajk/ke2-parens
...
KE2: Extract parenthesized expressions
2024-11-19 11:23:39 +01:00
Tamas Vajk
ea54eab376
Add todo comment
2024-11-19 08:37:38 +01:00
Ian Lynagh
7bda00cb5b
KE2: Use the right file numbers
...
The thread that did the extraction could see the file number counter
after it had been incremented (possibly multiple times) by the main
thread. This fixes some consistency query failures in tests.
2024-11-18 18:37:56 +00:00
Paolo Tranquilli
5c1f413d44
Java: fix embedded kotlin extractor build
2024-11-18 17:47:24 +01:00
Tamas Vajk
9f3a0ca432
KE2: Extract parenthesized expressions
2024-11-18 13:41:05 +01:00
Owen Mansel-Chan
ba239a1be0
Add change note
2024-11-14 15:02:21 +00:00
Owen Mansel-Chan
bf0fba6c49
Refactor UnreachableBasicBlock to make it clearer
2024-11-14 14:53:12 +00:00
Owen Mansel-Chan
efb34aea45
Fix bug in UnreachableBlocks
2024-11-14 14:50:25 +00:00
Ian Lynagh
c2dfe0ef4a
Merge pull request #17978 from igfoo/igfoo/issafeaccess
...
KE2: Rename safeAccess to isSafeAccess
2024-11-14 11:28:23 +00:00
Tamás Vajk
c3324ee2f4
Merge pull request #17974 from tamasvajk/ke2-code-quality-01
...
KE2: Improve code quality in expression extraction
2024-11-14 08:36:11 +01:00
github-actions[bot]
788a88aaca
Add changed framework coverage reports
2024-11-14 00:20:18 +00:00
Chris Smowton
f12818a96d
Apply review comments
2024-11-13 15:15:09 +00:00
Chris Smowton
fdaa6c5b4b
KE2: implement basic usage of properties, variables and flexible types
2024-11-13 15:06:59 +00:00
Ian Lynagh
22096b1984
KE2: Rename safeAccess to isSafeAccess
...
To follow our standard naming convention.
2024-11-13 12:32:36 +00:00
Tamas Vajk
3ae58d072c
KE2: Improve code quality in expression extraction
2024-11-13 09:38:48 +01:00
Tamas Vajk
70658bcd52
Fix review findings
2024-11-12 15:58:42 +01:00
Tamas Vajk
14150ea78d
KE2: Extract compareTo calls for binary comparisons
2024-11-12 15:49:44 +01:00
Anders Schack-Mulligen
d7fbf68a59
Merge pull request #17597 from aschackmull/java/chararraywriter-tostring
...
Java: Add model for CharArrayWriter.toString().
2024-11-12 12:55:44 +01:00
Tamas Vajk
320905925b
KE2: Extract unary operators
2024-11-12 12:32:51 +01:00
Tamás Vajk
a9e45d8609
Merge pull request #17761 from tamasvajk/ke2-binary-ops
...
KE2: extract binary operators
2024-11-12 12:30:39 +01:00
Tamas Vajk
53460d7ca0
Add comment
2024-11-12 09:19:04 +01:00
Ian Lynagh
cfb269eba9
KE2: Remove erasure
2024-11-11 17:49:23 +00:00
Ian Lynagh
0249c49ce5
Java: Add up/downgrade scripts
2024-11-11 17:48:35 +00:00
Ian Lynagh
66be970b2e
Java/Kotlin: Remove the erasure relation
...
It's no longer used
2024-11-11 17:48:30 +00:00
Ian Lynagh
b8b0fcad67
Kotlin: Don't write the erasure relation
...
It's no longer used
2024-11-11 17:48:24 +00:00
Ian Lynagh
4aed952c7d
Java: Remove redundant getErasure overrides
...
The root definition covers these cases already
2024-11-11 17:48:17 +00:00
Michael Nebel
425b1b17d1
Merge pull request #17952 from michaelnebel/java/movemodels
...
Java: Move non-experimental models out of the experimental folder.
2024-11-11 15:28:53 +01:00
Chris Smowton
89a2f0dc00
Merge pull request #17890 from smowton/smowton/fix/kotlin-use-nulltype
...
Kotlin extractor: use special <nulltype> for null literals
2024-11-11 10:54:21 +00:00
Michael Nebel
404ca27aec
Java: Move non-experimental models out of the experimental folder.
2024-11-11 10:08:45 +01:00
Tamas Vajk
db13b32285
Extract comparison operators
2024-11-08 13:53:59 +01:00
Tamas Vajk
a5fcfaf289
Add todo comment with missing binary operators
2024-11-08 13:53:58 +01:00
Tamas Vajk
227d30243c
Extract reference equals
2024-11-08 13:53:58 +01:00
Tamas Vajk
bc35c509f0
Extract more numeric binary operators
2024-11-08 13:53:57 +01:00
Tamas Vajk
255d5c9942
KE2: Extract binary operators on numeric types
2024-11-08 13:53:57 +01:00
Tamás Vajk
212143ff45
Merge pull request #17881 from tamasvajk/ke2-safe-qualified-expr
...
KE2: Extract safe qualified expressions
2024-11-08 13:53:21 +01:00
Anders Schack-Mulligen
a311294080
Merge pull request #17932 from aschackmull/java/kotlin-notnull-typeflow
...
Kotlin: Support NotNullExpr in TypeFlow.
2024-11-08 13:48:15 +01:00
Anders Schack-Mulligen
5602570e18
Kotlin: Support NotNullExpr in TypeFlow.
2024-11-07 15:25:23 +01:00
Tom Hvitved
a35a4b2d98
Merge pull request #17887 from hvitved/dataflow/provenance-order
...
Data flow: Order provenance output by textual representation
2024-11-07 14:19:18 +01:00
Michael Nebel
55cfbccd43
C#/Java: Exclude summaries using callbacks in fields, properties and synthetic fields.
2024-11-06 16:29:19 +01:00
Michael Nebel
a86cd181a6
Java: Make language specific modifications.
2024-11-06 16:29:16 +01:00
