Ich interessiere mich für den Aufbau von Andersens Zeigeranalyse für Java mit Soot, einem Compilerinfrastruktur-Framework. Im Folgenden sind die Papiere in diesem Bereich. Ich bin nicht in der Lage, einen geeigneten Ansatz zu identifizieren, um diese Analyse für Java zu starten und zu programmieren. Kann mir jemand dabei helfen?Andersens Zeigeranalyse mit Ruß
eine effiziente Aufnahme-Points Based-To-Analyse für Strictly typisierten Sprachen http://suif.stanford.edu/~jwhaley/papers/sas02.pdf
Programmanalyse und Spezialisierung für die Programmiersprache C (Original Andersens Analyse Thesis) http://www.cs.cornell.edu/courses/cs711/2005fa/papers/andersen-thesis94.pdf
Punkte-To für Java : Ein Allgemeiner Rahmen und ein empirischer Vergleich https://pp.info.uni-karlsruhe.de/uploads/publikationen/streckenbach00tr.pdf
Skalierung Java Points-To-Analyse Funken mit https://plg.uwaterloo.ca/~olhotak/pubs/sable-tr-2002-9.pdf
Punkte-to-Analyse für Java mit Anmerkungen versehene Constraints http://www.cs.rpi.edu/~milanova/docs/oopsla01.pdf
Danke,
Aber das Ziel ist es zu bauen. Den bereits bereitgestellten nicht zu verwenden. –