July 2012 Archives by subject
Starting: Sun Jul 1 08:17:20 EDT 2012
Ending: Tue Jul 31 05:00:07 EDT 2012
Messages: 177
- [Soot-list] ***SPAM*** help me for “LineNumberTag” from China
443655536
- [Soot-list] A flexible no-bodies option?
Marc-Andre Laverdiere-Papineau
- [Soot-list] A flexible no-bodies option?
Eric Bodden
- [Soot-list] A flexible no-bodies option?
Marc-Andre Laverdiere-Papineau
- [Soot-list] ANN: cowjac Java compiler
David Given
- [Soot-list] Any ANT's build.xml examples?
Zell
- [Soot-list] Any ANT's build.xml examples?
Almo
- [Soot-list] basic question: how to use Dacapo to compare SPARK and Jchord's points-to analysis.
Z
- [Soot-list] basic question: how to use Dacapo to compare SPARK and Jchord's points-to analysis.
Eric Bodden
- [Soot-list] Bug in Exclusion Mechanism?
Marc-Andre Laverdiere-Papineau
- [Soot-list] Bug in Exclusion Mechanism?
Eric Bodden
- [Soot-list] Bytes and signedness
David Given
- [Soot-list] Bytes and signedness
Eric Bodden
- [Soot-list] Bytes and signedness
Almo
- [Soot-list] Bytes and signedness
David Given
- [Soot-list] CallGraph exception
Phil Pratt-Szeliga
- [Soot-list] CallGraph exception
Eric Bodden
- [Soot-list] CallGraph exception
Andrea Mattavelli
- [Soot-list] CallGraph exception
Phil Pratt-Szeliga
- [Soot-list] CallGraph exception
Andrea Mattavelli
- [Soot-list] CallGraph exception
Eric Bodden
- [Soot-list] Can I ask for a code snippet of creating call graph for a library (no main class)?
Yi Lin
- [Soot-list] CLASSPATH problem in analyzing web application
Jafar Mirzaei
- [Soot-list] CLASSPATH problem in analyzing web application
Eric Bodden
- [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] Cmp, cmpl, cmpg?
Quentin Sabah
- [Soot-list] Cmp, cmpl, cmpg?
Phil Pratt-Szeliga
- [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] 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] 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] Counting exits in a loop - understanding Jimple "goto [?= nop]"
John Dean
- [Soot-list] Counting exits in a loop - understanding Jimple "goto [?= nop]"
Quentin Sabah
- [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]"
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] 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] error with dava and jdom-1.0
rupert.thurner
- [Soot-list] error with dava and jdom-1.0
Phil Pratt-Szeliga
- [Soot-list] error with dava and jdom-1.0
rupert THURNER
- [Soot-list] error with dava and jdom-1.0
Phil Pratt-Szeliga
- [Soot-list] example code to load the call graph from custom entry points
Phil Pratt-Szeliga
- [Soot-list] Exception: class * read in from a classfile in which * was expected
tina
- [Soot-list] Exception: class * read in from a classfile in which * was expected
Eric Bodden
- [Soot-list] Executing code at the end of the jtp phase.
Orestis Tsapogas
- [Soot-list] Executing code at the end of the jtp phase.
Eric Bodden
- [Soot-list] Fwd: Re: [Jastadd] Configurable Front-End?
Marc-Andre Laverdiere-Papineau
- [Soot-list] Fwd: Re: [Jastadd] Configurable Front-End?
Eric Bodden
- [Soot-list] Help for Java Web App Data Flow
Jafar Mirzaei
- [Soot-list] Help for Java Web App Data Flow
Jafar Mirzaei
- [Soot-list] Help for Java Web App Data Flow
Marc-Andre Laverdiere-Papineau
- [Soot-list] Help for Java Web App Data Flow
Jafar Mirzaei
- [Soot-list] Help for Java Web App Data Flow
Jafar Mirzaei
- [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?
John Dean
- [Soot-list] How can I tell if the two arrays overlap?
Quentin Sabah
- [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] How compare 2 Stmt objects for equality? - IGNORE PREVIOUS EMAIL
John Dean
- [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)
Quentin Sabah
- [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)
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)
Laurie Hendren
- [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
John Dean
- [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
John Dean
- [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
Phil Pratt-Szeliga
- [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 use BodyTransformer to access class fields?
Amit
- [Soot-list] How to use BodyTransformer to access class fields?
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] IndexOutOfBoundsException on jdom-1.0.jar
rupert.thurner
- [Soot-list] IndexOutOfBoundsException on jdom-1.0.jar
Eric Bodden
- [Soot-list] Instrumentation of a class
Ken Dinsmore
- [Soot-list] Instrumentation of a class
Z
- [Soot-list] Instrumentation of a class
Eric Bodden
- [Soot-list] Instrumentation of a class
Eric Bodden
- [Soot-list] Instrumentation of a class
Eric Bodden
- [Soot-list] Interprocedural without transitive dependencies?
Marc-Andre Laverdiere-Papineau
- [Soot-list] Interprocedural without transitive dependencies?
Eric Bodden
- [Soot-list] Interprocedural without transitive dependencies?
Marc-Andre Laverdiere-Papineau
- [Soot-list] LabeledBlockFinder question
Phil Pratt-Szeliga
- [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] My SOOT Eclipse plugin won't go to the CFG of the "next method".
Z
- [Soot-list] My SOOT Eclipse plugin won't go to the CFG of the "next method".
Eric Bodden
- [Soot-list] NullPointerException in soot.SootMethod.getBodyFromMethodSource
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] 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
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] NullPointerException on FastHierarchy.isSubClass
Marc-Andre Laverdiere-Papineau
- [Soot-list] NullPointerException on FastHierarchy.isSubClass
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] PROBLEM SOLVED: 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] 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
Eric Bodden
- [Soot-list] Relaxing Semantic rules for Java?
Marc-Andre Laverdiere-Papineau
- [Soot-list] Relaxing Semantic rules for Java?
Bernhard Berger
- [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] Relaxing Semantic rules for Java?
Marc-Andre Laverdiere-Papineau
- [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] removing singletons
Phil Pratt-Szeliga
- [Soot-list] removing singletons
Eric Bodden
- [Soot-list] removing singletons
Phil Pratt-Szeliga
- [Soot-list] removing singletons
Marc-Andre Laverdiere-Papineau
- [Soot-list] removing singletons
Patrick Lam
- [Soot-list] Right way to recognize a temporary JimpleLocal (like $r1) ?
Z
- [Soot-list] Right way to recognize a temporary JimpleLocal (like $r1) ?
Eric Bodden
- [Soot-list] Soot and Serialization
dingsun
- [Soot-list] Soot and Serialization
Eric Bodden
- [Soot-list] Soot and Serialization
Darko Marinov
- [Soot-list] Soot and Serialization
Eric Bodden
- [Soot-list] Soot and Serialization
sun ding
- [Soot-list] Switching the default throws analysis?
Eric Bodden
- [Soot-list] Switching the default throws analysis?
Richard Xiao
- [Soot-list] Switching the default throws analysis?
Marc-Andre Laverdiere-Papineau
- [Soot-list] Switching the default throws analysis?
Eric Bodden
- [Soot-list] Synthesizing a constructor
Marc-Andre Laverdiere-Papineau
- [Soot-list] Synthesizing a constructor
Eric Bodden
- [Soot-list] TAOSD - Special Issue on Runtime Verification and Analysis, deadline August 15th
Eric Bodden
- [Soot-list] Unable to build Master
Marc-Andre Laverdiere-Papineau
- [Soot-list] Unable to build Master
Phil Pratt-Szeliga
- [Soot-list] Using soot as a library
David Given
- [Soot-list] Using soot as a library
Eric Bodden
- [Soot-list] Using soot as a library
David Given
- [Soot-list] Using soot as a library
Patrick Lam
- [Soot-list] Using soot as a library
Marc-Andre Laverdiere-Papineau
- [Soot-list] Using soot as a library
Eric Bodden
- [Soot-list] Using soot as a library
Patrick Meredith
- [Soot-list] Using soot as a library
David Given
- [Soot-list] Using soot as a library
David Given
- [Soot-list] Using soot as a library
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
Z
- [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] 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] Why JSubExpr if Jimple does not have subexpression?
Z
- [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] Why JSubExpr if Jimple does not have subexpression?
Patrick Lam
- [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] Why JSubExpr if Jimple does not have subexpression?
Z
- [Soot-list] Why JSubExpr if Jimple does not have subexpression?
Eric Bodden
Last message date:
Tue Jul 31 05:00:07 EDT 2012
Archived on: Mon Aug 6 14:09:45 EDT 2012
This archive was generated by
Pipermail 0.09 (Mailman edition).