search

wala / WALA

T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
http://github.com/wala/WALA
Eclipse Public License 2.0
762 stars 221 forks source link

Find Errors and slice the code #620

Open shaghayegh70 opened 4 years ago

shaghayegh70 commented 4 years ago

Hi guys. I'm new in Wala and I want use it in my thesis.I want give a data set to wala then wala find my code error and then backward slice them to reduce my code.If every one has a tutorial or something please tell me. Thank you

QRXqrx commented 4 years ago

Do you mean you want to get start with WALA? Here are several helpful websites: WALA Introduction: http://wala.sourceforge.net/wiki/index.php/Main_Page Some core techniques: http://wala.sourceforge.net/wiki/index.php/Wala.core_technical_overview

What's more, here's the tutorial: 1-PLDI_WALA_Tutorial.pdf Hope it helps :-)

shaghayegh70 commented 4 years ago

@QRXqrx Thank you for your response.Are you am expert in Wala? If you are do you know how I can slice the code in Wala?

QRXqrx commented 4 years ago

@shaghayegh70 Well, actually, I'm a noob of program analysis area myself. So I'm afraid I can't do much to help you in how to apply WALA to slice. However, there are many issues talking about slicing. I think maybe you could take a look. BTW, if you need help badly, I think you could @ the developers. They are very nice and really helpful.

QRXqrx commented 4 years ago

Maybe you should download the release of WALA from maven repository, and follow the guide of the tutorial.

shaghayegh70 commented 4 years ago

@QRXqrx Thank you for your response. I really need help baldy because I'm not a java developer and I want the slice section of Wala for my thesis I'm very confuse I couldn't find help full tutorial for someone who aren't expert in java! I ask two other question in here and I hope find someone who can help me

QRXqrx commented 4 years ago

@shaghayegh70 Try this: https://github.com/Anemone95/wala-demo This is an example slicer project written by one of my seniors, you could learn from it. Note that you may have problem in running this project too, so please pay attention to the configurations, like configurations in wala.propertiesandwalaExampleProperties.properties.

shaghayegh70 commented 4 years ago

@QRXqrx Thank you so much . I try it and write the result.