July 2012 Archives by date

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...

Starting: Sun Jul 1 08:17:20 EDT 2012
Ending: Tue Jul 31 05:00:07 EDT 2012
Messages: 177

• [Soot-list] Unable to build Master   Marc-Andre Laverdiere-Papineau
• [Soot-list] Unable to build Master   Phil Pratt-Szeliga
• [Soot-list] Can I ask for a code snippet of creating call graph for a library (no main class)?   Yi Lin
• [Soot-list] CallGraph exception   Phil Pratt-Szeliga
• [Soot-list] CallGraph exception   Eric Bodden
• [Soot-list] CallGraph exception   Andrea Mattavelli
• [Soot-list] A flexible no-bodies option?   Marc-Andre Laverdiere-Papineau
• [Soot-list] A flexible no-bodies option?   Eric Bodden
• [Soot-list] NullPointerException on FastHierarchy.isSubClass   Marc-Andre Laverdiere-Papineau
• [Soot-list] NullPointerException on FastHierarchy.isSubClass   Phil Pratt-Szeliga
• [Soot-list] CallGraph exception   Phil Pratt-Szeliga
• [Soot-list] NullPointerException on FastHierarchy.isSubClass   Marc-Andre Laverdiere-Papineau
• [Soot-list] NullPointerException on FastHierarchy.isSubClass   Marc-Andre Laverdiere-Papineau
• [Soot-list] ***SPAM*** help me for “LineNumberTag” from China   443655536
• [Soot-list] CallGraph exception   Andrea Mattavelli
• [Soot-list] CallGraph exception   Eric Bodden
• [Soot-list] NullPointerException in soot.SootMethod.getBodyFromMethodSource   Marc-Andre Laverdiere-Papineau
• [Soot-list] A flexible no-bodies option?   Marc-Andre Laverdiere-Papineau
• [Soot-list] NullPointerException in soot.SootMethod.getBodyFromMethodSource   Eric Bodden
• [Soot-list] NullPointerException in soot.SootMethod.getBodyFromMethodSource   Marc-Andre Laverdiere-Papineau
• [Soot-list] NullPointerException in soot.SootMethod.getBodyFromMethodSource   Patrick Lam
• [Soot-list] NullPointerException in soot.SootMethod.getBodyFromMethodSource   Eric Bodden
• [Soot-list] NullPointerException in soot.SootMethod.getBodyFromMethodSource   Marc-Andre Laverdiere-Papineau
• [Soot-list] basic question: how to use Dacapo to compare SPARK and Jchord's points-to analysis.   Z
• [Soot-list] Why JSubExpr if Jimple does not have subexpression?   Z
• [Soot-list] NullPointerException in soot.SootMethod.getBodyFromMethodSource   Eric Bodden
• [Soot-list] basic question: how to use Dacapo to compare SPARK and Jchord's points-to analysis.   Eric Bodden
• [Soot-list] Why JSubExpr if Jimple does not have subexpression?   Eric Bodden
• [Soot-list] NullPointerException in soot.SootMethod.getBodyFromMethodSource   Marc-Andre Laverdiere-Papineau
• [Soot-list] NullPointerException in soot.SootMethod.getBodyFromMethodSource   Marc-Andre Laverdiere-Papineau
• [Soot-list] NullPointerException in soot.SootMethod.getBodyFromMethodSource   Marc-Andre Laverdiere-Papineau
• [Soot-list] NullPointerException in soot.SootMethod.getBodyFromMethodSource   Phil Pratt-Szeliga
• [Soot-list] NullPointerException in soot.SootMethod.getBodyFromMethodSource   Marc-Andre Laverdiere-Papineau
• [Soot-list] Instrumentation of a class   Ken Dinsmore
• [Soot-list] Instrumentation of a class   Z
• [Soot-list] Why JSubExpr if Jimple does not have subexpression?   Z
• [Soot-list] Instrumentation of a class   Eric Bodden
• [Soot-list] Why JSubExpr if Jimple does not have subexpression?   Eric Bodden
• [Soot-list] Why JSubExpr if Jimple does not have subexpression?   Patrick Lam
• [Soot-list] Using soot as a library   David Given
• [Soot-list] Using soot as a library   Eric Bodden
• [Soot-list] Why JSubExpr if Jimple does not have subexpression?   Z
• [Soot-list] Instrumentation of a class   Eric Bodden
• [Soot-list] Why JSubExpr if Jimple does not have subexpression?   Eric Bodden
• [Soot-list] Why JSubExpr if Jimple does not have subexpression?   Z
• [Soot-list] Why JSubExpr if Jimple does not have subexpression?   Eric Bodden
• [Soot-list] How to use BodyTransformer to access class fields?   Amit
• [Soot-list] example code to load the call graph from custom entry points   Phil Pratt-Szeliga
• [Soot-list] Using soot as a library   David Given
• [Soot-list] Using soot as a library   Patrick Lam
• [Soot-list] How to use BodyTransformer to access class fields?   Eric Bodden
• [Soot-list] Using soot as a library   Marc-Andre Laverdiere-Papineau
• [Soot-list] TAOSD - Special Issue on Runtime Verification and Analysis, deadline August 15th   Eric Bodden
• [Soot-list] Using soot as a library   Eric Bodden
• [Soot-list] Instrumentation of a class   Eric Bodden
• [Soot-list] Using soot as a library   Patrick Meredith
• [Soot-list] Using soot as a library   David Given
• [Soot-list] Executing code at the end of the jtp phase.   Orestis Tsapogas
• [Soot-list] Exception: class * read in from a classfile in which * was expected   tina
• [Soot-list] Using soot as a library   David Given
• [Soot-list] Difference between entryInitialFlow and newInitialFlow in data flow analysis?   Amit
• [Soot-list] Difference between entryInitialFlow and newInitialFlow in data flow analysis?   Laurie Hendren
• [Soot-list] Using soot as a library   Eric Bodden
• [Soot-list] Executing code at the end of the jtp phase.   Eric Bodden
• [Soot-list] Exception: class * read in from a classfile in which * was expected   Eric Bodden
• [Soot-list] IndexOutOfBoundsException on jdom-1.0.jar   rupert.thurner
• [Soot-list] Interprocedural without transitive dependencies?   Marc-Andre Laverdiere-Papineau
• [Soot-list] error with dava and jdom-1.0   rupert.thurner
• [Soot-list] Cmp, cmpl, cmpg?   David Given
• [Soot-list] Cmp, cmpl, cmpg?   Phil Pratt-Szeliga
• [Soot-list] Cmp, cmpl, cmpg?   David Given
• [Soot-list] Cmp, cmpl, cmpg?   Quentin Sabah
• [Soot-list] IndexOutOfBoundsException on jdom-1.0.jar   Eric Bodden
• [Soot-list] Cmp, cmpl, cmpg?   Quentin Sabah
• [Soot-list] Interprocedural without transitive dependencies?   Eric Bodden
• [Soot-list] Interprocedural without transitive dependencies?   Marc-Andre Laverdiere-Papineau
• [Soot-list] How compare 2 Stmt objects for equality?   John Dean
• [Soot-list] How compare 2 Stmt objects for equality?   John Dean
• [Soot-list] How compare 2 Stmt objects for equality?   Eric Bodden
• [Soot-list] Relaxing Semantic rules for Java?   Marc-Andre Laverdiere-Papineau
• [Soot-list] Relaxing Semantic rules for Java?   Bernhard Berger
• [Soot-list] How does Jimple preserve semantics with its partial SSA without Phi-node mechanism?? (with an example illustrating my idea)   Z
• [Soot-list] How does Jimple preserve semantics with its partial SSA without Phi-node mechanism?? (with an example illustrating my idea)   Quentin Sabah
• [Soot-list] error with dava and jdom-1.0   Phil Pratt-Szeliga
• [Soot-list] How does Jimple preserve semantics with its partial SSA without Phi-node mechanism?? (with an example illustrating my idea)   Z
• [Soot-list] How does Jimple preserve semantics with its partial SSA without Phi-node mechanism?? (with an example illustrating my idea)   Eric Bodden
• [Soot-list] How does Jimple preserve semantics with its partial SSA without Phi-node mechanism?? (with an example illustrating my idea)   Quentin Sabah
• [Soot-list] How does Jimple preserve semantics with its partial SSA without Phi-node mechanism?? (with an example illustrating my idea)   Laurie Hendren
• [Soot-list] Relaxing Semantic rules for Java?   Marc-Andre Laverdiere-Papineau
• [Soot-list] Relaxing Semantic rules for Java?   Eric Bodden
• [Soot-list] Relaxing Semantic rules for Java?   Marc-Andre Laverdiere-Papineau
• [Soot-list] Cmp, cmpl, cmpg?   Phil Pratt-Szeliga
• [Soot-list] error with dava and jdom-1.0   rupert THURNER
• [Soot-list] Relaxing Semantic rules for Java?   Marc-Andre Laverdiere-Papineau
• [Soot-list] removing singletons   Phil Pratt-Szeliga
• [Soot-list] removing singletons   Eric Bodden
• [Soot-list] removing singletons   Phil Pratt-Szeliga
• [Soot-list] LabeledBlockFinder question   Phil Pratt-Szeliga
• [Soot-list] error with dava and jdom-1.0   Phil Pratt-Szeliga
• [Soot-list] removing singletons   Marc-Andre Laverdiere-Papineau
• [Soot-list] removing singletons   Patrick Lam
• [Soot-list] How compare 2 Stmt objects for equality? - IGNORE PREVIOUS EMAIL   John Dean
• [Soot-list] Bytes and signedness   David Given
• [Soot-list] ANN: cowjac Java compiler   David Given
• [Soot-list] Bytes and signedness   Eric Bodden
• [Soot-list] Bytes and signedness   Almo
• [Soot-list] Bytes and signedness   David Given
• [Soot-list] Bug in Exclusion Mechanism?   Marc-Andre Laverdiere-Papineau
• [Soot-list] Counting exits in a loop - understanding Jimple "goto [?= nop]"   John Dean
• [Soot-list] Bug in Exclusion Mechanism?   Eric Bodden
• [Soot-list] Counting exits in a loop - understanding Jimple "goto [?= nop]"   Quentin Sabah
• [Soot-list] Counting exits in a loop - understanding Jimple "goto [?= nop]"   John Dean
• [Soot-list] Counting exits in a loop - understanding Jimple "goto [?= nop]"   John Dean
• [Soot-list] Relaxing Semantic rules for Java?   Marc-Andre Laverdiere-Papineau
• [Soot-list] Relaxing Semantic rules for Java?   Eric Bodden
• [Soot-list] Relaxing Semantic rules for Java?   Marc-Andre Laverdiere-Papineau
• [Soot-list] Counting exits in a loop - understanding Jimple "goto [?= nop]"   Phil Pratt-Szeliga
• [Soot-list] Counting exits in a loop - understanding Jimple "goto [?= nop]"   John Dean
• [Soot-list] Counting exits in a loop - understanding Jimple "goto [?= nop]"   Eric Bodden
• [Soot-list] Counting exits in a loop - understanding Jimple "goto [?= nop]"   Quentin Sabah
• [Soot-list] Counting exits in a loop - understanding Jimple "goto [?= nop]"   David Given
• [Soot-list] Fwd: Re: [Jastadd] Configurable Front-End?   Marc-Andre Laverdiere-Papineau
• [Soot-list] Counting exits in a loop - understanding Jimple "goto [?= nop]"   John Dean
• [Soot-list] Fwd: Re: [Jastadd] Configurable Front-End?   Eric Bodden
• [Soot-list] Right way to recognize a temporary JimpleLocal (like $r1) ?   Z
• [Soot-list] Using SOOT's dataflow classes for static numeric analysis that has infinite-height abstract domain and needs widening operator for termination   Z
• [Soot-list] Right way to recognize a temporary JimpleLocal (like $r1) ?   Eric Bodden
• [Soot-list] Using SOOT's dataflow classes for static numeric analysis that has infinite-height abstract domain and needs widening operator for termination   Eric Bodden
• [Soot-list] How verify array index value is within array bounds?   John Dean
• [Soot-list] How verify array index value is within array bounds?   Patrick Lam
• [Soot-list] My SOOT Eclipse plugin won't go to the CFG of the "next method".   Z
• [Soot-list] Which command-line options in order to generate new intermediate variable for each statement in Jimple?   Cristina Ilie
• [Soot-list] Which command-line options in order to generate new intermediate variable for each statement in Jimple?   Z
• [Soot-list] Which command-line options in order to generate new intermediate variable for each statement in Jimple?   Eric Bodden
• [Soot-list] My SOOT Eclipse plugin won't go to the CFG of the "next method".   Eric Bodden
• [Soot-list] Code_attribute is null   Phil Pratt-Szeliga
• [Soot-list] Code_attribute is null   Eric Bodden
• [Soot-list] Code_attribute is null   Marc-Andre Laverdiere-Papineau
• [Soot-list] Code_attribute is null   Eric Bodden
• [Soot-list] Soot and Serialization   dingsun
• [Soot-list] Help for Java Web App Data Flow   Jafar Mirzaei
• [Soot-list] Soot and Serialization   Eric Bodden
• [Soot-list] Switching the default throws analysis?   Eric Bodden
• [Soot-list] Switching the default throws analysis?   Richard Xiao
• [Soot-list] Help for Java Web App Data Flow   Jafar Mirzaei
• [Soot-list] Soot and Serialization   Darko Marinov
• [Soot-list] Synthesizing a constructor   Marc-Andre Laverdiere-Papineau
• [Soot-list] Help for Java Web App Data Flow   Marc-Andre Laverdiere-Papineau
• [Soot-list] Switching the default throws analysis?   Marc-Andre Laverdiere-Papineau
• [Soot-list] Soot and Serialization   Eric Bodden
• [Soot-list] Synthesizing a constructor   Eric Bodden
• [Soot-list] Switching the default throws analysis?   Eric Bodden
• [Soot-list] Help for Java Web App Data Flow   Jafar Mirzaei
• [Soot-list] How to determine whether there exists a use for a variable definition later on in the cfg   John Dean
• [Soot-list] How to determine whether there exists a use for a variable definition later on in the cfg   Cheng Zhang
• [Soot-list] How to determine whether there exists a use for a variable definition later on in the cfg   John Dean
• [Soot-list] How to determine whether there exists a use for a variable definition later on in the cfg   Phil Pratt-Szeliga
• [Soot-list] How to determine whether there exists a use for a variable definition later on in the cfg   John Dean
• [Soot-list] How to determine whether there exists a use for a variable definition later on in the cfg   Phil Pratt-Szeliga
• [Soot-list] Help for Java Web App Data Flow   Jafar Mirzaei
• [Soot-list] How to determine whether there exists a use for a variable definition later on in the cfg   John Dean
• [Soot-list] Soot and Serialization   sun ding
• [Soot-list] CLASSPATH problem in analyzing web application   Jafar Mirzaei
• [Soot-list] How to determine whether there exists a use for a variable definition later on in the cfg   John Dean
• [Soot-list] PROBLEM SOLVED: How to determine whether there exists a use for a variable definition later on in the cfg   John Dean
• [Soot-list] Any ANT's build.xml examples?   Zell
• [Soot-list] CLASSPATH problem in analyzing web application   Eric Bodden
• [Soot-list] PROBLEM SOLVED: How to determine whether there exists a use for a variable definition later on in the cfg   Eric Bodden
• [Soot-list] PROBLEM SOLVED: How to determine whether there exists a use for a variable definition later on in the cfg   John Dean
• [Soot-list] Any ANT's build.xml examples?   Almo
• [Soot-list] How can I tell if the two arrays overlap?   John Dean
• [Soot-list] PROBLEM SOLVED: How to determine whether there exists a use for a variable definition later on in the cfg   Eric Bodden
• [Soot-list] More documentation/publications for intra-procedural analysis in soot   Amit
• [Soot-list] More documentation/publications for intra-procedural analysis in soot   Eric Bodden
• [Soot-list] Help for Java Web App Data Flow   Richard L. Halpert
• [Soot-list] How can I tell if the two arrays overlap?   John Dean
• [Soot-list] How can I tell if the two arrays overlap?   Quentin Sabah

Last message date: Tue Jul 31 05:00:07 EDT 2012
Archived on: Mon Aug 6 14:09:45 EDT 2012

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...