5483465978
fixes to adding default values when desired
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@925 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-04 17:50:12 +00:00
66a83b0e3c
fixes for Pi nodes for new boolean constant values
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@924 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-04 17:40:44 +00:00
c8fb2a22af
use new boolean-typed constants. adapt to new symbol declaration api
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@923 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-04 13:05:48 +00:00
016957c461
slightly more informative message regarding unreached methods
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@922 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-04 13:04:29 +00:00
bea163df41
use new boolean-typed constant values; handle uninitialized values for weird cases involving lexical scoping
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@921 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-04 13:03:33 +00:00
c51ad28e66
new CAstSymbol type for information about a symbol being declared. new support for default init values for unitialized variables
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@920 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-04 13:02:17 +00:00
10ccb7410e
support for boolean-typed constants and customizable default values for uninitialized values; both of these are used to support scripting language features
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@919 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-04 13:00:04 +00:00
562f48a4ae
add context sensitive engine
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@909 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-29 21:09:41 +00:00
85151f7bb1
add context sensitive engine
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@908 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-29 18:27:42 +00:00
6a01f352bb
use linkedhashset as backing collection. the motivation is that now the Iterator2Collection can be used if you want to read from an Iterator multiple times, and want the same order each time as the original iterator
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@907 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-29 15:32:19 +00:00
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
dolby-oss
sjfink
mkogane