Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
  • 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
  • Apr 20 20:34

    msridhar on master

    Bump ant from 1.10.9 to 1.10.10… (compare)

  • Apr 20 02:10
    1054518207 opened #882
  • Apr 19 05:48
    dependabot-preview[bot] review_requested #881
  • Apr 19 05:48
    dependabot-preview[bot] labeled #881
Ali Ahsan
@aliahsan07

var src = {}
var dest = {}

src["ext"] = {}
src["ins"] = {}
var prop = Math.random() > 0.50 ? "ext" : "ins";
var t = src[prop];
dest[prop] = t;

for src, dest and t for example
Manu Sridharan
@msridhar
@aliahsan07 so you're saying all of src, dest, and t have empty points-to sets? If so, please open an issue on GitHub with your code example and I will take a look
Matt Kindy
@mattkindy-praetorian

There's a random (and difficult to reproduce) ConcurrentModificationException that's happening during ClassHierarchy construction but the trace is hidden. I think the change to fix this (missing trace) is in the master branch.

In any case, I wonder what's happening here. Some comments in ClassHierarchy suggest that this shouldn't happen given the use of ConcurrentHashMap but theoretically if an iterator from ConcurrentHashMap is somehow used by multiple threads, this could be causing the issue?

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 ;)