Java: Re-arrange import pattern for generated models.

This commit is contained in:
Michael Nebel
2022-05-23 10:21:32 +02:00
parent 71bcae068e
commit 0f33c3188c
3 changed files with 16 additions and 2 deletions

View File

@@ -92,6 +92,7 @@ private module Frameworks {
private import semmle.code.java.frameworks.apache.IO
private import semmle.code.java.frameworks.apache.Lang
private import semmle.code.java.frameworks.Flexjson
private import semmle.code.java.frameworks.generated
private import semmle.code.java.frameworks.guava.Guava
private import semmle.code.java.frameworks.jackson.JacksonSerializability
private import semmle.code.java.frameworks.javaee.jsf.JSFRenderer

View File

@@ -1,11 +1,15 @@
/** Custom definitions related to the Apache Commons IO library. */
import java
import IOGenerated
private import semmle.code.java.dataflow.ExternalFlow
// TODO: manual models that were not generated yet
private class ApacheCommonsIOCustomSummaryCsv extends SummaryModelCsv {
/**
* Models that are not yet auto generated or where the generated summaries will
* be ignored.
* Note that if a callable has any handwritten summary, all generated summaries
* will be ignored for that callable.
*/
override predicate row(string row) {
row =
[

View File

@@ -0,0 +1,9 @@
/**
* A module importing all generated Models as Data models.
*/
import java
private module GeneratedFrameworks {
private import apache.IOGenerated
}