opal-framework

0La chaleur

1Répondre

Je développe actuellement une analyse statique du code Java en utilisant le cadre OPAL. Je veux analyser la méthode Java suivante: private void indirectCaller2b(double d, Object o1, Object o2) {

0La chaleur

1Répondre

Travailler avec DomainValues précis/imprécis dans l'interprétation abstraite est OPAL

Dans mon OPAL-analyse, je crée des valeurs de domaine de la manière suivante: domain.TypedValue(org.opalj.ai.parameterToValueIndex( caller.isStatic, caller.descriptor, index), typeApproximation.up

0La chaleur

1Répondre

OPAL-En ce qui concerne Finding Calledges des méthodes définies dans la classe abstraite en utilisant l'algorithme CHA

est ici une question liée à l'algorithme de construction du graphe d'appel pour bytecode Java en utilisant CHA. Comme il n'y a pas d'implémentation de la méthode concrète des méthodes dans des classes

0La chaleur

1Répondre

OPAL: Création manuelle d'une méthode annotée

dans le cadre OPAL, est-il possible de créer manuellement une méthode annotée? J'ai actuellement le code suivant: Method(0, "signaturePolymorphicMethod", MethodDescriptor(ObjectType("java/lang/O

0La chaleur

1Répondre

OPAL-Comment construire du code dans Docker dans une machine locale (erreur de compilation)?

Je code d'accès dans Docker ($ docker pull mreif/fse2016: évaluation), le code a pu être compilé et exécuté sans erreurs dans le serveur distant. Alors que je le télécharger sur la machine locale, je

0La chaleur

1Répondre

OPAL-Comment configurer les propriétés du projet

Alors que je suis analyse en cours d'exécution (eg.CHADemo dans le code source de OPAL), je reçois toujours d'avertissement comme [warn][OPAL] the property org.opalj.threads.CPUBoundTasks is unspecifi

0La chaleur

1Répondre

"findMethods" ne retourne pas les résultats attendus

J'essaie d'implémenter une analyse (étend DefaultOneStepAnalysis) pour construire un graphe d'appel dans les algorithmes CHA. Il y a trois parties de mon code: 1) method "doAnalyze" to return the "Bas

0La chaleur

1Répondre

OPAL: Pourquoi SingleOriginReference ne peut plus être trouvé après l'externalisation du code dans une méthode?

Je développe une analyse statique de Java Bytecode en utilisant le framework OPAL. J'ai actuellement besoin de changer la structure du code, pour ajouter une fonctionnalité. Cette origine dans une gra