2e65395044
further shrike-related refactoring
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3365 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-03-24 17:07:44 +00:00
e4a6ae61a7
more IllegalArgumentExceptions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3286 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-03-11 19:33:02 +00:00
b61135c8be
adapt to Shrike changes: divorce SSAInstruction from the Shrike Instruction, which requires adding a type parameter to ControlFlowGraph and propagating that change. Also, stop using the JVML opcode in a few places where it was (unnecessarily) being used.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3227 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-02-19 15:58:31 +00:00
29bb2bb260
minor cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2956 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-07-11 17:51:48 +00:00
6c88b93d26
optimizations for IR caching when context is irrelevant
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2801 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-12 13:34:35 +00:00
d737b0d1bd
revamp pi node construction
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2405 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-16 22:25:34 +00:00
c0ee8e04b3
type parameters for IRFactory
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1709 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-09-01 14:41:14 +00:00
eb91983f53
lots of new generics for fixed point solver hierarchy
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1694 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-31 21:38:28 +00:00
33a14cf7aa
just format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1693 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-30 17:28:03 +00:00
ff1c0ea48b
more IllegalArgumentExceptions and related refactoring
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1657 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-22 16:33:45 +00:00
5eb76541f0
massive overhaul of Warnings management
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1382 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-06 22:08:13 +00:00
8864b70d50
miscellaneous housekeeping
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1364 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-06 03:07:14 +00:00
b0d31d38cb
remove some unnecessary IClassHierarchy parameters
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1254 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-06 20:15:37 +00:00
0ed8d96d55
Changes to allow cross-language call graphs. The three biggest changes are as follows:
...
1) The visitors nested in the SSAPropagationCallGraph have become static classes so that they can be reused in a delegation pattern for the cross-language call graph builder.
2) The ClassHierarchy is now encapsulated behind an IClassHierarchy interface to allow for a CrossLanguageClassHierarchy that delegates to a set of child hierarchies, one for each language. The internals of the ClassHierarchy are almost entirely unchanged
3) There is now a new Language interface in com.ibm.wala.classLoader, and all IClassLoader objects have to know what language they load for. This language object now encapsulates a few language-specific options that were previously hacked into the AnalysisOptions object.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1212 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-01 03:26:18 +00:00
ea3caa1e8a
mostly clean up old comments.
...
also rename InferGraphRootsImpl to InferGraphRoots
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1200 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-30 19:05:23 +00:00
fdb7a17af3
add @Overrides annotations and nuke unnecessary casts
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1197 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-30 15:16:05 +00:00
a2c7c8d6e4
check arguments to public methods
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1019 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-26 20:35:25 +00:00
2870d1dbc8
soft caching of bytecode info and small API changes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@881 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-22 15:48:54 +00:00
979451f05c
rename Shrike*Wrapper to just Shrike*
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@551 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-10 20:49:24 +00:00
f3f4a25a20
when it is available, add source position info to IR printing
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@527 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-08 14:53:10 +00:00
df97f42b7e
attempt to introduce tags and trunk
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@490 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2006-11-22 17:38:46 +00:00
dolby-oss
sjfink