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
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?
in order to build a callgraph
234235235
@234235235
if i try to run it with the SourceDirectoryTreeModule i get java.lang.ClassNotFoundException: com.ibm.wala.cast.java.translator.polyglot.PolyglotSourceLoaderImpl
234235235
@234235235
So the "only" thing i need is a callgraph of a file and ideally which might be incomplete meaningn wihtout giving a main function, just that wala would generate a call graph based on a file, i would then repeat this for different files and after that combine the "local" callgraphs into a global one
because im focussing on androids framework and am unable to build a jar in containting all classes since android does not provide a "main" function in this sense