sireum / archived-v2-amandroid

34 stars 16 forks source link

Saving of partial results of Taint Analysis #38

Open vitaliiavdiienko opened 9 years ago

vitaliiavdiienko commented 9 years ago

Hi,

it turns out that Amandroid doesn't write partial results for Taint Analysis.

I see in the output that some data flows have been discovered, but TaintResults.txt file doesn't exists until analysis is done.

Such behavior is unwanted in case of occurrence of some exception on later steps of the analysis.

Do you think it is good idea to implement saving of partial results in Amandroid or do I need to implement it just for my needs?

Thanks in advance.

Vitalii

fgwei commented 9 years ago

If you are interested, I will be very happy. You can contribute on that and I can merge it into the main branch.

vitaliiavdiienko commented 9 years ago

I will send it by email in a few minutes.