Missing Instructions on TAC for AllocationSites

Issue #95 resolved
florian_kuebler
created an issue

When iterating over the AllocationSite objects in the PropertyStore, there are AllocationSites with a PC, where no instruction in the TACode has this PC.

I found this on the rt.jar via:

case AllocationSite(m, pc) 
                val TACode(code, _, _, _) = project.get(DefaultTACAIKey)(m)
                val index = code.indexWhere(stmt  stmt.pc == pc)

Comments (10)

  1. Michael Eichberg repo owner

    Your finding is correct, but this is very, very unlikely a bug; I will add some Documentation to AllocationSite which will explain this behavior. If - after reading the updated documentation (which I will write next) - you are still experiencing issue, please let know.

  2. Michael Eichberg repo owner

    Merge branch 'develop' into feature/Hermes

    • develop: line endings corrected fixes issue #95 - improved documentation of AllocationSitesKey.scala improved the documentation moved FormalParameters to BR project; changed the origin information; added tests Adjusted comments to 100 character width Fixed name in comments (copy&paste mistake) Added a representation of formal parameters including a key to collect all formal parameters of all methods with a body.

    → <<cset 7194de393eca>>

  3. Michael Eichberg repo owner

    Merge branch 'develop' into feature/Scala2.12.X

    • develop: line endings corrected fixes issue #95 - improved documentation of AllocationSitesKey.scala improved the documentation moved FormalParameters to BR project; changed the origin information; added tests Adjusted comments to 100 character width Fixed name in comments (copy&paste mistake) Added a representation of formal parameters including a key to collect all formal parameters of all methods with a body. fixes issue #92 added documentation Added documentation and removed lazy modifier of project added -help parameter and a further note regarding the default behavior added a possibility to omnit the filter; added a possibility to just write out the body (fixes issue: #89) the class name is optional (again) (fixes issue #91) added missing types, improved formatting & documentation added a possibility to add initialization information for project keys to a project Print method name for failed tests improved allocation site doc Minor change to AbstractFixpointAnalysisTest to make it more flexible

    Conflicts:

    OPAL/br/src/main/scala/org/opalj/br/analyses/OneStepAnalysis.scala

    → <<cset bf0384cfce8a>>

  4. Michael Eichberg repo owner

    Merge branch 'develop' into feature/IDL2.0

    • develop: (25 commits) line endings corrected fixes issue #95 - improved documentation of AllocationSitesKey.scala improved the documentation moved FormalParameters to BR project; changed the origin information; added tests Adjusted comments to 100 character width Fixed name in comments (copy&paste mistake) Added a representation of formal parameters including a key to collect all formal parameters of all methods with a body. fixes issue #92 added documentation Added documentation and removed lazy modifier of project added -help parameter and a further note regarding the default behavior added a possibility to omnit the filter; added a possibility to just write out the body (fixes issue: #89) the class name is optional (again) (fixes issue #91) added missing types, improved formatting & documentation added a possibility to add initialization information for project keys to a project Print method name for failed tests improved allocation site doc minor formatting and documentation updates fixed typo in documentation fixed line number ...

    → <<cset 0f418bc886b6>>

  5. Log in to comment