hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 03:05:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

Kotlin: Recognise more numeric types

Browse Source
This commit is contained in:
Ian Lynagh
2021-11-22 13:57:54 +00:00
parent 76151b413f
commit 2d8a2abe5c
3 changed files with 27 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
java/kotlin-extractor/src/main/kotlin/KotlinFileExtractor.kt
View File

@@ -608,6 +608,9 @@ open class KotlinFileExtractor(
fun isNumericFunction(fName: String): Boolean {
return isFunction("kotlin", "Int", fName) ||
isFunction("kotlin", "Short", fName) ||
isFunction("kotlin", "Long", fName) ||
isFunction("kotlin", "Float", fName) ||
isFunction("kotlin", "Double", fName)
}

12
java/ql/test/kotlin/library-tests/exprs/binop.expected
View File

@@ -22,6 +22,10 @@
| exprs.kt:47:16:47:25 | ... >= ... | exprs.kt:47:16:47:18 | byx | exprs.kt:47:23:47:25 | byy |
| exprs.kt:48:16:48:26 | ... == ... | exprs.kt:48:16:48:18 | byx | exprs.kt:48:24:48:26 | byy |
| exprs.kt:49:16:49:26 | ... != ... | exprs.kt:49:16:49:18 | byx | exprs.kt:49:24:49:26 | byy |
| exprs.kt:52:14:52:20 | ... + ... | exprs.kt:52:14:52:15 | sx | exprs.kt:52:19:52:20 | sy |
| exprs.kt:53:14:53:20 | ... - ... | exprs.kt:53:14:53:15 | sx | exprs.kt:53:19:53:20 | sy |
| exprs.kt:54:14:54:20 | ... / ... | exprs.kt:54:14:54:15 | sx | exprs.kt:54:19:54:20 | sy |
| exprs.kt:55:14:55:20 | ... % ... | exprs.kt:55:14:55:15 | sx | exprs.kt:55:19:55:20 | sy |
| exprs.kt:56:14:56:21 | ... == ... | exprs.kt:56:14:56:15 | toInt(...) | exprs.kt:56:20:56:21 | toInt(...) |
| exprs.kt:57:14:57:21 | ... != ... | exprs.kt:57:14:57:15 | toInt(...) | exprs.kt:57:20:57:21 | toInt(...) |
| exprs.kt:58:14:58:20 | ... < ... | exprs.kt:58:14:58:15 | toInt(...) | exprs.kt:58:19:58:20 | toInt(...) |
@@ -30,6 +34,10 @@
| exprs.kt:61:15:61:22 | ... >= ... | exprs.kt:61:15:61:16 | toInt(...) | exprs.kt:61:21:61:22 | toInt(...) |
| exprs.kt:62:15:62:23 | ... == ... | exprs.kt:62:15:62:16 | sx | exprs.kt:62:22:62:23 | sy |
| exprs.kt:63:15:63:23 | ... != ... | exprs.kt:63:15:63:16 | sx | exprs.kt:63:22:63:23 | sy |
| exprs.kt:66:14:66:20 | ... + ... | exprs.kt:66:14:66:15 | lx | exprs.kt:66:19:66:20 | ly |
| exprs.kt:67:14:67:20 | ... - ... | exprs.kt:67:14:67:15 | lx | exprs.kt:67:19:67:20 | ly |
| exprs.kt:68:14:68:20 | ... / ... | exprs.kt:68:14:68:15 | lx | exprs.kt:68:19:68:20 | ly |
| exprs.kt:69:14:69:20 | ... % ... | exprs.kt:69:14:69:15 | lx | exprs.kt:69:19:69:20 | ly |
| exprs.kt:77:15:77:22 | ... == ... | exprs.kt:77:15:77:16 | lx | exprs.kt:77:21:77:22 | ly |
| exprs.kt:78:15:78:22 | ... != ... | exprs.kt:78:15:78:16 | lx | exprs.kt:78:21:78:22 | ly |
| exprs.kt:79:15:79:21 | ... < ... | exprs.kt:79:15:79:16 | lx | exprs.kt:79:20:79:21 | ly |
@@ -50,6 +58,10 @@
| exprs.kt:96:15:96:22 | ... >= ... | exprs.kt:96:15:96:16 | dx | exprs.kt:96:21:96:22 | dy |
| exprs.kt:97:15:97:23 | ... == ... | exprs.kt:97:15:97:16 | dx | exprs.kt:97:22:97:23 | dy |
| exprs.kt:98:15:98:23 | ... != ... | exprs.kt:98:15:98:16 | dx | exprs.kt:98:22:98:23 | dy |
| exprs.kt:101:14:101:20 | ... + ... | exprs.kt:101:14:101:15 | fx | exprs.kt:101:19:101:20 | fy |
| exprs.kt:102:14:102:20 | ... - ... | exprs.kt:102:14:102:15 | fx | exprs.kt:102:19:102:20 | fy |
| exprs.kt:103:14:103:20 | ... / ... | exprs.kt:103:14:103:15 | fx | exprs.kt:103:19:103:20 | fy |
| exprs.kt:104:14:104:20 | ... % ... | exprs.kt:104:14:104:15 | fx | exprs.kt:104:19:104:20 | fy |
| exprs.kt:105:14:105:21 | ... == ... | exprs.kt:105:14:105:15 | fx | exprs.kt:105:20:105:21 | fy |
| exprs.kt:106:14:106:21 | ... != ... | exprs.kt:106:14:106:15 | fx | exprs.kt:106:20:106:21 | fy |
| exprs.kt:107:14:107:20 | ... < ... | exprs.kt:107:14:107:15 | fx | exprs.kt:107:19:107:20 | fy |

24
java/ql/test/kotlin/library-tests/exprs/exprs.expected
View File

@@ -129,19 +129,19 @@
| exprs.kt:51:14:51:16 | 1.0 | exprs.kt:4:1:139:1 | topLevelMethod | DoubleLiteral |
| exprs.kt:52:5:52:20 | s2 | exprs.kt:4:1:139:1 | topLevelMethod | LocalVariableDeclExpr |
| exprs.kt:52:14:52:15 | sx | exprs.kt:4:1:139:1 | topLevelMethod | VarAccess |
| exprs.kt:52:14:52:20 | plus(...) | exprs.kt:4:1:139:1 | topLevelMethod | MethodAccess |
| exprs.kt:52:14:52:20 | ... + ... | exprs.kt:4:1:139:1 | topLevelMethod | AddExpr |
| exprs.kt:52:19:52:20 | sy | exprs.kt:4:1:139:1 | topLevelMethod | VarAccess |
| exprs.kt:53:5:53:20 | s3 | exprs.kt:4:1:139:1 | topLevelMethod | LocalVariableDeclExpr |
| exprs.kt:53:14:53:15 | sx | exprs.kt:4:1:139:1 | topLevelMethod | VarAccess |
| exprs.kt:53:14:53:20 | minus(...) | exprs.kt:4:1:139:1 | topLevelMethod | MethodAccess |
| exprs.kt:53:14:53:20 | ... - ... | exprs.kt:4:1:139:1 | topLevelMethod | SubExpr |
| exprs.kt:53:19:53:20 | sy | exprs.kt:4:1:139:1 | topLevelMethod | VarAccess |
| exprs.kt:54:5:54:20 | s4 | exprs.kt:4:1:139:1 | topLevelMethod | LocalVariableDeclExpr |
| exprs.kt:54:14:54:15 | sx | exprs.kt:4:1:139:1 | topLevelMethod | VarAccess |
| exprs.kt:54:14:54:20 | div(...) | exprs.kt:4:1:139:1 | topLevelMethod | MethodAccess |
| exprs.kt:54:14:54:20 | ... / ... | exprs.kt:4:1:139:1 | topLevelMethod | DivExpr |
| exprs.kt:54:19:54:20 | sy | exprs.kt:4:1:139:1 | topLevelMethod | VarAccess |
| exprs.kt:55:5:55:20 | s5 | exprs.kt:4:1:139:1 | topLevelMethod | LocalVariableDeclExpr |
| exprs.kt:55:14:55:15 | sx | exprs.kt:4:1:139:1 | topLevelMethod | VarAccess |
| exprs.kt:55:14:55:20 | rem(...) | exprs.kt:4:1:139:1 | topLevelMethod | MethodAccess |
| exprs.kt:55:14:55:20 | ... % ... | exprs.kt:4:1:139:1 | topLevelMethod | RemExpr |
| exprs.kt:55:19:55:20 | sy | exprs.kt:4:1:139:1 | topLevelMethod | VarAccess |
| exprs.kt:56:5:56:21 | s6 | exprs.kt:4:1:139:1 | topLevelMethod | LocalVariableDeclExpr |
| exprs.kt:56:14:56:15 | sx | exprs.kt:4:1:139:1 | topLevelMethod | VarAccess |
@@ -191,19 +191,19 @@
| exprs.kt:65:14:65:16 | 1.0 | exprs.kt:4:1:139:1 | topLevelMethod | DoubleLiteral |
| exprs.kt:66:5:66:20 | l2 | exprs.kt:4:1:139:1 | topLevelMethod | LocalVariableDeclExpr |
| exprs.kt:66:14:66:15 | lx | exprs.kt:4:1:139:1 | topLevelMethod | VarAccess |
| exprs.kt:66:14:66:20 | plus(...) | exprs.kt:4:1:139:1 | topLevelMethod | MethodAccess |
| exprs.kt:66:14:66:20 | ... + ... | exprs.kt:4:1:139:1 | topLevelMethod | AddExpr |
| exprs.kt:66:19:66:20 | ly | exprs.kt:4:1:139:1 | topLevelMethod | VarAccess |
| exprs.kt:67:5:67:20 | l3 | exprs.kt:4:1:139:1 | topLevelMethod | LocalVariableDeclExpr |
| exprs.kt:67:14:67:15 | lx | exprs.kt:4:1:139:1 | topLevelMethod | VarAccess |
| exprs.kt:67:14:67:20 | minus(...) | exprs.kt:4:1:139:1 | topLevelMethod | MethodAccess |
| exprs.kt:67:14:67:20 | ... - ... | exprs.kt:4:1:139:1 | topLevelMethod | SubExpr |
| exprs.kt:67:19:67:20 | ly | exprs.kt:4:1:139:1 | topLevelMethod | VarAccess |
| exprs.kt:68:5:68:20 | l4 | exprs.kt:4:1:139:1 | topLevelMethod | LocalVariableDeclExpr |
| exprs.kt:68:14:68:15 | lx | exprs.kt:4:1:139:1 | topLevelMethod | VarAccess |
| exprs.kt:68:14:68:20 | div(...) | exprs.kt:4:1:139:1 | topLevelMethod | MethodAccess |
| exprs.kt:68:14:68:20 | ... / ... | exprs.kt:4:1:139:1 | topLevelMethod | DivExpr |
| exprs.kt:68:19:68:20 | ly | exprs.kt:4:1:139:1 | topLevelMethod | VarAccess |
| exprs.kt:69:5:69:20 | l5 | exprs.kt:4:1:139:1 | topLevelMethod | LocalVariableDeclExpr |
| exprs.kt:69:14:69:15 | lx | exprs.kt:4:1:139:1 | topLevelMethod | VarAccess |
| exprs.kt:69:14:69:20 | rem(...) | exprs.kt:4:1:139:1 | topLevelMethod | MethodAccess |
| exprs.kt:69:14:69:20 | ... % ... | exprs.kt:4:1:139:1 | topLevelMethod | RemExpr |
| exprs.kt:69:19:69:20 | ly | exprs.kt:4:1:139:1 | topLevelMethod | VarAccess |
| exprs.kt:70:5:70:21 | l6 | exprs.kt:4:1:139:1 | topLevelMethod | LocalVariableDeclExpr |
| exprs.kt:70:14:70:15 | lx | exprs.kt:4:1:139:1 | topLevelMethod | VarAccess |
@@ -318,19 +318,19 @@
| exprs.kt:100:14:100:16 | 1.0 | exprs.kt:4:1:139:1 | topLevelMethod | DoubleLiteral |
| exprs.kt:101:5:101:20 | f2 | exprs.kt:4:1:139:1 | topLevelMethod | LocalVariableDeclExpr |
| exprs.kt:101:14:101:15 | fx | exprs.kt:4:1:139:1 | topLevelMethod | VarAccess |
| exprs.kt:101:14:101:20 | plus(...) | exprs.kt:4:1:139:1 | topLevelMethod | MethodAccess |
| exprs.kt:101:14:101:20 | ... + ... | exprs.kt:4:1:139:1 | topLevelMethod | AddExpr |
| exprs.kt:101:19:101:20 | fy | exprs.kt:4:1:139:1 | topLevelMethod | VarAccess |
| exprs.kt:102:5:102:20 | f3 | exprs.kt:4:1:139:1 | topLevelMethod | LocalVariableDeclExpr |
| exprs.kt:102:14:102:15 | fx | exprs.kt:4:1:139:1 | topLevelMethod | VarAccess |
| exprs.kt:102:14:102:20 | minus(...) | exprs.kt:4:1:139:1 | topLevelMethod | MethodAccess |
| exprs.kt:102:14:102:20 | ... - ... | exprs.kt:4:1:139:1 | topLevelMethod | SubExpr |
| exprs.kt:102:19:102:20 | fy | exprs.kt:4:1:139:1 | topLevelMethod | VarAccess |
| exprs.kt:103:5:103:20 | f4 | exprs.kt:4:1:139:1 | topLevelMethod | LocalVariableDeclExpr |
| exprs.kt:103:14:103:15 | fx | exprs.kt:4:1:139:1 | topLevelMethod | VarAccess |
| exprs.kt:103:14:103:20 | div(...) | exprs.kt:4:1:139:1 | topLevelMethod | MethodAccess |
| exprs.kt:103:14:103:20 | ... / ... | exprs.kt:4:1:139:1 | topLevelMethod | DivExpr |
| exprs.kt:103:19:103:20 | fy | exprs.kt:4:1:139:1 | topLevelMethod | VarAccess |
| exprs.kt:104:5:104:20 | f5 | exprs.kt:4:1:139:1 | topLevelMethod | LocalVariableDeclExpr |
| exprs.kt:104:14:104:15 | fx | exprs.kt:4:1:139:1 | topLevelMethod | VarAccess |
| exprs.kt:104:14:104:20 | rem(...) | exprs.kt:4:1:139:1 | topLevelMethod | MethodAccess |
| exprs.kt:104:14:104:20 | ... % ... | exprs.kt:4:1:139:1 | topLevelMethod | RemExpr |
| exprs.kt:104:19:104:20 | fy | exprs.kt:4:1:139:1 | topLevelMethod | VarAccess |
| exprs.kt:105:5:105:21 | f6 | exprs.kt:4:1:139:1 | topLevelMethod | LocalVariableDeclExpr |
| exprs.kt:105:14:105:15 | fx | exprs.kt:4:1:139:1 | topLevelMethod | VarAccess |