Release notes

Version 9.1.7

Bugfixes

Make sure injected initialization methods in interfaces have the correct access flags.

Improved

InstructionSequenceMatcher now supports matching of primitive array constants.
Support propagation of extra specified taints in JvmTaintTransferRelation.

API improvements

Rename CallVisitor to CallHandler and add extra parameters to handle calls accounting for more data.
Add ClassUtil.isClassInitializer(String) and ClassUtil.isInstanceInitializer(String).

Version 9.1.6

Java support

Update maximum supported Java class version to 67.65535 (Java 23).

API changes

Make CallGraph reconstruction/traversal methods generic in that they now take a Set<MethodSignature> to determine when to stop exploration
Delete EntryPoint class

Bugfixes

Fix incorrect traversal direction in predecessorsContain.

Version 9.1.5

Improved

ExecutingInvocationUnit now supports execution of static methods with no parameters.

Bugfixes

Prevent unknown enum value for KmVersionRequirementVersionKind exception when processing code compiled with an outdated Kotlin version.
Fix UnknownReferenceValue return wrong string format in getType.
Fix ReflectionExecutor not updating instance of StringBuilders in fallback result.
Fix DetailedArrayValueFactory#createArrayReferenceValue expecting an array type instead of the type of the values contained in the array.
Fix ExecutingInvocationUnit using both ParticularReferenceValue and DetailedArrayReferenceValue for arrays of reference types. Now DetailedArrayValueFactory is used consistently.

API changes

Executors do not support MethodSignature wildcards anymore. The assumption from ExecutorLookup is now that all the signatures supported by the executor are declared explicitly in getSupportedMethodSignatures.
StringExecutor, ExecutingInvocationUnit, and JvmValueBamCpaRun now need the library class pool as parameter.
Calls to InstructionSequenceBuilder.ldc now optionally accept a ConstantVisitor. The visitor will visit the constant that is referenced by the added instruction.
DetailedArrayValueFactory now takes a referenceValueFactory parameter, which determines if the value factory supports direct creation of reference arrays.
ParticularReferenceValue can't be used with arrays anymore.

Version 9.1.4

Kotlin support

Update Kotlin dependency to 2.0.0 final release version.

Improved

Add support for dynamic dispatch in ExecutorInvocationUnit. This makes it possible to execute methods based on statically observed types of objects, not only based on the type of the used variables.

API changes

Remove ExecutorMatcher and change the Executor interface so that it declares supported methods by MethodSignature wildcards instead.
Add @Nullable annotations to MethodSignature.

Bugfixes

Prevent potential NullPointerException when Kotlin property metadata isVar flag does not correctly indicate the presence of a setter.

Version 9.1.3

Kotlin support

Add support for processing Kotlin 2.0 metadata.
Update to stable version of the Kotlin metadata library.

Version 9.1.2

Java support

Update maximum supported Java class version to 66.65535 (Java 22).

API changes

Remove deprecated ReferenceValueFactory, ParticularReferenceValueFactory should be used instead.
Deprecate methods in ValueFactory taking an Object as parameter. The alternatives using ParticularObject should be used instead.
Executor#getMethodResult now returns a MethodResult object instead of just the return value of the analyzed method. The calling instance has been removed from the parameters array since it's already available in another argument.

Improved

Add support for selective parameter reconstruction to define which methods should have their calls evaluated.
Refactor ExecutingInvocationUnit to be customizable using executors. Improve checking whether method instance should be replaced in stack and variables.
Support execution of methods that operate on 1D arrays of all primitive and reference types with ReflectionExecutor.
Use runtime type instead of static type when possible in ExecutingInvocationUnit.
Introduce ParticularObject as the value tracked by ParticularReferenceValue. This makes explicit which kind of values can be tracked during the analysis, and introduces the possibility of tracking a model of the values that differ from the actual tracked object.
Extend capabilities of ExecutingInvocationUnit to allow executors to specify side effects not only on the instance value, but also on parameters.
Extend capabilities of ExecutingInvocationUnit to allow executors to specify return/instance/argument values that are not particular.

Bug fixes

Improve Kotlin MultiFileFacade metadata assertions to detect uninitialized references.
Fix handling of category 2 values in JvmValueTransferRelation to work correctly with ExecutingInvocationUnit.
Fix concurrency problems in CallGraph and ValueFactory ids.
Fix a bug in ReturnClassExtractor returning the last parameter type instead of null for primitive return values.
Fix ExecutorMethodSignatureMatcher trying to mutate an immutable map.
Fix TypedReferenceValue.cast() not handling null values correctly.

Version 9.1.1

Bugfixes

Enable fix previously behind system property: fix TypedReferenceValue.generalize() not setting mayBeExtension to true when generalizing to common parent type.
Avoid printing PartialEvaluator messages when an ExcessiveComplexityException occurs.
Fix incorrect writing of flags for type parameters with name annotations.
Fix incorrect writing of flags for reified type parameters.
Fix model for types and type parameters, removing the incorrect HAS_ANNOTATION common flag.

Improved

Enable new PartialEvaluator error message format by default.
Add the ability to implement a custom renaming strategy for ClassReferenceFixer.
Add new MaxStackSizeComputer to compute the maximum stack size of a code attribute which is more memory efficient than the existing StackSizeComputer.
Add IdentifiedArrayReferenceValue.generalize() to maintain ID when applied to two instances with same ID.
Improve ExecutingInvocationUnit support to methods that transform a String into an array of a primitive type.
Add support for customizing the way method calls are processed in taint analysis.

New Code Style

We have changed our code style to follow the Google Java Style Guide. A new auto-formatter is now available to make contributing to ProGuardCORE easier:

./gradlew spotlessApply

More information can be found in the Code Style section in CONTRIBUTING.md.

Version 9.1

Improved

Added PartialEvaluator JSON output.
Improve PartialEvaluator error messages when enabled with PartialEvaluator.Builder.setPrettyPrinting().
Improve documentation for the PartialEvaluator https://guardsquare.github.io/proguard-core/partialevaluator.html.

Bug fixes

Fix UnsupportedOperationException when trying to shrink Kotlin metadata from a lambda function.
Change behavior of array index out of bounds during partial evaluation, which is now handled as an unknown value instead of throwing an exception in the partial evaluator method.
Fix IllegalArgumentException when joining values with different computational type during value analysis.
Fix TypedReferenceValue.generalize() not setting mayBeExtension to true when generalizing to common parent type. For now only available experimentally by setting the system property proguard.pe.newextensiongeneralize.
Fix MultiTypeReferenceValue possibly using an imprecise type metadata (i.e., mayBeExtension, mayBeNull) in the generalized type.

API Changes

No longer consider Record attributes empty when they have no components in NonEmptyAttributeFilter. (#118)
Add new ProguardCoreException subclasses with more specific meanings.

Version 9.0.10

Improved

TaintSink can now be configured with a predicate to filter on which TaintSources trigger it.
Improve performance of DynamicClassReferenceInitializer.
Improve performance of DynamicClassMemberReferenceInitializer.

API changes

The constructors in JvmInvokeTaintSink are now deprecated, JvmInvokeTaintSink#Builder should be used instead.
MultiTypedReferenceValue.generalize() now removes the null type from the set of potential types, and sets maybeNull on the other types instead.

Version 9.0.9

Kotlin support

Add support for processing Kotlin 1.9 metadata.
Update kotlinx metadata dependency to version 0.6.0.

Java support

Update maximum supported Java class version to 65.65535 (Java 21).

Improved

Added support for adding line numbers in the CodeAttributeEditor.
Improve performance of ClassReferenceInitializer when initializing Kotlin type aliases.
Improve performance of ClassPool.removeClass.
Allow more configuration of ExecutingInvocationUnit by using ExecutingInvocationUnit.Builder.
Add a mode to ExecutingInvocationUnit to approximate reference of types not supported for the execution via reflection.
Implement Autocloseable in DataEntryWriter interface.

Bug fixes

Use program location as hash code for JvmAbstractState to allow correct use with hash sets.
Fix a bug in JvmTransferRelation handling arithmetic instructions returning category 2 values incorrectly.
Fix delegation of proguard.evaluation.value.ParticularValueFactory#createReferenceValueNull().

API changes

The key used for fields in JvmAbstractState has been updated to include the field type to disambiguate between overloaded fields.
Replace allNodes field in proguard.analysis.cpa.defaults.Cfa with getAllNodes method to save memory.
Constructor for ExecutingInvocationUnit is deprecated, use ExecutingInvocationUnit.Builder instead.

Version 9.0.8

Improved

Increase proguard.classfile.VersionConstants.MAX_SUPPORTED_VERSION to 64.65535 (Java 20 + preview enabled).
Fix tracking of IdentifiedReferenceValue IDs.
Add new Kotlin visitor SAM interfaces: KotlinClassVisitor, KotlinFileFacadeVisitor, KotlinMultiFileFacadeVisitor, KotlinMultiFilePartVisitor, KotlinSyntheticClassVisitor.

API changes

JvmTransferRelation has been refactored to model IINC in a separate computeIncrement method.
The ProcessingFlag.DONT_PROCESS_KOTLIN_MODULE value was changed from 0x00002000 to 0x00008000.
Remove fromClassPool suffixes in CfaUtil methods.
Refactor CodeLocation to only take the signature and offset into consideration.
IdentifiedReferenceValue id field changed from int to Object.
ParticularValueFactory.ReferenceFactory replaced by ParticularReferenceValueFactory.
Add ValueFactory.createReferenceValue(String type, Clazz referencedClass, boolean mayBeExtension, boolean maybeNull, Clazz creationClass, Method creationMethod, int creationOffset) to allow creating references identified by their creation site.
Add JvmCfaReferenceValueFactory to create references identified by the JvmCfaNode creation site.

Upgrade considerations

Identified and particular references can now be identified by any Object instead of a simple int. However, this means that code which compared the IDs may need to be modified. For example, the following code should be changed:

    public static boolean equal(IdentifiedReferenceValue a, IdentifiedReferenceValue b) {
        return a.id == b.id;
    }

It should use the equals method instead.

    public static boolean equal(IdentifiedReferenceValue a, IdentifiedReferenceValue b) {
        return a.id.equals(b.id);
    }

The ParticularReferenceValueFactory identifies references with integers by default:

ValueFactory valueFactory = new ParticularReferenceFactory(new ParticularReferenceValueFactory());
Value a = valueFactory.createReferenceValue("Ljava/lang/String;", clazz, false, false);
// a.id will be an integer.

Any Object can be used as an ID using the createReferenceValueForId method:

String objectId = "myId";
ValueFactory valueFactory = new ParticularReferenceFactory(new ParticularReferenceValueFactory());
Value a = valueFactory.createReferenceValueForId("Ljava/lang/String;", clazz, false, false, objectId);
// a.id will be objectId

Version 9.0.7

Improved

Add JvmShallowHeapModel for selective heap modeling.

Version 9.0.7

Improved

Don't report warnings for missing Kotlin default implementation classes when initializing with ClassReferenceInitializer.
Only link matching methods in Kotlin file facades with MethodLinker.
Extend the LimitedHashMap parameterization with an element exclusion selector.
Add the possibility to add a predicate to taint sources and sinks for selective response to calls.

Bug fixes

Fix the reduce operator producing a wrong JvmAbstractState for the composite taint analysis.
Fix potential expected Precise Reference runtime verifier error.
Don't report warnings for missing Kotlin default implementation classes when initiazing with ClassReferenceInitializer.

API Improvements

Add KotlinMetadataAsserter to check the integrity of Kotlin metadata.
Add JvmReturnTaintSink to support return instruction sinks in taint analysis.
Use method signatures instead of fully qualified names in taint sources and sinks.

API changes

JvmTaintSink has been generalized, use JvmInvokeTaintSink to have the old functionalities.

Version 9.0.6

Improved

Add support for limiting the size of the CPA tree heap model with LimitedHashMaps.

Bug fixes

Fix ldc_w method in the InstructionSequenceBuilder generating a ldc instruction instead of a ldc_w.

API Improvements

Add referencedDefaultMethodAccept to KotlinFunctionMetadata model.

Version 9.0.5

Improved

Replace proguard-assembler dependency in test fixtures with Maven Central version.

Bug fixes

Do not add interprocedural CFA edges for methods missing intraprocedural CFA.

Version 9.0.4

Improved

Allow class sub-hierarchy re-initialization for the optimized implementation of ClassSubHierarchyInitializer.
Enable providing distinct abort operators for the main and trace reconstruction CPAs.
Add a heap model for taint CPA supporting tainting of whole objects.
Call API: Add a few utilities and fix inconsistent call argument count getter behavior.
Only change the Kotlin metadata version if the original version is unsupported.
Add support for Kotlin context receivers in Kotlin metadata.
Add support for reading & writing Kotlin 1.8 metadata.

API Improvements

Add referencedDefaultImplementationMethodAccept to KotlinFunctionMetadata model class.
Deprecated referencedMethodAccept(Clazz, MemberVisitor) in favour of referencedMethodAccept(MemberVisitor) in KotlinFunctionMetadata model class.
Add TransformedStringMatcher.
Add ClassFeatureNameCollector.
Add var-arg constructor to ClassPath.
Add DataEntryClassInfoFilter.
Add NamedDataEntry.
Refactor CodeLocation#getClassName as getExternalClassName to comply with the types naming convention.
Make TypedReferenceValue.ALLOW_INCOMPLETE_CLASS_HIERARCHY private, add a getter TypedReferenceValue.allowsIncompleteClassHierarchy() instead.

Bug fixes

Fix side effect on DetailedArrayReferenceValue modifying values at previous offsets on array store instructions during PartialEvaluator execution.
Fix JvmTransferRelation to produce a successor in case of missing interprocedural call edge (e.g., in case of incomplete call resolution).
Fix call resolution for invokedynamic (issue #63). There might now be calls with incomplete target information. By default, these calls will not be distributed to visitors, but this can be enabled by setting the skipIncompleteCalls option in the call resolver.
Fix leading $ being stripped from inner classes by the ClassReferenceFixer. This prevents classes with names like Foo$$Bar incorrectly having their simple name changed from $Bar to Bar.

Version 9.0.3

Java support

Update maximum supported Java class version to 63.65535 (Java 19 ea). (PGD-247)

Improved

Add utility to produce dot-graphs for control flow automatons (CfaUtil.toDot(cfa), example VisualizeCfa).
Add support for heap slicing on call sites and heap reconstruction on return sites in dataflow analysis heap tree model.
Add support for differential map representation to be used in the data flow analysis.

API Improvements

Split ProgramLocationDependentTransferRelation into forward and backward variants.
Add ClassPoolClassLoader utility for loading ProGuardCORE classes.
Add builders for CPA runs.

Version 9.0.2

Improved

JvmMemoryLocationTransferRelation does not rely anymore on a pre-computed abstract reachability graph.

Improvements to Kotlin metadata initialization

Several improvements to Kotlin metadata initialization now allow building the Kotlin metadata model for library classes (LibraryClass):

KotlinMetadataInitializer provides a new public method initialize(Clazz, int, int[], String[], String[], int, String, String) to initialize the Kotlin metadata model for a given class.
ClassReader can now build the Kotlin metadata model by setting includeKotlinMetadata to true.
LibraryClassReader can now read the Kotlin metadata annotation and provide the components to a consumer.
An UnsupportedKotlinMetadata type is now assigned by the KotlinMetadataInitializer if the Kotlin metadata model could not be initialized correctly.

Version 9.0.1

Improved

ExecutingInvocationUnit now loads values from static final fields.
Initialize Kotlin lambda method references when the JVM method name is <anonymous>.
Add the possibility of limiting the number of CodeAttributes contributing into CFA.
Add the possibility of limiting the number of CodeAttributes considered by the CallResolver.

Bug fixes

Fix wrong handling of array types in ExecutingIvocationUnit and ParticularReferenceValue.
ParticularReferenceValue sanity checks now take inheritance into consideration, improving call analysis.
Prevent missing semicolon leading to an infinite loop in ClassUtil#internalMethodParameterCount.
Make category 2 CPA taint sources affect only the most significant byte abstract state.
Fix inconsistent usage of type names in the context of the PartialEvaluator that could result in trying to create an internal type string from a string that was already an internal type.
Fix initialization of Kotlin callable references when using -Xno-optimized-callable-references compiler option.
Fix createCache() delegation in ArgBamCpaRun

Upgrade considerations

TYPE NAME CONVENTION

PGC has different representation for type string variables:

External class name: com.guardsquare.SomeClass
Internal class name: com/guardsquare/SomeClass
Internal type (or just type): Lcom/guardsquare/SomeClass; (for arrays e.g. [I, [Ljava/lang/Object;)
Internal class type: com/guardsquare/SomeClass (for arrays this is their internal type e.g. [I, [Ljava/lang/Object;)

See proguard.classfile.util.ClassUtil for useful methods to convert between the different representations.

Since internal class name and type were used ambiguously, from version 9.0.1 the internal type is used consistently whenever we have a variable named type.

Since this was not the case, this update might cause some type variables switching from the internal class name notation to the internal type notation, potentially breaking some logic if types are used by an external application using proguard-core.

Version 9.0 (April 2022)

Configurable program analysis (CPA)

CPA is a formalism for data flow analysis allowing seamless composition of various analyses and model checking techniques. Thus, it adds a framework for systematic development and extension of static analyses in a uniform structured way.

Taint analysis is the first ProGuardCORE CPA. Its goal is to detect data flow between source and sink method calls, which is useful for detecting bugs and security flaws.

The Taint Analysis manual page provides more information.

Add configurable program analysis (CPA) for interprocedural data flow analysis development.
Add taint analysis.

Bug fixes

Prevent linking a final method with a shadowing method in a subclass.
Force Call#getArgumentCount() to be correct even if the actual argument values could not be calculated or have been cleared.
Reset ExecutingInvocationUnit parameters array even when an exception happens.

Version 8.0.7

Java support

Update maximum supported Java class version to 62.65535 (Java 18 ea).

Improved

Add support for Kotlin property synthetic delegate methods.
Add ability to pass KotlinMetadataVersion to KotlinMetadataWriter / KotlinModuleWriter.

Version 8.0.6

Improved

Add support for writing out zip64 archives.
Improve speed for ClassPool.contains method.

Version 8.0.5

Improved

Upgrade log4j2 dependency to v2.17.1 in response to CVE-2021-44832.
Add support for reading and writing Kotlin 1.6 metadata.

Bug fixes

Fix CallResolver erroneously creating call edges to unimplemented interface methods.
Make the DominatorCalculator skip methods with an empty CodeAttribute.
Prevent updating Kotlin function names with mangled JVM method names in ClassReferenceFixer.
Initialize Kotlin default implementation classes of annotation classes correctly in ClassReferenceInitializer.
Correctly initialize Java Record component attributes in ClassReferenceInitializer.

API changes

KotlinInterfaceToDefaultImplsClassVisitor replaced by KotlinClassToDefaultImplsClassVisitor.
Deprecate Kotlin class metadata flag IS_INLINE and replaced with IS_VALUE.
Convert to/from Kotlin unsigned integers in Kotlin annotation unsigned type arguments.
Initialize array dimension in Kotlin annotation ClassValue type arguments.
Add support for Kotlin inline class underlying type to Kotlin metadata model.
Add support to MemberDescriptorReferencedClassVisitor for visiting referenced Kotlin inline class parameters.

Version 8.0.4

Improved

Upgrade log4j2 dependency to v2.17 in response to CVE-2021-45105.

API Improvements

Add KotlinMetadataVersionFilter to filter classes based on the version of the attached metadata.

Version 8.0.3

Improved

Upgrade log4j2 dependency in response to CVE-2021-45046.

Version 8.0.2

Improved

Upgrade log4j2 dependency in response to CVE-2021-44228.

API Improvements

Add call resolving and graph traversal features to enable interprocedural control flow analyses.

Bug fixes

Fix potential StringIndexOutOfBoundsException while trimming attribute value spaces in SignedJarWriter.
Fix referencedClass of Values generated by the ExecutingInvocationUnit.
Fix potential StackOverflowError when using an AttributeVisitor to visit runtime invisible type annotations.
Fix potential StringIndexOutOfBoundsException in KotlinCallableReferenceInitializer.
Fix potential NullPointerException in KotlinInterClassPropertyReferenceInitializer.
Fix wrong offset for complementary branch instruction when widening branch instructions in InstructionWriter.
Fix potential ClassFormatError due to adding multiple annotation attributes when processing Kotlin code.
Fix potential NullPointerException due to missing classes in ClassReferenceInitializer.
Prevent making package-private final methods that are shadowed protected.

Version 8.0.1

API Improvements

Add LibraryClassBuilder and LibraryClassEditor classes to create and edit a LibraryClass.
Add additional constructors to LibraryClass.

Bug fixes

Fix potential NullPointerException when initializing Kotlin callable references.
Prevent requiring --enable-preview on a JVM for Java 16 class files (write class file version 60.0 instead of 60.65535).
Fix potential NullPointerException when visiting referenced methods of Kotlin functions.

Version 8.0.0

Java support

Update maximum supported Java class version to 61.0 (Java 17).

Kotlin support

Add support for processing Kotlin 1.5 metadata.
Update kotlinx metadata dependency to version 0.2.

API Improvements

Add WarningLogger class to allow using a custom Log4j2 logger.
Add Kotlin metadata model classes and visitors for Kotlin annotations.
Add Kotlin metadata model enum for KmVariance.
Add Kotlin metadata model enum for KmVersionRequirement(Kind|Level).
Add Kotlin metadata model enum for KmEffect(Type|InvocationKind).
Add Kotlin metadata flag IS_FUN for functional interfaces.
Add Kotlin metadata flag HAS_NON_STABLE_PARAMETER_NAMES for Kotlin callables.
Add error handler callback to KotlinMetadataInitializer.
Add error handler callback to KotlinMetadataWriter.
Add error handler callback to KotlinModuleReader.
Add error handler callback to KotlinModuleWriter. Add Kotlin metadata flag IS_SECONDARY for constructors.
Implement ClassVisitor in KotlinMetadataInitializer to allow easier initialization of Kotlin metadata.
Implement ClassVisitor in KotlinMetadataWriter to allow easier writing of Kotlin metadata.

API changes

KotlinTypeParameterVistor#visitClassParameter(Clazz, KotlinMetadata, KotlinTypeParameterMetadata) now has the correct signature: KotlinTypeParameterVistor#visitClassParameter(Clazz, KotlinClassKindMetadata, KotlinTypeParameterMetadata).
Rename AllKotlinPropertiesVisitor to AllPropertyVisitor.
Rename AllConstructorsVisitor to AllConstructorVisitor.
Rename AllFunctionsVisitor to AllFunctionVisitor.
Remove `KotlinValueParameterVisitor.onNewFunctionStart()' method.
Deprecate Kotlin metadata flag IS_PRIMARY for constructors.

Version 7.1.1

API improvements

Add KotlinTypeParameterFilter to allow filtering easily when visiting type parameters.
Add KotlinValueParameterFilter to allow filtering easily when visiting value parameters.

Bug fixes

Fix AllTypeParameterVisitor so that it visits type parameters defined in any kind of declaration container.
Fix AllTypeParameterVisitor so that it visits type parameters of type aliases.
Fix potential NullPointerException when initializing a Kotlin default implementation class that does not contain an initialized jvmSignature.
Add missing equals method to ParticularReferenceValue.
Fix incorrect handling of InterruptedException in ParallelAllClassVisitor.
Fix potential ZipOutput alignment issue when writing large uncompressed zip entries.
Fix potential ZipOutput synchronization issue when writing uncompressed zip entries.
Fix potential NullPointerException when comparing strings with FixedStringMatcher.
Fix potential NullPointerException when comparing strings with MatchedStringMatcher.
Fix initialization of Kotlin callable references when using Kotlin >= 1.4.

Version 7.1 (June 2021)

Java support

ProGuardCORE 7.1 now supports Java versions 14, 15 and 16:

Add support for reading & writing Java 14, 15 and 16 class files.
Add support for Java 14 sealed classes (permitted subclasses attributes).
Add support for record attributes (previewed in Java 15/16, targeted for Java 17).

Improved code analysis

The partial evaluator can now be used to reconstruct the specific values of String, StringBuilder and StringBuffer type objects. See analyzing code manual page for more information.
The partial evaluator will now throw an IncompleteClassHierarchyException instead of IllegalArgumentException when an incomplete hierarchy is encountered.
The partial evaluator will now throw an ExcessiveComplexityException if an instruction is visited more than stopAnalysisAfterNEvaluations times.
Potentially throwing ldc instructions are now taken into account during partial evaluation, improving the accuracy of code analysis.
Add support for multiple possible types during partial evaluation.

Performance improvements

Improve efficiency of building classes, methods and constant pools.

API improvements

Add ClassRenamer to allow renaming classes and members easily.

Bug fixes

Add missing method reference in injected static initializer instructions.
Add missing dimensions argument to CompactCodeAttributeComposer.multianewarray.
Fix potential StackOverflowException when comparing multi-typed reference values.
Fix handling of Kotlin nested class names which contain $.
Mark Module, ModuleMainClass and ModulePackages attributes as required.
Fix potential ClassCastException in ConstructorMethodFilter.
Fix potential NullPointerException for module classes in ClassPrinter.
Fix storage and alignment of uncompressed zip entries.
Fix processing of constant boolean arrays.
Fix adding branch instructions with labels in CompactCodeAttributeComposer.
Fix handling of array dereferencing in MultiTypedReferenceValue.
Fix AllKotlinAnnotationVisitor so that it visits type alias annotations defined in any kind of declaration container.
Move initialization of Kotlin declaration container's ownerClassName field from ClassReferenceInitializer to KotlinMetadataInitializer.

Version 7.0 (Jan 2020)

Version	Issue	Module	Explanation
7.0.1	DGD-2382	CORE	Fixed processing of Kotlin 1.4 metadata annotations.
7.0.1	DGD-2390	CORE	Fixed storage and alignment of uncompressed zip entries.
7.0.1	DGD-2338	CORE	Fixed processing of constant boolean arrays.
7.0.1		CORE	Fixed adding branch instructions with labels in CompactCodeAttributeComposer.
7.0.0		CORE	Initial release of Kotlin support.
7.0.0	PGD-32	CORE	Added support for Java 14 class files.
7.0.0	DGD-1780	CORE	Removed dependency on internal sun.security API.
7.0.0	DGD-1800	CORE	Fixed obfuscation of functional interfaces with abstract Object methods.
7.0.0		CORE	Initial release, extracted from ProGuard.