[Soot-list] Enable Explicit Taint Propogation in Soot-Infoflow

[Steven Arzt]

Hi Suresh,

 

FlowDroid is a data flow tracker, so tracking explicit data flows is what the tool was originally built for. What exactly is your question? Did you read the paper or technical report? Did you have a look at our wiki (https://github.com/secure-software-engineering/soot-infoflow-android/wiki)?

 

Best regards,

  Steven

 

 

M.Sc. M.Sc. Steven Arzt

Secure Software Engineering Group (SSE)

European Center for Security and Privacy by Design (EC SPRIDE) 

Mornewegstraße 32

D-64293 Darmstadt

Phone: +49 61 51 16-75426

Fax: +49 61 51 16-72118

eMail:  <mailto:steven.arzt at ec-spride.de> steven.arzt at ec-spride.de

Web: http://sse.ec-spride.de <http://sse.ec-spride.de/> 

 

 

 

Von: soot-list-bounces at CS.McGill.CA [mailto:soot-list-bounces at CS.McGill.CA] Im Auftrag von Suresh Rangaswamy
Gesendet: Mittwoch, 22. Oktober 2014 13:10
An: soot-list at CS.McGill.CA
Betreff: [Soot-list] Enable Explicit Taint Propogation in Soot-Infoflow

 

Hi,

 

How can we enable the explicit tainting in soot-infoflow if its possible.

 

1. void foo(){

2.         int x = 0, y = 9;

3.         try{

4.                     BufferedReader is = new BufferedReader(new InputStreamReader(System.in));

 

5.                     x = Integer.parseInt(is.readLine());

 

6.                     if(x == 5){

 

7.                                System.out.println(y);

8.                     }

 

9.         }catch(IOException e){

10.                   e.printStackTrace();

11.       }

 

In the example I want the flow from 5 -> 6 -> 7 be detected by the infoflow.




Regards

Suresh Rangaswamy

(M) +91-9711154493

(M.Tech Information Security)

cerc.iiitd.ac.in

about.me/suresh301190

	

 <http://iiitd.ac.in> Das Bild wurde vom Absender entfernt.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20141022/cd0923d0/attachment-0001.html 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: image/jpeg
Size: 425 bytes
Desc: not available
Url : http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20141022/cd0923d0/attachment-0001.jpe