Code Monkey home page Code Monkey logo

lapse-plus's People

lapse-plus's Issues

NullPointer Exception due to a insufficient symbol table

Hi folks,

I was very glad to find the code of Livshits' work and tested it with an 
industrial case study, available at our institute. During the test a null 
pointer exception popped up during the "Find sinks" process.
The source of the exception is the SourceViewClass and a simple patch, which 
fixes my problem and a reproducer, is attached.

The fix solves the symptom but it does not solve the real problem, which is the 
underlying symbol table implemented in DeclarationInfoManager, which does a 
very rough estimation of the available symbols since it does not handle 
inherited fields.

Regards

Bernhard

Original issue reported on code.google.com by [email protected] on 28 Jul 2011 at 4:43

Attachments:

something about lapsePlus


        i have some questions for your team. i have made a RCP application based on lapsePlus. first ,i have read the paper <Finding Security Vulnerabilities in Java Applications with Static Analysis> and downloaded the source codes. in the paper ,i know  that  the static analysis approach based on a scalable and precise points-to analysis. they also mentioned that they improve the state of the art in pointer analysis by improving the object-naming scheme. i have read the paper for many times and surf the internet for information about the tool.but i still do not know what is the algorithm of the tool.static analysis have many approach,such as modern checking、abstract interpretation .but in the paper i do not know the algorithm.second i do not know the frame of the tool. i mail to u for help,if u have any idea or u can recommend me some papers.
           good luck to u~~~~



Original issue reported on code.google.com by [email protected] on 11 Dec 2012 at 6:02

java.lang.NullPointerException at org.eclipse.ui.internal.dialogs.ViewLabelProvider.<init>(ViewLabelProvider.java:50)

What steps will reproduce the problem?
1. Use Eclipse Juno IDE 
2. download LapsePlus_2.8.1
3. put it in the plugin folder and run eclipse


What is the expected output? What do you see instead?
in the provenance tracker u see the error : << java.lang.NullPointerException
    at org.eclipse.ui.internal.dialogs.ViewLabelProvider.<init>(ViewLabelProvider.java:50) >>

and when im doing computing sourcer i get the error: << 
An internal error occurred during: "Computing Sources".
java.lang.NullPointerException>>

What version of the product are you using? On what operating system?
im using eclipse juno ide full updated . OS is windows 7 64 bit

Please provide any additional information below.

Original issue reported on code.google.com by [email protected] on 22 Oct 2012 at 8:04

Error - No application id has been found

i downloaded LapseConsola_2.8.0 and when i execute it, i get the below error 
message saying

"No application id has been found"

The java version is the latest(1.7) but still i am getting the same error.

And the lapseconsole output file is empty and doesn't contain any reports. 

Can u pls point me towards the cause of this issue and a possible remedy?  

Original issue reported on code.google.com by [email protected] on 5 Mar 2012 at 9:49

Attachments:

No application id found - lapsePlusConsolar

What steps will reproduce the problem?
1. unpack lapsePlusConsolar_2.8.0.zip
2. run command ant run -Darg0='path0' -Darg1='path1'

What is the expected output? What do you see instead?
got the error say:"An error occurred. See log file"

check the log file, got the error:
!ENTRY org.eclipse.osgi 4 0 2011-02-03 12:49:50.787
!MESSAGE Application error
!STACK 1
java.lang.RuntimeException: No application id has been found.
        at org.eclipse.equinox.internal.app.EclipseAppContainer.startDefaultApp(EclipseAppContainer.java:242)
        at org.eclipse.equinox.internal.app.MainApplicationLauncher.run(MainApplicationLauncher.java:29)
        at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:110)
        at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:79)
        at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:369)
        at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:179)
        at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
        at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
        at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
        at java.lang.reflect.Method.invoke(Method.java:597)
        at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:619)
        at org.eclipse.equinox.launcher.Main.basicRun(Main.java:574)
        at org.eclipse.equinox.launcher.Main.run(Main.java:1407)


What version of the product are you using? On what operating system?
lapsePlusConsolar: 2.8.0
jdk: 1.6.0_20
ant: 1.8.2
OS: Windows 7

Please provide any additional information below.


Original issue reported on code.google.com by [email protected] on 26 Sep 2012 at 9:06

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.