Skip to content

a bug of CHA CG builder #156

New issue
New issue
Open
Open
a bug of CHA CG builder#156
Assignees
jjppp
Labels
status: feedback-providedFeedback has been providedtype: bugA general bug
@FoggyDawn

Description

@FoggyDawn
FoggyDawn
opened on May 23, 2025

📝 Overall Description

in CHABuilder.java line 167, case SPECIAL, STATIC -> Set.of(callSite.getMethodRef().resolve());

This is different with PTA and wrong. SPECIAL is handled along with VIRTUAL or INTERFACE in PTA, and it has a base.
MethodRef.resolve() will often report exception, should use CallGraphs.resolveCallee().
And more over, some Static invoke cannot be resolved by MethodRef.resolve().

🎯 Expected Behavior

case STATIC -> {
JMethod callee = CallGraphs.resolveCallee(null, callSite);
if (callee!= null) yield Set.of(callee);
else yield Set.of();
}

🐛 Current Behavior

case SPECIAL, STATIC -> Set.of(callSite.getMethodRef().resolve());

🔄 Reproducible Example

aoi-2.8.1 in XCorpus

⚙️ Tai-e Arguments

optionsFile:
printHelp: false
appClassPath:

  • /home/byx/testSpace/javaprjs/aoi-2.8.1/bin
    mainClass: artofillusion.ArtOfIllusion
    inputClasses: []
    javaVersion: 5
    prependJVM: false
    allowPhantom: true
    worldBuilderClass: pascal.taie.frontend.soot.SootWorldBuilder
    outputDir: /home/byx/testSpace/javaprjs/aoi-2.8.1/cha-output
    preBuildIR: false
    worldCacheMode: false
    scope: APP
    nativeModel: true
    planFile:
    analyses:
    cg: algorithm:cha;dump:true;dump-methods:true;dump-call-edges:true;
    onlyGenPlan: false
    keepResult:
  • $KEEP-ALL
    classPath:
  • /home/byx/testSpace/javaprjs/lib/maven-artifact-2.0.jar
  • /home/byx/testSpace/javaprjs/lib/ant-launcher-1.6.5.jar
  • /home/byx/testSpace/javaprjs/lib/org.apache.servicemix.bundles.jetty-6.1.25_1.jar
  • /home/byx/testSpace/javaprjs/lib/bananas.jar
  • /home/byx/testSpace/javaprjs/lib/substance.jar
  • /home/byx/testSpace/javaprjs/lib/mail-1.3.1.jar
  • /home/byx/testSpace/javaprjs/lib/stamptool.jar
  • /home/byx/testSpace/javaprjs/lib/BCEL.jar
  • /home/byx/testSpace/javaprjs/lib/jsr305.jar
  • /home/byx/testSpace/javaprjs/lib/Buoy.jar
  • /home/byx/testSpace/javaprjs/lib/tinylaf.jar
  • /home/byx/testSpace/javaprjs/lib/jfreechart-common-1.0.0.jar
  • /home/byx/testSpace/javaprjs/lib/mx4j-remote.jar
  • /home/byx/testSpace/javaprjs/lib/kawa-1.9.1.jar
  • /home/byx/testSpace/javaprjs/lib/xbean.jar
  • /home/byx/testSpace/javaprjs/lib/log4j-1.2.15.jar
  • /home/byx/testSpace/javaprjs/lib/fife.common.jar
  • /home/byx/testSpace/javaprjs/lib/hibernate-3.2.3.ga.jar
  • /home/byx/testSpace/javaprjs/lib/commons-digester-1.5.jar
  • /home/byx/testSpace/javaprjs/lib/oro.jar
  • /home/byx/testSpace/javaprjs/lib/jogg-0.0.7.jar
  • /home/byx/testSpace/javaprjs/lib/com.springsource.com.lowagie.text-2.0.8.jar
  • /home/byx/testSpace/javaprjs/lib/mysql-connector-java-3.0.17-ga-bin.jar
  • /home/byx/testSpace/javaprjs/lib/iri-0.8-sources.jar
  • /home/byx/testSpace/javaprjs/lib/dsi.unimi.it-1.2.0.jar
  • /home/byx/testSpace/javaprjs/lib/jms-1.1.jar
  • /home/byx/testSpace/javaprjs/lib/cmgatejava120.jar
  • /home/byx/testSpace/javaprjs/lib/bcmail.jar
  • /home/byx/testSpace/javaprjs/lib/cojen-2.0.jar
  • /home/byx/testSpace/javaprjs/lib/ant.jar
  • /home/byx/testSpace/javaprjs/lib/spring-mock-1.2.6.jar
  • /home/byx/testSpace/javaprjs/lib/jdai.jar
  • /home/byx/testSpace/javaprjs/lib/helpgui-1.1b.jar
  • /home/byx/testSpace/javaprjs/lib/dwr.jar
  • /home/byx/testSpace/javaprjs/lib/lucene.jar
  • /home/byx/testSpace/javaprjs/lib/gwt-servlet.jar
  • /home/byx/testSpace/javaprjs/lib/selenium-java-2.0b1.jar
  • /home/byx/testSpace/javaprjs/lib/hibernate.jar
  • /home/byx/testSpace/javaprjs/lib/ant-contrib.jar
  • /home/byx/testSpace/javaprjs/lib/errors-taglib-1.1.jar
  • /home/byx/testSpace/javaprjs/lib/ecj-3.6.jar
  • /home/byx/testSpace/javaprjs/lib/javaswf-CVS-SNAPSHOT-1.jar
  • /home/byx/testSpace/javaprjs/lib/poi-scratchpad-2.0-RC1-20031102.jar
  • /home/byx/testSpace/javaprjs/lib/xml-apis-2.0.2.jar
  • /home/byx/testSpace/javaprjs/lib/itext-1.2.0.jar
  • /home/byx/testSpace/javaprjs/lib/hme.jar
  • /home/byx/testSpace/javaprjs/lib/svnant.jar
  • /home/byx/testSpace/javaprjs/lib/dps-sdk-2.0.0.jar
  • /home/byx/testSpace/javaprjs/lib/RText.jar
  • /home/byx/testSpace/javaprjs/lib/Octopus.jar
  • /home/byx/testSpace/javaprjs/lib/findbugsGUI.jar
  • /home/byx/testSpace/javaprjs/lib/JFlex.jar
  • /home/byx/testSpace/javaprjs/lib/csg-bytecode.jar
  • /home/byx/testSpace/javaprjs/lib/javax.servlet-3.0.jar
  • /home/byx/testSpace/javaprjs/lib/jfreechart.jar
  • /home/byx/testSpace/javaprjs/lib/com.springsource.org.apache.maven.ant-2.0.8.jar
  • /home/byx/testSpace/javaprjs/lib/stylebook-1.0-b3_xalan-2.jar
  • /home/byx/testSpace/javaprjs/lib/nanoxml.jar
  • /home/byx/testSpace/javaprjs/lib/poi-3.5-FINAL.jar
  • /home/byx/testSpace/javaprjs/lib/j2ee.jar
  • /home/byx/testSpace/javaprjs/lib/org.apache.commons.logging-1.1.1.jar
  • /home/byx/testSpace/javaprjs/lib/dynamo-enhancer.jar
  • /home/byx/testSpace/javaprjs/lib/java_cup.jar
  • /home/byx/testSpace/javaprjs/lib/ant_doxygen.jar
  • /home/byx/testSpace/javaprjs/lib/xfire-jsr181-api-1.0-M1.jar
  • /home/byx/testSpace/javaprjs/lib/commons-pool-1.2.jar
  • /home/byx/testSpace/javaprjs/lib/rs-0.1.jar
  • /home/byx/testSpace/javaprjs/lib/miglayout-4.0-swing.jar
  • /home/byx/testSpace/javaprjs/lib/ivatamasks-thirdparty-imageinfo-0.1.1.jar
  • /home/byx/testSpace/javaprjs/lib/geronimo-javamail_1.3.1_spec-1.0.jar
  • /home/byx/testSpace/javaprjs/lib/jzonic.jar
  • /home/byx/testSpace/javaprjs/lib/finalist-ant-1.3.jar
  • /home/byx/testSpace/javaprjs/lib/fop.jar
  • /home/byx/testSpace/javaprjs/lib/xalan.jar
  • /home/byx/testSpace/javaprjs/lib/jfreechart-1.0.6.jar
  • /home/byx/testSpace/javaprjs/lib/jclasslib.jar
  • /home/byx/testSpace/javaprjs/lib/widgets.jar
  • /home/byx/testSpace/javaprjs/lib/iri-0.8.jar
  • /home/byx/testSpace/javaprjs/lib/spring-web-2.5.6.jar
  • /home/byx/testSpace/javaprjs/lib/dom4j-1.6.1.jar
  • /home/byx/testSpace/javaprjs/lib/ivatamasks-mask-1.0-alpha1.jar
  • /home/byx/testSpace/javaprjs/lib/hibernate-entitymanager.jar
  • /home/byx/testSpace/javaprjs/lib/poi-2.0-RC1-20031102.jar
  • /home/byx/testSpace/javaprjs/lib/svnClientAdapter.jar
  • /home/byx/testSpace/javaprjs/lib/jFormatString.jar
  • /home/byx/testSpace/javaprjs/lib/TinyXML.jar
  • /home/byx/testSpace/javaprjs/lib/jgraph.jar
  • /home/byx/testSpace/javaprjs/lib/javamail-crypto-bouncycastle-smime.jar
  • /home/byx/testSpace/javaprjs/lib/jnlp.jar
  • /home/byx/testSpace/javaprjs/lib/rentEz.jar
  • /home/byx/testSpace/javaprjs/lib/classes.jar
  • /home/byx/testSpace/javaprjs/lib/pdf-transcoder.jar
  • /home/byx/testSpace/javaprjs/lib/findbugs.jar
  • /home/byx/testSpace/javaprjs/lib/org.apache.commons.beanutils.jar
  • /home/byx/testSpace/javaprjs/lib/displaytag-1.1.jar
  • /home/byx/testSpace/javaprjs/lib/commons-dbcp.jar
  • /home/byx/testSpace/javaprjs/lib/concurrent.jar
  • /home/byx/testSpace/javaprjs/lib/jakarta-commons-lang-2.1.jar
  • /home/byx/testSpace/javaprjs/lib/sunlabs_mock.jar
  • /home/byx/testSpace/javaprjs/lib/plexus-utils-1.5.5.jar
  • /home/byx/testSpace/javaprjs/lib/jta.jar
  • /home/byx/testSpace/javaprjs/lib/ivatamasks-webtheme-jar-1.0-alpha1.jar
  • /home/byx/testSpace/javaprjs/lib/wstx-lgpl-4.0pr1.jar
  • /home/byx/testSpace/javaprjs/lib/doccheck.jar
  • /home/byx/testSpace/javaprjs/lib/eclipse.jar
  • /home/byx/testSpace/javaprjs/lib/ivatamasks-build-0.6.2.jar
  • /home/byx/testSpace/javaprjs/lib/j3dcore.jar
  • /home/byx/testSpace/javaprjs/lib/javax.servlet.jar
  • /home/byx/testSpace/javaprjs/lib/xercesImpl.jar
  • /home/byx/testSpace/javaprjs/lib/javazoom.jar
  • /home/byx/testSpace/javaprjs/lib/derbynet.jar
  • /home/byx/testSpace/javaprjs/lib/com.springsource.org.hibernate-3.3.2.GA.jar
  • /home/byx/testSpace/javaprjs/lib/org.eclipse.swt.win32.win32.x86_3.7.1.v3738a.jar
  • /home/byx/testSpace/javaprjs/lib/ivatamasks-util-1.0-alpha1.jar
  • /home/byx/testSpace/javaprjs/lib/informa.jar
  • /home/byx/testSpace/javaprjs/lib/mm.mysql-2.0.14.jar
  • /home/byx/testSpace/javaprjs/lib/finalist-taglib-1.0.jar
  • /home/byx/testSpace/javaprjs/lib/pja.jar
  • /home/byx/testSpace/javaprjs/lib/swingsetthemes.jar
  • /home/byx/testSpace/javaprjs/lib/jbossws-spi-4.2.2.jar
  • /home/byx/testSpace/javaprjs/lib/AppleJavaExtensions.jar
  • /home/byx/testSpace/javaprjs/lib/jdt-compiler-3.1.1.jar
  • /home/byx/testSpace/javaprjs/lib/com.springsource.org.codehaus.groovy-1.6.5.jar
  • /home/byx/testSpace/javaprjs/lib/cos.jar
  • /home/byx/testSpace/javaprjs/lib/acegi-security-1.0.1.jar
  • /home/byx/testSpace/javaprjs/lib/ejb3-persistence.jar
  • /home/byx/testSpace/javaprjs/lib/webwork-2.1.6.jar
  • /home/byx/testSpace/javaprjs/lib/jbet3-R1.jar
  • /home/byx/testSpace/javaprjs/lib/GroboUtils-5-core.jar
  • /home/byx/testSpace/javaprjs/lib/ivatamasks-util-0.6.2.jar
  • /home/byx/testSpace/javaprjs/lib/jakarta-tablibs-standard-1.1.2.jar
  • /home/byx/testSpace/javaprjs/lib/imap.jar
  • /home/byx/testSpace/javaprjs/lib/jacob-1.14.3.jar
  • /home/byx/testSpace/javaprjs/lib/hibernate-3.1.2.jar
  • /home/byx/testSpace/javaprjs/lib/commons-dbcp-1.2.1.jar
  • /home/byx/testSpace/javaprjs/lib/jshortcut.jar
  • /home/byx/testSpace/javaprjs/lib/spring-context.jar
  • /home/byx/testSpace/javaprjs/lib/quaqua.jar
  • /home/byx/testSpace/javaprjs/lib/groovy-1.0-jsr-01-ivata.jar
  • /home/byx/testSpace/javaprjs/lib/ilf-gpl.jar
  • /home/byx/testSpace/javaprjs/lib/openide-lookup.jar
  • /home/byx/testSpace/javaprjs/lib/hibernate-annotations.jar
  • /home/byx/testSpace/javaprjs/lib/gnujaxp.jar
  • /home/byx/testSpace/javaprjs/lib/dawn-1.1.1.jar
  • /home/byx/testSpace/javaprjs/lib/nanocontainer-1.0-RC-3.jar
  • /home/byx/testSpace/javaprjs/lib/spring-support.jar
  • /home/byx/testSpace/javaprjs/lib/jiapi.jar
  • /home/byx/testSpace/javaprjs/lib/spring-dao.jar
  • /home/byx/testSpace/javaprjs/lib/spice-jndikit-1.2.jar
  • /home/byx/testSpace/javaprjs/lib/WinService.jar
  • /home/byx/testSpace/javaprjs/lib/freemarker.jar
  • /home/byx/testSpace/javaprjs/lib/jasperreports-1.2.0.jar
  • /home/byx/testSpace/javaprjs/lib/quartz-1.5.2.jar
  • /home/byx/testSpace/javaprjs/lib/ivatamasks-web-0.6.2.jar
  • /home/byx/testSpace/javaprjs/lib/myvietnam.jar
  • /home/byx/testSpace/javaprjs/lib/jampal.jar
  • /home/byx/testSpace/javaprjs/lib/napkinlaf.jar
  • /home/byx/testSpace/javaprjs/lib/SMiley.jar
  • /home/byx/testSpace/javaprjs/lib/openide-loaders.jar
  • /home/byx/testSpace/javaprjs/lib/commons-email-1.0.jar
  • /home/byx/testSpace/javaprjs/lib/generic-exceptions-struts-1.2.jar
  • /home/byx/testSpace/javaprjs/lib/javassist-2.6.ga.jar
  • /home/byx/testSpace/javaprjs/lib/bcprov-1.45.jar
  • /home/byx/testSpace/javaprjs/lib/jakarta-oro-2.0.6.jar
  • /home/byx/testSpace/javaprjs/lib/yahoo_search.jar
  • /home/byx/testSpace/javaprjs/lib/mbox.jar
  • /home/byx/testSpace/javaprjs/lib/xdoclet-apache-module-1.2.2.jar
  • /home/byx/testSpace/javaprjs/lib/dnsjava-1.6.2.jar
  • /home/byx/testSpace/javaprjs/lib/cglib.jar
  • /home/byx/testSpace/javaprjs/lib/commons-daemon.jar
  • /home/byx/testSpace/javaprjs/lib/derby.jar
  • /home/byx/testSpace/javaprjs/lib/resolver.jar
  • /home/byx/testSpace/javaprjs/lib/syntax.jar
  • /home/byx/testSpace/javaprjs/lib/swtgraphics2d.jar
  • /home/byx/testSpace/javaprjs/lib/activation-1.0.2.jar
  • /home/byx/testSpace/javaprjs/lib/xdoclet-spring-module-1.2.2.jar
  • /home/byx/testSpace/javaprjs/lib/htmlparser.jar
  • /home/byx/testSpace/javaprjs/lib/mail.jar
  • /home/byx/testSpace/javaprjs/lib/spring-hibernate.jar
  • /home/byx/testSpace/javaprjs/lib/org.osgi.foundation-1.2.0.jar
  • /home/byx/testSpace/javaprjs/lib/jxl.jar
  • /home/byx/testSpace/javaprjs/lib/org-netbeans-modules-editor-fold.jar
  • /home/byx/testSpace/javaprjs/lib/jta1.0.1.jar
  • /home/byx/testSpace/javaprjs/lib/policy-4.2.2.GA.jar
  • /home/byx/testSpace/javaprjs/lib/activation.jar
  • /home/byx/testSpace/javaprjs/lib/standard-1.0.6.jar
  • /home/byx/testSpace/javaprjs/lib/xjavadoc-1.5-snapshot050611.jar
  • /home/byx/testSpace/javaprjs/lib/ivatamasks-masks-0.1.jar
  • /home/byx/testSpace/javaprjs/lib/javax.jms_1.1.0.jar
  • /home/byx/testSpace/javaprjs/lib/ejb3-persistence-3.1beta8.jar
  • /home/byx/testSpace/javaprjs/lib/com.springsource.org.mortbay.jetty.server-6.1.9.jar
  • /home/byx/testSpace/javaprjs/lib/jta-1.0.1.jar
  • /home/byx/testSpace/javaprjs/lib/java-cup.jar
  • /home/byx/testSpace/javaprjs/lib/sequencegenerator-ejb-1.0.jar
  • /home/byx/testSpace/javaprjs/lib/sandler.jar
  • /home/byx/testSpace/javaprjs/lib/hme-host-sample.jar
  • /home/byx/testSpace/javaprjs/lib/runtime.jar
  • /home/byx/testSpace/javaprjs/lib/avro-tools-1.3.3.jar
  • /home/byx/testSpace/javaprjs/lib/org.springframework.web.servlet-3.1.0.M2.jar
  • /home/byx/testSpace/javaprjs/lib/acegi-security-1.0.0-RC2.jar
  • /home/byx/testSpace/javaprjs/lib/nanocontainer-1.0-RC-2.jar
  • /home/byx/testSpace/javaprjs/lib/xerces_2_5_0.jar
  • /home/byx/testSpace/javaprjs/lib/xml-apis-ext.jar
  • /home/byx/testSpace/javaprjs/lib/org-netbeans-modules-editor-util.jar
  • /home/byx/testSpace/javaprjs/lib/mp3dings.jar
  • /home/byx/testSpace/javaprjs/lib/wayback-core-1.2.0.jar
  • /home/byx/testSpace/javaprjs/lib/servlet-api-5.5.15.jar
  • /home/byx/testSpace/javaprjs/lib/jboss-xml-binding-1.0.0.SP1.jar
  • /home/byx/testSpace/javaprjs/lib/xalan2jdoc.jar
  • /home/byx/testSpace/javaprjs/lib/servlet-2.3.jar
  • /home/byx/testSpace/javaprjs/lib/nekohtml.jar
  • /home/byx/testSpace/javaprjs/lib/dnsjava-2.0.5.jar
  • /home/byx/testSpace/javaprjs/lib/simpleuml-1.0.1.jar
  • /home/byx/testSpace/javaprjs/lib/clientsession-0.2.jar
  • /home/byx/testSpace/javaprjs/lib/mx4j.jar
  • /home/byx/testSpace/javaprjs/lib/je-3.2.74.jar
  • /home/byx/testSpace/javaprjs/lib/hibernate-2.1.7c.jar
  • /home/byx/testSpace/javaprjs/lib/OctopusGenerator.jar
  • /home/byx/testSpace/javaprjs/lib/derbytools.jar
  • /home/byx/testSpace/javaprjs/lib/PngEncoder.jar
  • /home/byx/testSpace/javaprjs/lib/versioncheck.jar
  • /home/byx/testSpace/javaprjs/lib/jakarta-regexp-1.3.jar
  • /home/byx/testSpace/javaprjs/lib/coreplugin.jar
  • /home/byx/testSpace/javaprjs/lib/Buoyx.jar
  • /home/byx/testSpace/javaprjs/lib/toniclf.jar
  • /home/byx/testSpace/javaprjs/lib/httpclient-4.0.1-tests.jar
  • /home/byx/testSpace/javaprjs/lib/ivatamasks-webtheme-jar-0.6.2.jar
  • /home/byx/testSpace/javaprjs/lib/jcom-2.2.4.jar
  • /home/byx/testSpace/javaprjs/lib/castor-1.1.2.1-jdo.jar
  • /home/byx/testSpace/javaprjs/lib/jargs.jar
  • /home/byx/testSpace/javaprjs/lib/l2fprod-common-all.jar
  • /home/byx/testSpace/javaprjs/lib/jax.jar
  • /home/byx/testSpace/javaprjs/lib/hibernate-3.0.5.jar
  • /home/byx/testSpace/javaprjs/lib/jndi-1.2.1.jar
  • /home/byx/testSpace/javaprjs/lib/hibernate-annotations-3.0beta1.jar
  • /home/byx/testSpace/javaprjs/lib/mx4j-tools.jar
  • /home/byx/testSpace/javaprjs/lib/spring-remoting.jar
  • /home/byx/testSpace/javaprjs/lib/hibernate-commons-annotations.jar
  • /home/byx/testSpace/javaprjs/lib/pop3.jar
  • /home/byx/testSpace/javaprjs/lib/spring-context-2.5.6.jar
  • /home/byx/testSpace/javaprjs/lib/xml-apis.jar
  • /home/byx/testSpace/javaprjs/lib/tacos4-beta-1-lib.jar
  • /home/byx/testSpace/javaprjs/lib/javax.jms.jar
  • /home/byx/testSpace/javaprjs/lib/andromda.jar
  • /home/byx/testSpace/javaprjs/lib/xom-1.2.jar
  • /home/byx/testSpace/javaprjs/lib/JLex.jar
  • /home/byx/testSpace/javaprjs/lib/rsyntaxtextarea.jar
  • /home/byx/testSpace/javaprjs/lib/ivatamasks-mask-0.6.2.jar
  • /home/byx/testSpace/javaprjs/lib/dynamo-rt.jar
  • /home/byx/testSpace/javaprjs/lib/dnsjava-2.0.3.jar
  • /home/byx/testSpace/javaprjs/lib/jawin.jar
  • /home/byx/testSpace/javaprjs/lib/commons-collections.jar
  • /home/byx/testSpace/javaprjs/lib/picocontainer-1.2-RC-1.jar
  • /home/byx/testSpace/javaprjs/lib/javaOTP.jar
  • /home/byx/testSpace/javaprjs/lib/fw.jar
  • /home/byx/testSpace/javaprjs/lib/MHS.jar
  • /home/byx/testSpace/javaprjs/lib/xfire-all-1.0.jar
  • /home/byx/testSpace/javaprjs/lib/jmi.jar
  • /home/byx/testSpace/javaprjs/lib/kunststoff.jar
  • /home/byx/testSpace/javaprjs/lib/ant-jmeter-2.0.3.jar
  • /home/byx/testSpace/javaprjs/lib/jrcs-diff.jar
  • /home/byx/testSpace/javaprjs/lib/jakarta-taglibs-jstl-1.1.2.jar
  • /home/byx/testSpace/javaprjs/lib/TabPanel.jar
  • /home/byx/testSpace/javaprjs/lib/svnjavahl.jar
  • /home/byx/testSpace/javaprjs/lib/smalltext-0.1.4.jar
  • /home/byx/testSpace/javaprjs/lib/bcpg.jar
  • /home/byx/testSpace/javaprjs/lib/hsqldb.jar
  • /home/byx/testSpace/javaprjs/lib/jasper-5.5.17.v201101211617.jar
  • /home/byx/testSpace/javaprjs/lib/bsf.jar
  • /home/byx/testSpace/javaprjs/lib/yuicompressor.jar
  • /home/byx/testSpace/javaprjs/lib/com.springsource.org.apache.tools.ant-1.8.1.jar
  • /home/byx/testSpace/javaprjs/lib/svnkit.jar
  • /home/byx/testSpace/javaprjs/lib/kunststoff-2.0.1.jar
  • /home/byx/testSpace/javaprjs/lib/hibernate-annotations-3.1beta8.jar
  • /home/byx/testSpace/javaprjs/lib/spring-orm.jar
  • /home/byx/testSpace/javaprjs/lib/jboss-j2se.jar
  • /home/byx/testSpace/javaprjs/lib/apache-logging-log4j.jar
  • /home/byx/testSpace/javaprjs/lib/regexp.jar
  • /home/byx/testSpace/javaprjs/lib/generic-exceptions-1.0.jar
  • /home/byx/testSpace/javaprjs/lib/js.jar
  • /home/byx/testSpace/javaprjs/lib/com.springsource.org.mortbay.util-6.1.9.jar
  • /home/byx/testSpace/javaprjs/lib/TGGraphLayout.jar
  • /home/byx/testSpace/javaprjs/lib/javax.ejb.jar
  • /home/byx/testSpace/javaprjs/lib/Ostermiller.jar
  • /home/byx/testSpace/javaprjs/lib/jboss-logging.jar
  • /home/byx/testSpace/javaprjs/lib/jdbc-2.0.jar
  • /home/byx/testSpace/javaprjs/lib/jsr173_1.0_api.jar
  • /home/byx/testSpace/javaprjs/lib/servlet.jar
  • /home/byx/testSpace/javaprjs/lib/javax_mail.jar
  • /home/byx/testSpace/javaprjs/lib/wrapper.jar
  • /home/byx/testSpace/javaprjs/lib/xalan2jtaglet.jar
  • /home/byx/testSpace/javaprjs/lib/ivatamasks-web-1.0-alpha1.jar
  • /home/byx/testSpace/javaprjs/lib/jtidy-r872-jdk15.jar
  • /home/byx/testSpace/javaprjs/lib/commons-logging.jar
  • /home/byx/testSpace/javaprjs/lib/JimiProClasses.jar
  • /home/byx/testSpace/javaprjs/lib/commonj-twm.jar
  • /home/byx/testSpace/javaprjs/lib/mediamanager.jar
  • /home/byx/testSpace/javaprjs/lib/jboss-saaj-4.2.2.jar
  • /home/byx/testSpace/javaprjs/lib/nimrodlf.jar
  • /home/byx/testSpace/javaprjs/lib/forms.jar
  • /home/byx/testSpace/javaprjs/lib/bcel.jar
  • /home/byx/testSpace/javaprjs/lib/sequencegenerator-ejb-1.0-sunone-client.jar
  • /home/byx/testSpace/javaprjs/lib/javax.mail-1.3.3.01.jar
  • /home/byx/testSpace/javaprjs/lib/xalan-2.6.0.jar
  • /home/byx/testSpace/javaprjs/lib/aspirin.jar
  • /home/byx/testSpace/javaprjs/lib/jboss.jar
  • /home/byx/testSpace/javaprjs/lib/org-netbeans-modules-editor.jar
  • /home/byx/testSpace/javaprjs/lib/dom4j-1.5-beta-2.jar
  • /home/byx/testSpace/javaprjs/lib/hibernate-c3p0-3.3.1.GA.jar
  • /home/byx/testSpace/javaprjs/lib/jbossws-client-jbossws-2.0.jar
  • /home/byx/testSpace/javaprjs/lib/javax.persistence.jar
  • /home/byx/testSpace/javaprjs/lib/dbunit.jar
  • /home/byx/testSpace/javaprjs/lib/org.eclipse.swt_3.7.1.v3738a.jar
  • /home/byx/testSpace/javaprjs/lib/ehcache-1.1.jar
  • /home/byx/testSpace/javaprjs/lib/ivatamasks-mask-0.6.jar
  • /home/byx/testSpace/javaprjs/lib/sbbi-upnplib-1.0.2.jar
  • /home/byx/testSpace/javaprjs/lib/json.jar
  • /home/byx/testSpace/javaprjs/lib/jhelpaction.jar
  • /home/byx/testSpace/javaprjs/lib/saaj.jar
  • /home/byx/testSpace/javaprjs/lib/jbossws-common-jbossws-2.0.jar
  • /home/byx/testSpace/javaprjs/lib/jdbc2_0-stdext.jar
  • /home/byx/testSpace/javaprjs/lib/smack.jar
  • /home/byx/testSpace/javaprjs/lib/apache-commons-lang.jar
  • /home/byx/testSpace/javaprjs/lib/stringtemplate.jar
  • /home/byx/testSpace/javaprjs/lib/org-netbeans-modules-editor-lib.jar
  • /home/byx/testSpace/javaprjs/lib/ant-1.6.5.jar
  • /home/byx/testSpace/javaprjs/lib/hibernate-tools-3.0.jar
  • /home/byx/testSpace/javaprjs/lib/asm-attrs.jar
  • /home/byx/testSpace/javaprjs/lib/ivatamasks-mask-1.0.jar
  • /home/byx/testSpace/javaprjs/lib/mailapi_1_3_1.jar
  • /home/byx/testSpace/javaprjs/lib/jboss-system.jar
  • /home/byx/testSpace/javaprjs/lib/statementexecutor-1.1.jar
  • /home/byx/testSpace/javaprjs/lib/commons-httpclient-2.0-alpha2.jar
  • /home/byx/testSpace/javaprjs/lib/excalibur-datasource-1.0.jar
  • /home/byx/testSpace/javaprjs/lib/mg4j-2.0.1.jar
  • /home/byx/testSpace/javaprjs/lib/smtp.jar
  • /home/byx/testSpace/javaprjs/lib/jcommon.jar
  • /home/byx/testSpace/javaprjs/lib/cortado-0.6.0.jar
  • /home/byx/testSpace/javaprjs/lib/wsdl4j-1.2.jar
  • /home/byx/testSpace/javaprjs/lib/spring.jar
  • /home/byx/testSpace/javaprjs/lib/uninstaller.jar
  • /home/byx/testSpace/javaprjs/lib/libidn-0.5.9.jar
  • /home/byx/testSpace/javaprjs/lib/xsltc.jar
  • /home/byx/testSpace/javaprjs/lib/js_build_tools.jar
  • /home/byx/testSpace/javaprjs/lib/j3dutils.jar
  • /home/byx/testSpace/javaprjs/lib/spring-web.jar
  • /home/byx/testSpace/javaprjs/lib/xmlutil.jar
  • /home/byx/testSpace/javaprjs/lib/lcrypto-jdk15.jar
  • /home/byx/testSpace/javaprjs/lib/ibmjsse.jar
  • /home/byx/testSpace/javaprjs/lib/ivatamasks-masks-0.1.1.jar
  • /home/byx/testSpace/javaprjs/lib/antlr.jar
  • /home/byx/testSpace/javaprjs/lib/browserlauncher.jar
  • /home/byx/testSpace/javaprjs/lib/apache-xml-xalan.jar
  • /home/byx/testSpace/javaprjs/lib/cornerstone.jar
  • /home/byx/testSpace/javaprjs/lib/openide.jar
  • /home/byx/testSpace/javaprjs/lib/csvjdbc.jar
  • /home/byx/testSpace/javaprjs/lib/packageManager.jar
  • /home/byx/testSpace/javaprjs/lib/bcprov.jar
  • /home/byx/testSpace/javaprjs/lib/javamail-crypto-bouncycastle-openpgp.jar
  • /home/byx/testSpace/javaprjs/lib/hibernate3.jar
  • /home/byx/testSpace/javaprjs/lib/crimson-1.1.3.jar
  • /home/byx/testSpace/javaprjs/lib/cobertura-1.9.jar
  • /home/byx/testSpace/javaprjs/lib/log4j.jar
  • /home/byx/testSpace/javaprjs/lib/asm.jar
  • /home/byx/testSpace/javaprjs/lib/aheritrix-1.14.1.jar
  • /home/byx/testSpace/javaprjs/lib/standard.jar
  • /home/byx/testSpace/javaprjs/lib/javax.servlet.jsp.jar
  • /home/byx/testSpace/javaprjs/lib/shiftone-arbor.jar
  • /home/byx/testSpace/javaprjs/lib/java_30.jar
  • /home/byx/testSpace/javaprjs/lib/autocomplete.jar
  • /home/byx/testSpace/javaprjs/lib/mailapi.jar
  • /home/byx/testSpace/javaprjs/lib/jython.jar
  • /home/byx/testSpace/javaprjs/lib/acegi-security-tiger-1.0.0-RC2.jar
  • /home/byx/testSpace/javaprjs/lib/remoteExperimentServer.jar
  • /home/byx/testSpace/javaprjs/lib/spring-context-support.jar
  • /home/byx/projects/Tai-e/java-benchmarks/JREs/jre1.5/jce.jar
  • /home/byx/projects/Tai-e/java-benchmarks/JREs/jre1.5/jsse.jar
  • /home/byx/projects/Tai-e/java-benchmarks/JREs/jre1.5/rt.jar

📜 Tai-e Log

🔍 Click here to see Tai-e Log 
{{The content of 'output/tai-e.log' file}}

ℹ️ Additional Information

changed to this :
case INTERFACE, VIRTUAL, SPECIAL -> ......
and
case STATIC -> {
JMethod callee = CallGraphs.resolveCallee(null, callSite);
if (callee!= null) yield Set.of(callee);
else yield Set.of();
}
and got it right.

Notice !!! some Static invoke cannot be resolved by MethodRef.resolve().

Metadata

Metadata

Assignees

Labels

status: feedback-providedFeedback has been providedtype: bugA general bug

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions