[Wala-wala] Cannot run Examples

23 views
Skip to first unread message

Nicolas Cardozo

unread,
Feb 12, 2021, 8:35:23 PM2/12/21
to wala...@lists.sourceforge.net
Hi, 

Im following the getting started guide in the repo pages, but I cannot reach to run any of the examples.
I imported the project to Eclipse using import from Gradle, but whenever i try to launch any of the example launchers I get an error similar to 
Launch configuration PDFTypeHierarchy references non-existing project com.ibm.wala.core.tests
(modulo de example to execute)

I tried to run all the build gradle tasks in the build folder from the gradel tasks view, and the build for each specific project, but nothing seems to be working 
I also read previous post related to launching problem and followed the solutions there, and still nothing.


Does anyone have an idea of what I could be doing wrong.

Im running on a mac OSX, with eclipse 4.18. I’m trying different WALA releases, all of them with different problems, currently trying 1.3.8 (none of the latests one worked for me)

_____________________________________________
Nicolás Cardozo
FLAG lab
Departamento de Ingeniería de Sistemas y Computación
Universidad de los Andes
ML 755







Manu Sridharan

unread,
Feb 15, 2021, 5:44:20 PM2/15/21
to WALA discussion and Q&A
Hi Nicolás,

Sorry you're having trouble with Eclipse.  Unfortunately, none of the main WALA developers use Eclipse regularly anymore and so it's quite possible the launchers have bit-rotted.  Have you seen the WALA-Start project?


That is based on a more standard Gradle configuration, and it includes some sample drivers.  Does that work for you if you do a Gradle import of that project into Eclipse?  Note that using WALA-start allows you to get started without building WALA from source.

If you have a specific analysis that you're trying to run with WALA, let us know and I can try to point you at a relevant driver example.

Best, Manu 

_______________________________________________
Wala-wala mailing list
Wala...@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/wala-wala

Nicolas Cardozo

unread,
Feb 17, 2021, 12:20:13 PM2/17/21
to WALA discussion and Q&A
Hi Manu,

Thanks for the info.
The WALA-start project works appropriately (I can run the compileJava command without any problem) but am a bit at a loss about what to do after that.

I want to use the points to analysis for JavaScript. My end goal is to extend/use this analysis on programs using traits (traits.js) to compose objects. My idea is to use the results (as a start) to reason about program completeness, much in the way it is done for Java programs (https://link.springer.com/chapter/10.1007/978-3-540-31985-6_21)
_____________________________________________
Nicolás Cardozo
Assistant Professor
FLAG lab
Systems and Computing Engineering Department

Manu Sridharan

unread,
Feb 25, 2021, 7:40:32 PM2/25/21
to WALA discussion and Q&A
Hi Nicolas,

This is a sample driver for building a call graph for a JavaScript file:


Hopefully that can get you started?  Also there is this documentation page on JavaScript analysis:


Please let us know if you have further questions.

Best, Manu 
Reply all
Reply to author
Forward
0 new messages