The OPAL Project - An OPen Analysis Library for Java Bytecode

added a method to get the current "maxId" used by a property key Signed-off-by: Michael Eichberg ... [More] OPAL/common/src/main/scala/org/opalj/fpcf/PropertyKey.scala [Less]

removed debugging code ... [More] OPAL/fpa/src/main/scala/org/opalj/fpcf/analysis/EntryPointsAnalysis.scala [Less]

fixed a bug where the open library assumption where not applied. ... [More] OPAL/fpa/src/main/scala/org/opalj/fpcf/analysis/EntryPointsAnalysis.scala OPAL/fpa/src/main/scala/org/opalj/fpcf/analysis/InstantiabilityAnalysis.scala [Less]

adapted more packages ... [More] OPAL/fpa/src/test/java/org/opalj/fpcf/test/annotations/EntryPointKeys.java OPAL/fpa/src/test/java/org/opalj/fpcf/test/annotations/EntryPointProperty.java OPAL/fpa/src/test/java/org/opalj/fpcf/test/annotations/FactoryMethodKeys.java OPAL/fpa/src/test/java/org/opalj/fpcf/test/annotations/FactoryMethodProperty.java OPAL/fpa/src/test/java/org/opalj/fpcf/test/annotations/InstantiabilityKeys.java OPAL/fpa/src/test/java/org/opalj/fpcf/test/annotations/InstantiabilityProperty.java OPAL/fpa/src/test/java/org/opalj/fpcf/test/annotations/LibraryLeakageKeys.java OPAL/fpa/src/test/java/org/opalj/fpcf/test/annotations/LibraryLeakageProperty.java OPAL/fpa/src/test/java/org/opalj/fpcf/test/annotations/ProjectAccessibilityKeys.java OPAL/fpa/src/test/java/org/opalj/fpcf/test/annotations/ProjectAccessibilityProperty.java OPAL/fpa/src/test/scala/org/opalj/fpcf/analysis/AbstractFixpointAnalysisAssumptionTest.scala OPAL/fpa/src/test/scala/org/opalj/fpcf/analysis/AbstractFixpointAnalysisTest.scala OPAL/fpa/src/test/scala/org/opalj/fpcf/analysis/EntryPointAnalysisTest.scala OPAL/fpa/src/test/scala/org/opalj/fpcf/analysis/FactoryMethodAnalysisTest.scala OPAL/fpa/src/test/scala/org/opalj/fpcf/analysis/InstantiabilityAnalysisTest.scala OPAL/fpa/src/test/scala/org/opalj/fpcf/analysis/LibraryLeakageAnalysisTest.scala OPAL/fpa/src/test/scala/org/opalj/fpcf/analysis/MethodvisibilityTest.scala OPAL/fpa/src/test/scala/org/opalj/fpcf/analysis/StaticMethodAccessibilityAnalysisTest.scala [Less]

fixed bug Signed-off-by: Michael Eichberg ... [More] OPAL/fpa/src/main/scala/org/opalj/fpa/InstantiabilityAnalysis.scala [Less]

improved the logging Signed-off-by: Michael Eichberg ... [More] OPAL/br/src/main/scala/org/opalj/br/analyses/AnalysisExecutor.scala OPAL/common/src/main/scala/org/opalj/fp/PropertyStore.scala OPAL/common/src/main/scala/org/opalj/log/ConsoleOPALLogger.scala OPAL/common/src/main/scala/org/opalj/log/GlobalLogContext.scala OPAL/common/src/main/scala/org/opalj/log/LogMessage.scala OPAL/common/src/main/scala/org/opalj/log/OPALLogger.scala OPAL/fpa/src/main/scala/org/opalj/fpa/EntryPointAnalysisDemo.scala OPAL/fpa/src/main/scala/org/opalj/fpa/InstantiabilityAnalysis.scala [Less]

fixed minor issues and renamed final vals in a way that they fit Scala naming conventions ... [More] OPAL/fpa/src/main/scala/org/opalj/fpa/EntryPointsAnalysis.scala OPAL/fpa/src/test/scala/org/opalj/fpa/FactoryMethodAnalysisTest.scala [Less]

renamed prefex Non to Not ... [More] OPAL/fpa/src/test/java/org/opalj/fpa/test/annotations/FactoryMethodKeys.java OPAL/fpa/src/test/java/org/opalj/fpa/test/annotations/FactoryMethodProperty.java OPAL/fpa/src/test/java/org/opalj/fpa/test/annotations/InstantiabilityKeys.java [Less]

fixed a bug where a class does count as instantiable over subclasses even if has only private constructors. ... [More] OPAL/fpa/src/main/scala/org/opalj/fpa/InstantiabilityAnalysis.scala [Less]

finally added the source of the factoryMethodTest.jar which is used to test the FactoryMethodAnalysis and the InstantiabilityAnalysis... added and update other tests as well ... [More] OPAL/fpa/src/test/resources/classfiles/entryPointTest.jar OPAL/fpa/src/test/resources/classfiles/factorymethodTest.jar OPAL/fpa/src/test/resources/sourcefiles/factoryMethodTest/FactoryAndInstantiable.java OPAL/fpa/src/test/resources/sourcefiles/factoryMethodTest/NativeFactoryMethod.java OPAL/fpa/src/test/resources/sourcefiles/factoryMethodTest/NoFactoryButInstantiable.java OPAL/fpa/src/test/resources/sourcefiles/factoryMethodTest/OnlyPrivateConstructors.java OPAL/fpa/src/test/resources/sourcefiles/factoryMethodTest/PackagePrivateAbstractClass.java OPAL/fpa/src/test/resources/sourcefiles/factoryMethodTest/PackageVisibleFactoryMethod.java OPAL/fpa/src/test/resources/sourcefiles/factoryMethodTest/PublicFactoryMethod.java OPAL/fpa/src/test/resources/sourcefiles/factoryMethodTest/PublicInterface.java OPAL/fpa/src/test/resources/sourcefiles/factoryMethodTest/SerializableClass.java OPAL/fpa/src/test/resources/sourcefiles/factoryMethodTest/TransFacoryMethod.java OPAL/fpa/src/test/resources/sourcefiles/libraryLeakage2/LeakFromInterface.java [Less]