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
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
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
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
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
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
sjfink
5747c41d98
add support for stdin
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@807 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-28 14:09:10 +00:00
sjfink
411171ff09
just format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@805 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-28 14:08:32 +00:00
sjfink
ce3a554146
misc. cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@800 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-27 18:17:33 +00:00
sjfink
b95fbf2067
remove an unreachable assertion
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@790 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-26 20:06:24 +00:00
dolby-oss
8ad9a91582
more type and method references; support for adding static fields to the FakeRootClass for analysis modelling purposes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@786 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-25 02:15:50 +00:00
sjfink
24d290beb8
make ClassHierarchy implement Iterable<IClass>
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@785 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-23 17:21:07 +00:00
sjfink
d60734d54b
refactoring of relations
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@783 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-23 17:07:21 +00:00
sjfink
c5685d6346
bug fix in file utils from Nick Kidd
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@765 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-15 21:11:38 +00:00
rmfuhrer
2b7cd06bb4
Now provides an EntrypointBuilder interface so that clients
...
(not just sub-classes) can supply the means for computing the
Entrypoints.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@759 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-14 16:45:24 +00:00
sjfink
6ccbfcdf06
formatting and javadoc
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@719 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-12 21:17:10 +00:00
dolby-oss
d4916f52be
further analysis engine surgery, motivated by string analysis example
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@706 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-12 18:29:22 +00:00
sjfink
be1415de88
more generics
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@684 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-08 20:17:02 +00:00
sjfink
a927db0f8c
miscellaneous minor cleanups. eclipse build stuff. import statements.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@676 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-08 19:07:02 +00:00
dolby-oss
f5b1c2a27e
some moving of code around to make the analysis engines provide a default way to build a call graph
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@653 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-07 18:44:25 +00:00
dolby-oss
794a4a764d
add more wrappers to make various kinds of main entrypoints
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@652 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-07 18:43:24 +00:00
dolby-oss
3c71fda451
silence messages
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@651 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-07 18:42:37 +00:00
yahave
ed5fd17c89
remove final to allow subclassing,
...
and addition of a static xor method in the spirit of existing
static operations.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@650 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-06 04:36:36 +00:00
sjfink
c6e843ad72
bug fix for new clinit processing
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@614 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-30 17:34:52 +00:00
dolby-oss
bec1dcd0c5
more verbose diagnostics
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@612 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-26 19:07:12 +00:00
dolby-oss
b2596fbf0e
allow creation of ReceiverTypeContextSelectors in other packages
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@611 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-26 19:06:50 +00:00
dolby-oss
34d9acf899
fix (or hack) to allow filtering on method calls when a target selector has substituted a static method as a synthetic target
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@610 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-26 19:06:14 +00:00
dolby-oss
58d90b3b5f
work around the fact that GetCaughtException instructions appear in instruction arrays generated by the CAst front end
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@609 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-26 19:05:07 +00:00
sjfink
6147282c0c
add some utilities
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@607 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-26 14:18:34 +00:00
sjfink
86b8427e0b
add parseForBinaryName()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@606 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-26 14:18:11 +00:00
sjfink
e4c824cd97
just formatting
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@605 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-26 14:17:51 +00:00
sjfink
a3d04f3aaf
delete a dead import
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@604 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-24 16:38:40 +00:00
sjfink
536f58fc19
make statements field protected
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@603 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-24 16:37:56 +00:00
sjfink
97c9efd313
add new FakeWorldClinitNode as a home for calls to class initializers
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@602 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-24 16:32:48 +00:00
sjfink
5c5de9153c
delete dead class
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@601 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-24 16:31:14 +00:00
dolby-oss
fa236058e3
generalized invoke statement type declaration to SSAAbstractInvokeInstruction for use by multiple languages
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@600 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-24 04:18:24 +00:00
sjfink
322f465265
finish implementation of isSubset()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@598 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-19 21:27:09 +00:00
sjfink
6d86515ec6
more support
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@597 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-19 21:26:51 +00:00
sjfink
1347463992
misc bug fixes and annotations
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@595 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-19 15:24:05 +00:00
dolby-oss
bfba765e00
more bug fixing for SemiSparseMutableIntSet
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@593 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-19 10:50:17 +00:00
dolby-oss
fb69e16872
more bug fixing for SemiSparseMutableIntSet
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@592 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-19 10:49:26 +00:00
dolby-oss
3e61c0b4f5
more bug fixing for SemiSparseMutableIntSet
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@591 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-19 00:43:11 +00:00
sjfink
5866177006
more signature support
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@590 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-18 21:24:06 +00:00
dolby-oss
df26059e7d
attemp to fix SemiSparseMutableIntSet bug that I cannot reproduce. also further optimizations of those int sets
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@589 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-18 17:51:03 +00:00
sjfink
b683a89375
bug fix in signature for set()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@588 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-18 17:15:07 +00:00
sjfink
0356976e72
ClassHierarchy.getImmediateSubclasses now returns a collection
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@587 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-18 17:14:43 +00:00