dolby-oss
c73d24f5d6
change notion of position to whole method to include entire source range of body
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@900 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-27 19:58:13 +00:00
dolby-oss
095a1846f8
add more IR-based accessors for CAst context interpreter
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@899 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-27 19:55:25 +00:00
dolby-oss
fa57d84cc9
1) add IR accessors for new sites
...
2) fix issues with classloaderref for some array classes
3) minor fix to ctor in thread native model
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@898 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-27 19:53:41 +00:00
sjfink
a37017ee5e
bug fix again (sigh)
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@897 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-27 14:25:13 +00:00
sjfink
73fe729679
revert previous change
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@896 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-27 13:30:10 +00:00
sjfink
4653a976dc
tweak Thread model as per discussion with Mayur
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@894 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-27 01:05:38 +00:00
sjfink
766cf2e008
change return type of getInstructions() to SSAInstruction[]
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@893 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-26 16:21:14 +00:00
sjfink
bbad853352
bug fix from Nick Kidd.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@892 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-26 16:20:49 +00:00
mkogane
61d26d85d9
added isSpecial() method
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@884 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-23 05:41:54 +00:00
sjfink
84c841784a
soft caching of bytecode info and small API changes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@882 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-22 15:48:58 +00:00
sjfink
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
sjfink
9f2055ac93
remove dead import
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@879 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-22 13:41:30 +00:00
sjfink
e02937e61b
make IBasicBlock an Iterable<IInstruction>. Rename iterateAllInstructions() to iterator()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@878 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-22 10:50:42 +00:00
sjfink
d10f912ee4
make IBasicBlock an Iterable<IInstruction>. Rename iterateAllInstructions() to iterator()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@877 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-22 10:50:31 +00:00
sjfink
88638ff850
make IBasicBlock an Iterable<IInstruction>. Rename iterateAllInstructions() to iterator()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@876 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-22 10:50:26 +00:00
sjfink
9618f5a8a9
Graph API change: Graph is now an Iterable of Nodes!
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@870 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-21 21:07:48 +00:00
sjfink
893418ca3c
Graph API change: Graph is now an Iterable of Nodes!
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@869 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-21 21:07:42 +00:00
sjfink
e955c1e657
Graph API change: Graph is now an Iterable of Nodes!
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@867 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-21 21:07:30 +00:00
sjfink
5f3e4543d1
Graph API change: Graph is now an Iterable of Nodes!
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@865 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-21 21:07:01 +00:00
sjfink
cbb1d11033
bug fix in getMappedIndex
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@860 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-15 00:45:50 +00:00
sjfink
448ce75d4b
added factory method
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@859 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-15 00:45:33 +00:00
sjfink
47cae95830
more development
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@858 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-15 00:45:18 +00:00
sjfink
5028ac9b85
bug fix from Nick Kidd and an assertion
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@857 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-15 00:44:43 +00:00
dolby-oss
1f6269c3ee
tests for fixes to (some of) the most recent crop of bugs
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@856 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-14 14:37:24 +00:00
dolby-oss
685bad81fb
fix bug involving SSA conversion of catch statements
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@855 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-14 03:38:59 +00:00
sjfink
ca3f29676a
minor cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@852 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-12 16:10:01 +00:00
sjfink
0d459d587d
minor cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@851 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-12 16:09:57 +00:00
sjfink
8ee55f98f1
minor cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@850 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-12 16:09:53 +00:00
sjfink
18b5379320
minor cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@849 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-12 16:09:47 +00:00
sjfink
978bddae43
minor cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@848 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-12 16:09:39 +00:00
sjfink
1fbd41306c
update svn:ignore
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@847 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-12 15:46:43 +00:00
sjfink
3d18e2f2fe
add a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@846 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-12 15:44:08 +00:00
dolby-oss
c3670c755b
add test for static initializers
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@845 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-12 02:47:29 +00:00
dolby-oss
c47a510932
restore lib jar file needed by ibm 5.0 vm
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@844 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-12 02:41:23 +00:00
dolby-oss
ec2d6da198
new selector to take advantage of new target-method-based filtering
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@843 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-12 02:24:08 +00:00
dolby-oss
541ee23cdf
fix to generation of constructor function bodies
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@842 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-12 02:10:10 +00:00
dolby-oss
609f848f1c
support tests that take a directory, not a file. Also add some testing of extensions added the WALA CAst Java front end.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@841 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-12 02:08:45 +00:00
dolby-oss
66cd369ee7
Fix type inference for + operations that involve strings
...
skip synthetic code when trying to deal with enclosing types
fixes to invoke polyglot better so as to use its Unicode support
use constants directly when accessing fields said by polyglot to be constant
support static initializers
use exclusions file in the source analysis engine, if one is provided
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@840 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-12 02:06:00 +00:00
dolby-oss
25a4b64c12
Added source position information for entire code bodies as a whole
...
Rewrote to the mechanism for invoking the callbacks for lexical scoping to not suck as much as before, i.e. it is somewhat less inefficient
adapt to filter instance key changes
bug fixes to IR generation for switch statements
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@839 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-12 02:00:43 +00:00
dolby-oss
2dc8f805d4
major change is reworking how filtering works in the propagation call graph builders. The old notion of a filter as a type or an instance key has been replaced with an interface TypeFilter that supports arbitrary filtering. The class and instance key filters have been redone to use it, and a new filter that filters for types that dispatch to a particular method has also been added.
...
other minor changes:
TypeInference:
1) fix to handle constant that is the last value number
2) add visitor to set result of instanceof to boolean if doPrimitives
3) PrimitivePropagateOperator not final to allow specialization
PrimitiveType:
mimic Java semantics for implicit upcasts: add notion of size and
define meet to take larger size
SSASwitchInstruction:
add iterator for switch labels
cfg.Util:
add more helpers for dealing with switches
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@838 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-12 01:56:32 +00:00
sjfink
636fb313ba
tweak an assertion message
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@834 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-07 14:46:45 +00:00
sjfink
c015be8a10
use exact match on method names
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@833 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-07 14:46:16 +00:00
tttate
54f24b71b5
set the svn:ignore property to Makefile.configuration.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@828 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-03 13:55:00 +00:00
sjfink
59cbb2d7af
delete obsolete junk
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@825 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-01 15:18:15 +00:00
sjfink
884f414754
delete obsolete junk
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@824 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-01 15:16:49 +00:00
sjfink
96ac39a49d
delete obsolete junk
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@823 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-01 14:59:56 +00:00
sjfink
c16fe4c8d2
initial check-in
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@822 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-01 14:59:04 +00:00
sjfink
6bd9add2ef
just format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@821 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-01 14:58:51 +00:00
sjfink
1879f55131
more generics
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@809 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-28 14:09:33 +00:00
sjfink
582068f252
add a factory method
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@808 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-28 14:09:23 +00:00