How to resolve Exception "org.xmlpull.v1.XmlPullParserFactory"

[Saeed Iqbal KhattaK]

Respected Fellows,

i am using XmlPullParserFactory in my project, and i have a file kxml2-2.3.0.jar to using this file. 

When i create new instance of the "XmlPullParserFactory" its show me some exceptions......

XmlPullParserFactory factory = XmlPullParserFactory.newInstance();

When i call the above line in my program its show me the below errors........

[SEVERE] JPF exception, terminating: org.xmlpull.v1.XmlPullParserFactory

---------------------- JPF error stack trace ---------------------

gov.nasa.jpf.jvm.NoClassInfoException: org.xmlpull.v1.XmlPullParserFactory

at gov.nasa.jpf.jvm.ClassInfo.loadClass(ClassInfo.java:1203)

at gov.nasa.jpf.jvm.ClassInfo.getResolvedClassInfo(ClassInfo.java:1196)

at gov.nasa.jpf.jvm.bytecode.INVOKESTATIC.getClassInfo(INVOKESTATIC.java:46)

at gov.nasa.jpf.jvm.bytecode.INVOKESTATIC.execute(INVOKESTATIC.java:86)

at gov.nasa.jpf.jvm.ThreadInfo.executeInstruction(ThreadInfo.java:2223)

at gov.nasa.jpf.jvm.ThreadInfo.executeTransition(ThreadInfo.java:2175)

at gov.nasa.jpf.jvm.SystemState.executeNextTransition(SystemState.java:712)

at gov.nasa.jpf.jvm.JVM.forward(JVM.java:1791)

at gov.nasa.jpf.search.Search.forward(Search.java:533)

at gov.nasa.jpf.search.DFSearch.search(DFSearch.java:78)

at gov.nasa.jpf.JPF.run(JPF.java:618)

at gov.nasa.jpf.JPF.start(JPF.java:190)

at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)

at sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)

at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)

at java.lang.reflect.Method.invoke(Unknown Source)

at gov.nasa.jpf.tool.Run.call(Run.java:76)

at gov.nasa.jpf.tool.RunJPF.main(RunJPF.java:100)

---------------------- JPF error stack trace ---------------------

gov.nasa.jpf.jvm.NoClassInfoException: org.xmlpull.v1.XmlPullParserFactory

at gov.nasa.jpf.jvm.ClassInfo.loadClass(ClassInfo.java:1203)

at gov.nasa.jpf.jvm.ClassInfo.getResolvedClassInfo(ClassInfo.java:1196)

at gov.nasa.jpf.jvm.bytecode.INVOKESTATIC.getClassInfo(INVOKESTATIC.java:46)

at gov.nasa.jpf.jvm.bytecode.INVOKESTATIC.execute(INVOKESTATIC.java:86)

at gov.nasa.jpf.jvm.ThreadInfo.executeInstruction(ThreadInfo.java:2223)

at gov.nasa.jpf.jvm.ThreadInfo.executeTransition(ThreadInfo.java:2175)

at gov.nasa.jpf.jvm.SystemState.executeNextTransition(SystemState.java:712)

at gov.nasa.jpf.jvm.JVM.forward(JVM.java:1791)

at gov.nasa.jpf.search.Search.forward(Search.java:533)

at gov.nasa.jpf.search.DFSearch.search(DFSearch.java:78)

at gov.nasa.jpf.JPF.run(JPF.java:618)

at gov.nasa.jpf.JPF.start(JPF.java:190)

at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)

at sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)

at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)

at java.lang.reflect.Method.invoke(Unknown Source)

at gov.nasa.jpf.tool.Run.call(Run.java:76)

at gov.nasa.jpf.tool.RunJPF.main(RunJPF.java:100)

Now what can i do..... I have already build my jpf.properties and build.xml

In jpf.properties, i have already written the below command

jpf-core.native_classpath=\

${jpf-core}/build/kxml2-2.3.0.jar

But it show me again the above errors...

Help me..

Best Regards.

Saeed Iqbal

[Peter Mehlitz]

JPF needs to find your org.xmlpull.v1.XmlPullParserFactory, not the host VM. Your jar needs to be in the 'classpath' when you run JPF, not the 'native_classpath'.

Do not set/change any jpf-core.<path> settings! Do this either from your application property file (*.jpf), or the jpf.properties of your SUT

You need to understand JPF configuration, this is documented on http://babelfish.arc.nasa.gov/trac/jpf/wiki/user/config and http://babelfish.arc.nasa.gov/trac/jpf/raw-attachment/wiki/presentations/start/ASE11-tutorial.key (slides 22pp)

-- Peter

On Apr 17, 2012, at 10:50 PM, Saeed Iqbal KhattaK wrote:

> Respected Fellows,
>
> i am using XmlPullParserFactory in my project, and i have a file kxml2-2.3.0.jar to using this file.
> When i create new instance of the "XmlPullParserFactory" its show me some exceptions......
>
> XmlPullParserFactory factory = XmlPullParserFactory.newInstance();
>
> When i call the above line in my program its show me the below errors........
>
> [SEVERE] JPF exception, terminating: org.xmlpull.v1.XmlPullParserFactory
> ---------------------- JPF error stack trace ---------------------
> gov.nasa.jpf.jvm.NoClassInfoException: org.xmlpull.v1.XmlPullParserFactory
> at gov.nasa.jpf.jvm.ClassInfo.loadClass(ClassInfo.java:1203)
> at gov.nasa.jpf.jvm.ClassInfo.getResolvedClassInfo(ClassInfo.java:1196)
> at gov.nasa.jpf.jvm.bytecode.INVOKESTATIC.getClassInfo(INVOKESTATIC.java:46)
> at gov.nasa.jpf.jvm.bytecode.INVOKESTATIC.execute(INVOKESTATIC.java:86)
> at gov.nasa.jpf.jvm.ThreadInfo.executeInstruction(ThreadInfo.java:2223)

> ...

[Saeed Iqbal KhattaK]

Respected Sir,

apex-jpf = ${config_path}
apex-jpf.classpath=\
${apex-jpf}\home\saeed\FAST\apex-jpf\apex-jpf\referenced\kxml2-2.3.0.jar

i write the above code in my project jpf.properties.

but it still not working, again call the same exception....

[SEVERE] JPF exception, terminating: org.xmlpull.v1.XmlPullParserFactory
---------------------- JPF error stack trace ---------------------
gov.nasa.jpf.jvm.NoClassInfoException: org.xmlpull.v1.XmlPullParserFactory

    at gov.nasa.jpf.jvm.ClassInfo.loadClass(ClassInfo.java:1214)
    at gov.nasa.jpf.jvm.ClassInfo.getResolvedClassInfo(ClassInfo.java:1207)

    at gov.nasa.jpf.jvm.bytecode.INVOKESTATIC.getClassInfo(INVOKESTATIC.java:46)
    at gov.nasa.jpf.jvm.bytecode.INVOKESTATIC.execute(INVOKESTATIC.java:86)
    at gov.nasa.jpf.jvm.ThreadInfo.executeInstruction(ThreadInfo.java:2223)
    at gov.nasa.jpf.jvm.ThreadInfo.executeTransition(ThreadInfo.java:2175)
    at gov.nasa.jpf.jvm.SystemState.executeNextTransition(SystemState.java:712)

    at gov.nasa.jpf.jvm.JVM.forward(JVM.java:1794)

    at gov.nasa.jpf.search.Search.forward(Search.java:533)
    at gov.nasa.jpf.search.DFSearch.search(DFSearch.java:78)
    at gov.nasa.jpf.JPF.run(JPF.java:618)
    at gov.nasa.jpf.JPF.start(JPF.java:190)
    at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)

    at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:57)
    at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
    at java.lang.reflect.Method.invoke(Method.java:616)

    at gov.nasa.jpf.tool.Run.call(Run.java:76)
    at gov.nasa.jpf.tool.RunJPF.main(RunJPF.java:100)
---------------------- JPF error stack trace ---------------------
gov.nasa.jpf.jvm.NoClassInfoException: org.xmlpull.v1.XmlPullParserFactory

    at gov.nasa.jpf.jvm.ClassInfo.loadClass(ClassInfo.java:1214)
    at gov.nasa.jpf.jvm.ClassInfo.getResolvedClassInfo(ClassInfo.java:1207)

    at gov.nasa.jpf.jvm.bytecode.INVOKESTATIC.getClassInfo(INVOKESTATIC.java:46)
    at gov.nasa.jpf.jvm.bytecode.INVOKESTATIC.execute(INVOKESTATIC.java:86)
    at gov.nasa.jpf.jvm.ThreadInfo.executeInstruction(ThreadInfo.java:2223)
    at gov.nasa.jpf.jvm.ThreadInfo.executeTransition(ThreadInfo.java:2175)
    at gov.nasa.jpf.jvm.SystemState.executeNextTransition(SystemState.java:712)

    at gov.nasa.jpf.jvm.JVM.forward(JVM.java:1794)

    at gov.nasa.jpf.search.Search.forward(Search.java:533)
    at gov.nasa.jpf.search.DFSearch.search(DFSearch.java:78)
    at gov.nasa.jpf.JPF.run(JPF.java:618)
    at gov.nasa.jpf.JPF.start(JPF.java:190)
    at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)

    at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:57)
    at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
    at java.lang.reflect.Method.invoke(Method.java:616)

    at gov.nasa.jpf.tool.Run.call(Run.java:76)
    at gov.nasa.jpf.tool.RunJPF.main(RunJPF.java:100)

please guide me..

[Saeed Iqbal KhattaK]

Respected Sir,

Thanks to Mr. Peter,

I change the jpf.properties, and now i write the below code in my "APEXJPF.jpf" file. 

target = org.csrdu.apex.helpers.Runner

apex-jpf.classpath = ${config_path}C:\\Users\\Saeed Iqbal\\workspace\\apex-jpf\\referenced

classpath = C:\\Users\\Saeed Iqbal\\workspace\\apex-jpf\\referenced\\kxml2-2.3.0.jar

it's how me the below errors, 

D/APEX:ApexPackagePolicy: Error parsing policy file for package: com.android.clock...caused by: org.xmlpull.v1.XmlPullParserException: resource not found: /META-INF/services/org.xmlpull.v1.XmlPullParserFactory make sure that parser implementing XmlPull API is available

caused by: org.xmlpull.v1.XmlPullParserException: resource not found: /META-INF/services/org.xmlpull.v1.XmlPullParserFactory make sure that parser implementing XmlPull API is available; nested exception is:

org.xmlpull.v1.XmlPullParserException: resource not found: /META-INF/services/org.xmlpull.v1.XmlPullParserFactory make sure that parser implementing XmlPull API is available

at org.xmlpull.v1.XmlPullParserFactory.newInstance(org/xmlpull/v1/XmlPullParserFactory.java:278)

at org.xmlpull.v1.XmlPullParserFactory.newInstance(org/xmlpull/v1/XmlPullParserFactory.java:259)

at org.csrdu.apex.helpers.Xml.newPullParser(org/csrdu/apex/helpers/Xml.java:11)

at org.csrdu.apex.policy.ApexPackagePolicy.loadPoliciesForPackage(org/csrdu/apex/policy/ApexPackagePolicy.java:103)

at org.csrdu.apex.AccessManager.checkExtendedPermissionByPackage(org/csrdu/apex/AccessManager.java:66)

at org.csrdu.apex.helpers.Runner.main(org/csrdu/apex/helpers/Runner.java:9)

Please help me, because it's my final project.

Thanks once again.

Best Regards

Saeed Iqbal

On Wednesday, 18 April 2012 10:50:07 UTC+5, Saeed Iqbal KhattaK wrote:

On Wednesday, 18 April 2012 10:50:07 UTC+5, Saeed Iqbal KhattaK wrote:

On Wednesday, 18 April 2012 10:50:07 UTC+5, Saeed Iqbal KhattaK wrote:

On Wednesday, 18 April 2012 10:50:07 UTC+5, Saeed Iqbal KhattaK wrote:

On Wednesday, 18 April 2012 10:50:07 UTC+5, Saeed Iqbal KhattaK wrote: