[Soot-list] Line numbers in Grimp

[Eric Bodden]

Hi Mario.

I just checked on that. It's true that line numbers are nor preserved
in Grimp. The patch below propagates line numbers from Jimple to
Grimp, *however* as soon as the Aggregator is run (in the gop pack),
these line numbers can of course be lost again. In general, every
transformation that is performed on the Grimp code needs to take care
to not mess up the line numbers.

### Eclipse Workspace Patch 1.0
#P soot
Index: src/soot/grimp/GrimpBody.java
===================================================================
--- src/soot/grimp/GrimpBody.java	(revision 3287)
+++ src/soot/grimp/GrimpBody.java	(working copy)
@@ -173,6 +173,12 @@
             oldToNew.put(oldStmt, newStmt);
             if (updateStmtBox.getUnit() != null)
                 updates.add(updateStmtBox.getUnit());
+            if(oldStmt.hasTag("LineNumberTag")) {
+            	newStmt.addTag(oldStmt.getTag("LineNumberTag"));
+            }
+            if(oldStmt.hasTag("SourceLnPosTag")) {
+            	newStmt.addTag(oldStmt.getTag("SourceLnPosTag"));
+            }
         }

         /* fixup stmt's which have had moved targets */


Eric



2008/12/10 Mario Mendez-Lojo <mario at cs.unm.edu>:
> Hi,
>
> I noticed that the line number information is lost when the bytecode output
> is obtained via grimp, instead of via jimple. Is this a bug, or is this the
> expected behavior given that the grimple transformation pipeline does not go
> through the 'tag' phase? It would be really useful to keep the line numbers,
> because in the presence of a runtime exception it's always easier to take a
> look at the Grimp to see what's wrong with our transformation than to take a
> look at the Jimple.
>
> Thank you guys!
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>



-- 
Eric Bodden
Sable Research Group, McGill University
Montréal, Québec, Canada