Missing Instructions on TAC for AllocationSites

[florian_kuebler]

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)

[Michael Eichberg]

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.

[Michael Eichberg]

fixes issue #95 - improved documentation of AllocationSitesKey.scala

→ <<cset d0d2d5bc5621>>

[Michael Eichberg]

Merge branch 'develop' of https://bitbucket.org/delors/opal into develop

• 'develop' of https://bitbucket.org/delors/opal: fixes issue #95 - improved documentation of AllocationSitesKey.scala

→ <<cset f290ba78e9e6>>

[Michael Eichberg]

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>>

[Michael Eichberg]

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>>

[Michael Eichberg]

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>>

[Michael Eichberg]

Merge branch 'develop' into feature/FixIssue#15

• develop: line endings corrected fixes issue #95 - improved documentation of AllocationSitesKey.scala improved the documentation

→ <<cset dc819bc7658a>>

[Michael Eichberg]

Removing milestone: 0.9.0-M1 (automated comment)

[Michael Eichberg]

Removing version: 0.9.0 (automated comment)