Bump opal.version from 5.0.0 to 6.0.0

[dependabot]

Bumps opal.version from 5.0.0 to 6.0.0.
Updates de.opal-project:common_2.13 from 5.0.0 to 6.0.0

Release notes

Sourced from de.opal-project:common_2.13's releases.

6.0.0

• we are now using sbt 1.9.7
• we are now using scalafmt instead of Scalariform
  • introduce auto formatting via sbt format
  • add pre-commit hook to verify (sbt checkFormat) and apply formatting
• unify command line interface for all OPAL runners using Scallop
  • all runners support the same syntax and shared subsets of arguments
  • override custom configuration options via CLI arguments
• full support for Java 20 up to 25
  • support for Java 25 main entry method definitions
  • rename ObjectType to ClassType according to JVM 24 specification
• OPAL can now select default analyses for properties
• support for Android call graph generation
• introduce declared fields
  • explicitly provide information about field accesses (reads and writes) via dedicated analysis
  • handle reflective field accesses
  • field access information is computed as a triggered analysis
• add alias properties and corresponding analysis
• made points-to analysis modules configurable
• move non-Java specific code into SI subproject (analysis manager, registry and schedulers, project and project information keys)
• introduce PDUWeb, a persistable (i.e., a bytecode program counter based) representation of def-use webs
• add framework for dataflow analysis based on structural analysis
• add solver for interprocedural distributed environment (IDE) problems
• remove AggregateableValueProperty and ExplicitlyNamedProperty
• add several scheduling strategies to group analyses into different phases
• rename RTJar to JavaBase
• DependencyExtractor now supports modules, records, nests and permitted subclasses
• add analysis to track string values
• add ConfigurationExplorer to better document configuration values

Changelog

Sourced from de.opal-project:common_2.13's changelog.

6.0.0 - Released October 9th 2025

• we are now using sbt 1.9.7
• we are now using scalafmt instead of Scalariform
  • introduce auto formatting via sbt format
  • add pre-commit hook to verify (sbt checkFormat) and apply formatting
• unify command line interface for all OPAL runners using Scallop
  • all runners support the same syntax and shared subsets of arguments
  • override custom configuration options via CLI arguments
• full support for Java 20 up to 25
  • support for Java 25 main entry method definitions
  • rename ObjectType to ClassType according to JVM 24 specification
• OPAL can now select default analyses for properties
• support for Android call graph generation
• introduce declared fields
  • explicitly provide information about field accesses (reads and writes) via dedicated analysis
  • handle reflective field accesses
  • field access information is computed as a triggered analysis
• add alias properties and corresponding analysis
• made points-to analysis modules configurable
• move non-Java specific code into SI subproject (analysis manager, registry and schedulers, project and project information keys)
• introduce PDUWeb, a persistable (i.e., a bytecode program counter based) representation of def-use webs
• add framework for dataflow analysis based on structural analysis
• add solver for interprocedural distributed environment (IDE) problems
• remove AggregateableValueProperty and ExplicitlyNamedProperty
• add several scheduling strategies to group analyses into different phases
• rename RTJar to JavaBase
• DependencyExtractor now supports modules, records, nests and permitted subclasses
• add analysis to track string values
• add ConfigurationExplorer to better document configuration values

Commits

• 52f7056 Released 6.0.0
• a131225 Prepare release 6.0.0
• 3bccdbd Merge pull request #224 from klein648/configuration_explorer_cleanup
• 6e5d807 Merge branch 'develop' into feature/configuration-explorer
• 2f3b7f1 Merge pull request #339 from opalj/fix/citation-cff
• cbc72ed Correctly name CITATION.cff
• dda13c0 Merge pull request #338 from opalj/feature/java25
• 3267249 Merge pull request #337 from opalj/feature/citations-cff
• d8e8f01 State support for Java 25 class files
• b314c5c Merge pull request #336 from opalj/fix/time-unit-typo
• Additional commits viewable in compare view

Updates de.opal-project:bytecode-representation_2.13 from 5.0.0 to 6.0.0

Release notes

Sourced from de.opal-project:bytecode-representation_2.13's releases.

6.0.0

• we are now using sbt 1.9.7
• we are now using scalafmt instead of Scalariform
  • introduce auto formatting via sbt format
  • add pre-commit hook to verify (sbt checkFormat) and apply formatting
• unify command line interface for all OPAL runners using Scallop
  • all runners support the same syntax and shared subsets of arguments
  • override custom configuration options via CLI arguments
• full support for Java 20 up to 25
  • support for Java 25 main entry method definitions
  • rename ObjectType to ClassType according to JVM 24 specification
• OPAL can now select default analyses for properties
• support for Android call graph generation
• introduce declared fields
  • explicitly provide information about field accesses (reads and writes) via dedicated analysis
  • handle reflective field accesses
  • field access information is computed as a triggered analysis
• add alias properties and corresponding analysis
• made points-to analysis modules configurable
• move non-Java specific code into SI subproject (analysis manager, registry and schedulers, project and project information keys)
• introduce PDUWeb, a persistable (i.e., a bytecode program counter based) representation of def-use webs
• add framework for dataflow analysis based on structural analysis
• add solver for interprocedural distributed environment (IDE) problems
• remove AggregateableValueProperty and ExplicitlyNamedProperty
• add several scheduling strategies to group analyses into different phases
• rename RTJar to JavaBase
• DependencyExtractor now supports modules, records, nests and permitted subclasses
• add analysis to track string values
• add ConfigurationExplorer to better document configuration values

Changelog

Sourced from de.opal-project:bytecode-representation_2.13's changelog.

6.0.0 - Released October 9th 2025

• we are now using sbt 1.9.7
• we are now using scalafmt instead of Scalariform
  • introduce auto formatting via sbt format
  • add pre-commit hook to verify (sbt checkFormat) and apply formatting
• unify command line interface for all OPAL runners using Scallop
  • all runners support the same syntax and shared subsets of arguments
  • override custom configuration options via CLI arguments
• full support for Java 20 up to 25
  • support for Java 25 main entry method definitions
  • rename ObjectType to ClassType according to JVM 24 specification
• OPAL can now select default analyses for properties
• support for Android call graph generation
• introduce declared fields
  • explicitly provide information about field accesses (reads and writes) via dedicated analysis
  • handle reflective field accesses
  • field access information is computed as a triggered analysis
• add alias properties and corresponding analysis
• made points-to analysis modules configurable
• move non-Java specific code into SI subproject (analysis manager, registry and schedulers, project and project information keys)
• introduce PDUWeb, a persistable (i.e., a bytecode program counter based) representation of def-use webs
• add framework for dataflow analysis based on structural analysis
• add solver for interprocedural distributed environment (IDE) problems
• remove AggregateableValueProperty and ExplicitlyNamedProperty
• add several scheduling strategies to group analyses into different phases
• rename RTJar to JavaBase
• DependencyExtractor now supports modules, records, nests and permitted subclasses
• add analysis to track string values
• add ConfigurationExplorer to better document configuration values

Commits

• 52f7056 Released 6.0.0
• a131225 Prepare release 6.0.0
• 3bccdbd Merge pull request #224 from klein648/configuration_explorer_cleanup
• 6e5d807 Merge branch 'develop' into feature/configuration-explorer
• 2f3b7f1 Merge pull request #339 from opalj/fix/citation-cff
• cbc72ed Correctly name CITATION.cff
• dda13c0 Merge pull request #338 from opalj/feature/java25
• 3267249 Merge pull request #337 from opalj/feature/citations-cff
• d8e8f01 State support for Java 25 class files
• b314c5c Merge pull request #336 from opalj/fix/time-unit-typo
• Additional commits viewable in compare view

Updates de.opal-project:three-address-code_2.13 from 5.0.0 to 6.0.0

Release notes

Sourced from de.opal-project:three-address-code_2.13's releases.

6.0.0

• we are now using sbt 1.9.7
• we are now using scalafmt instead of Scalariform
  • introduce auto formatting via sbt format
  • add pre-commit hook to verify (sbt checkFormat) and apply formatting
• unify command line interface for all OPAL runners using Scallop
  • all runners support the same syntax and shared subsets of arguments
  • override custom configuration options via CLI arguments
• full support for Java 20 up to 25
  • support for Java 25 main entry method definitions
  • rename ObjectType to ClassType according to JVM 24 specification
• OPAL can now select default analyses for properties
• support for Android call graph generation
• introduce declared fields
  • explicitly provide information about field accesses (reads and writes) via dedicated analysis
  • handle reflective field accesses
  • field access information is computed as a triggered analysis
• add alias properties and corresponding analysis
• made points-to analysis modules configurable
• move non-Java specific code into SI subproject (analysis manager, registry and schedulers, project and project information keys)
• introduce PDUWeb, a persistable (i.e., a bytecode program counter based) representation of def-use webs
• add framework for dataflow analysis based on structural analysis
• add solver for interprocedural distributed environment (IDE) problems
• remove AggregateableValueProperty and ExplicitlyNamedProperty
• add several scheduling strategies to group analyses into different phases
• rename RTJar to JavaBase
• DependencyExtractor now supports modules, records, nests and permitted subclasses
• add analysis to track string values
• add ConfigurationExplorer to better document configuration values

Changelog

Sourced from de.opal-project:three-address-code_2.13's changelog.

6.0.0 - Released October 9th 2025

• we are now using sbt 1.9.7
• we are now using scalafmt instead of Scalariform
  • introduce auto formatting via sbt format
  • add pre-commit hook to verify (sbt checkFormat) and apply formatting
• unify command line interface for all OPAL runners using Scallop
  • all runners support the same syntax and shared subsets of arguments
  • override custom configuration options via CLI arguments
• full support for Java 20 up to 25
  • support for Java 25 main entry method definitions
  • rename ObjectType to ClassType according to JVM 24 specification
• OPAL can now select default analyses for properties
• support for Android call graph generation
• introduce declared fields
  • explicitly provide information about field accesses (reads and writes) via dedicated analysis
  • handle reflective field accesses
  • field access information is computed as a triggered analysis
• add alias properties and corresponding analysis
• made points-to analysis modules configurable
• move non-Java specific code into SI subproject (analysis manager, registry and schedulers, project and project information keys)
• introduce PDUWeb, a persistable (i.e., a bytecode program counter based) representation of def-use webs
• add framework for dataflow analysis based on structural analysis
• add solver for interprocedural distributed environment (IDE) problems
• remove AggregateableValueProperty and ExplicitlyNamedProperty
• add several scheduling strategies to group analyses into different phases
• rename RTJar to JavaBase
• DependencyExtractor now supports modules, records, nests and permitted subclasses
• add analysis to track string values
• add ConfigurationExplorer to better document configuration values

Commits

• 52f7056 Released 6.0.0
• a131225 Prepare release 6.0.0
• 3bccdbd Merge pull request #224 from klein648/configuration_explorer_cleanup
• 6e5d807 Merge branch 'develop' into feature/configuration-explorer
• 2f3b7f1 Merge pull request #339 from opalj/fix/citation-cff
• cbc72ed Correctly name CITATION.cff
• dda13c0 Merge pull request #338 from opalj/feature/java25
• 3267249 Merge pull request #337 from opalj/feature/citations-cff
• d8e8f01 State support for Java 25 class files
• b314c5c Merge pull request #336 from opalj/fix/time-unit-typo
• Additional commits viewable in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)