Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
  • May 13 22:25
    msridhar commented #885
  • May 13 22:12
    juliandolby commented #885
  • May 13 15:14
    leason805 edited #885
  • May 13 15:13
    leason805 opened #885
  • May 02 20:38

    juliandolby on java11

    java 11 (compare)

  • May 02 18:04

    juliandolby on java11

    don't use CPA by default comment out useless print make SDG/PDG properly labeled g… and 9 more (compare)

  • Apr 28 17:21

    msridhar on add-v2-config-file

    (compare)

  • Apr 28 17:20
    dependabot-preview[bot] commented #880
  • Apr 28 17:20
    dependabot-preview[bot] commented #868
  • Apr 28 17:20
    dependabot-preview[bot] commented #547
  • Apr 28 17:20

    msridhar on master

    Upgrade to GitHub-native Depend… (compare)

  • Apr 28 17:20
    msridhar closed #884
  • Apr 28 16:46
    dependabot-preview[bot] labeled #884
  • Apr 28 16:46
    dependabot-preview[bot] opened #884
  • Apr 28 16:46

    dependabot-preview[bot] on add-v2-config-file

    Upgrade to GitHub-native Depend… (compare)

  • Apr 24 17:12
    msridhar assigned #883
  • Apr 24 07:09
    gjamesli2126 opened #883
  • Apr 23 07:41
    1054518207 closed #882
  • Apr 20 20:34

    dependabot-preview[bot] on gradle

    (compare)

  • Apr 20 20:34
    msridhar closed #881
Manu Sridharan
@msridhar
@mattkindy-praetorian so you think this is fixed on master? Can you point me at the relevant code?
Matt Kindy
@mattkindy-praetorian
To be clear -- I think the stack trace is no longer getting swallowed by the exception handling . Here is the relevant line for that
https://github.com/wala/WALA/blob/096aff828caa2e0f58946fc99b2f96718b41c807/com.ibm.wala.core/src/main/java/com/ibm/wala/ipa/cha/ClassHierarchy.java#L291
Looks like it was fixed as part of wala/WALA#598
But in any case, the ConcurrentModificationException has been intermittently and unpredictably plaguing me
Matt Kindy
@mattkindy-praetorian
I am investigating things on my end to see if perhaps my environment is causing the issue. I've got some stuff wrapped around WALA
Manu Sridharan
@msridhar
If you can paste a (possibly obfuscated) stack trace, that would be helpful. Also, is your code intending to be modifying the ClassHierarchy as it is being read? To be honest, I wouldn't fully trust this code to be thread safe
Matt Kindy
@mattkindy-praetorian
No, my code isn't interacting with the ClassHierarchy in this way. I have a server wrapped around WALA, and some of the exceptions seemed to be from multiple analyses running simultaneously, so I've addressed the major issue. Still, occasionally I will run into this error. On these devices, though, I am using WALA 1.5.4 which doesn't have the exception fix I mentioned earlier, so the stack trace stops pretty much immediately. Since these are deployed, it's easier for me to work with a release than a local snapshot since I would have to manage those build dependencies in my artifactory
Manu Sridharan
@msridhar
I will cut a new release now so there is a release with the fix
Manu Sridharan
@msridhar
Ok @mattkindy-praetorian WALA 1.5.5 is released. It should appear on Maven Central in a little while
When you have a better trace for the problem please post it here or open an issue
Matt Kindy
@mattkindy-praetorian
Will do! Appreciate it, @msridhar !
234235235
@234235235
Hi all, I'm new using wala and intrested in the backwards slicing aka PDFSlicing? I got it already running, but have two questions so far (1) is it also somehow possible to run it on java source code (not that important) and (2) really important: Yet, i got it only working for backwards slicing like the following: main(..){ function1()} and then using as callee function1 and caller main respectively, but what i am really looking for is givin it any function i.e. function1 and apply backwards slicing based on its arguments meaning that i do backwards slicing and lock all functions into a simple txt file (or dot) until we reach the creation of all variables influencing the arguments, i started impelmenting this in vasco / soot but running into several errors with imports etc.. but as an example i would like to have s.th like this as result:
track_false_test.png
Here im just saying s.th. like "backwards slice function test and its arguments"
Sorry was the wrong pic i meant this:
trackingRes_test.png
234235235
@234235235
The next step could then be s.th. like symbolic execution to fully resolve the pahts
234235235
@234235235
So that in the end i have for each invoke of the function again for each argument a track
234235235
@234235235
Is WALA only applicable to jar files or also to java source code?
Linghui Luo
@linghuiluo
WALA has source code front end
234235235
@234235235
Could you tell me which parameters i need to use then ?
im currently running wala as follows:
-appJar "...\TEST\JTTJDK8\main.jar" -mainClass "Lmain" -srcCaller "main" -srcCallee "finito" -out "../TEST/JTTJDK8/Out/Wala" -bt "(getInt,0)"
-bt i use for myself for customimizing backwards slicing
Linghui Luo
@linghuiluo
i dont think there is a cmd option for this. you have to call the APIs by yourself.
234235235
@234235235
Hmm okay. Is there an example somewhere or do i need to figure it out myself? ><
you can look at my code there
234235235
@234235235
thx a lot! ;)
Linghui Luo
@linghuiluo
you just need add the JavaSourceAnalysisSope
234235235
@234235235
Im trying to do it with the JavaSourceCodeAnalysisScope as you said, but unfortionally there are errors since importing in the package com.ibm.wala.cast.java and i can't use this class therefore currently
did you also run into the following errors: ?
image.png
I did import WALA into eclipse java oxygen with buildship gradle integration 3.0 and gradle version 6.4-rc-1 as well as Java jdk8, and right after importing this errors occur
Linghui Luo
@linghuiluo
no, i didn't.
This is configuration problem
if you are using maven
the wala jars should be downloaded automaticially when you configure the pom file
234235235
@234235235
So should i import the project into eclipse with maven instead of gradle?
Linghui Luo
@linghuiluo
It depends on what you want
my project i shared uses maven
234235235
@234235235
I actually programmed my own stuff already which is working on jar files, but i need to get it working on java source code
therefore i think i just need to change the analysis scope right?
so i just need to get the wala project running somewhow idc how xD
Linghui Luo
@linghuiluo
i think so, you just need to change the analysis scope
234235235
@234235235
im trying to import it as maven project now and see if it works that way ;)
234235235
@234235235
okay that even results in more errors probabbly uninstalling gradel etc will help hopefully .X
234235235
@234235235
even after cleaning i run into this error, dont know how to resolve it yet at leas t:D
Manu Sridharan
@msridhar
@234235235 check out the WALA-start project: https://github.com/wala/WALA-start It shows how to import the WALA jars from Maven Central. You should not need to clone WALA from github to run the Java source front-end analysis
234235235
@234235235
@msridhar thx a lot ;) Is there also some kind of "fuzzy parser"? Im trying to find a solution on how to build the analysis scope with java source code i.e. just providing a some (or at the start for testing just one i.e. main.java) file as input. is this possible?