hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-20 18:56:32 +01:00
Code Issues Packages Projects Releases Wiki Activity

Java: Refactor most of the logic out of the model editor query files

Browse Source
This commit is contained in:
Koen Vlaswinkel
2023-09-20 14:13:28 +02:00
parent 509b7fe0f8
commit 73ebd21c33
4 changed files with 19 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
java/ql/src/utils/modeleditor/ApplicationModeEndpoints.ql
View File

@@ -8,12 +8,9 @@
*/
private import java
private import ApplicationModeEndpointsQuery
private import ModelEditor
class ExternalEndpoint extends Endpoint {
ExternalEndpoint() { not this.fromSource() }
}
private Call aUsage(ExternalEndpoint endpoint) {
result.getCallee().getSourceDeclaration() = endpoint
}

9
java/ql/src/utils/modeleditor/ApplicationModeEndpointsQuery.qll Normal file
View File

@@ -0,0 +1,9 @@
private import java
private import ModelEditor
/**
* A class of effectively public callables in library code.
*/
class ExternalEndpoint extends Endpoint {
ExternalEndpoint() { not this.fromSource() }
}

4
java/ql/src/utils/modeleditor/FrameworkModeEndpoints.ql
View File

@@ -8,11 +8,9 @@
*/
private import java
private import semmle.code.java.dataflow.internal.ModelExclusions
private import FrameworkModeEndpointsQuery
private import ModelEditor
class PublicEndpointFromSource extends Endpoint, ModelApi { }
from PublicEndpointFromSource endpoint, string apiName, boolean supported, string type
where
apiName = endpoint.getApiName() and

8
java/ql/src/utils/modeleditor/FrameworkModeEndpointsQuery.qll Normal file
View File

@@ -0,0 +1,8 @@
private import java
private import semmle.code.java.dataflow.internal.ModelExclusions
private import ModelEditor
/**
* A class of effectively public callables from source code.
*/
class PublicEndpointFromSource extends Endpoint, ModelApi { }