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

[Suresh Rangaswamy]

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>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20141022/2eda8e60/attachment.html