7fe479ee82
extract class for an edge-filtered graph view
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4551 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-04-03 19:09:50 +00:00
a9ec87f360
Changes motivated by analysis issues in JavaScript. The main change is that calls of the form f.x() in JavaScript are now analyzed like 'method calls' so that the 'this' pointer in the receiver functions can be filtered based upon the types that actually have the method being invoked. This requires much more dynamic filtering than in a language like Java, since properties like 'x' are simply properties that happen to hold functions, and so can be assigned in a first-class manner. Thus, the filtering needs to handle variance in both the types and the values of their properties; this is implemented as multiple levels of abstract object directed side effect equations in the dataflow system.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4535 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-03-01 02:45:51 +00:00
8b547b4812
Split up ForInLoopRewriter in preparation for merging changes back into
...
open-source WALA. The extraction code is now in com.ibm.wala.cast.js,
with some more general stuff moved to com.ibm.wala.cast and
com.ibm.wala.util. The tests are in com.ibm.wala.cast.js.test and
com.ibm.wala.cast.js.rhino.test. ForInLoopRewriter itself only contains
the framework specific tests and the copies of the frameworks
themselves.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4418 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:52:26 +00:00
59e46916ce
Generalize certain IR data structures to be less Java-specific. Generalize annotations code to allow for reading annotation parameters. Various other fixes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4290 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-12-28 17:03:27 +00:00
6ff9063a18
suppress compiler warnings from raw types
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4288 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-12-09 19:03:21 +00:00
e88a7992ba
start colors from 0 rather than 1
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4283 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-10-24 15:58:51 +00:00
558f939887
bump up version to 2.0.0.qualifier
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4265 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-08-18 17:38:52 +00:00
a44b8587b5
added copyInto
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4258 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-08-16 21:10:04 +00:00
7a6af352b9
moved IR-independent visualization of graphs to util project
...
added DFS path find that finds all paths in sequence rather than just one
moved the WalaException out of warnings subpackage
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4257 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-08-16 16:51:11 +00:00
646a030127
expose default comparator
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4251 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-08-09 20:12:01 +00:00
af16c5d551
attempt to fix build breakage on Linux
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4221 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-19 21:32:50 +00:00
c5a5507103
attempt to fix build breakage on Linux
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4220 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-19 21:27:43 +00:00
5f7c86eebb
attempt to fix build breakage on Linux
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4219 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-19 21:14:29 +00:00
1a70dd8f4d
refactor to allow custom ordering of nodes to color
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4216 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-11 19:50:39 +00:00
46f2a33315
tweak a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4201 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-01 18:12:35 +00:00
5181b6789f
add method isElementOf()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4199 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-01 14:38:40 +00:00
17029a7110
support some migration from deprecated Filter to Predicate
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4198 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-01 14:32:41 +00:00
7709561c74
patch from Josh Auerbach
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4185 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-06-20 19:30:08 +00:00
03da73a30f
delete obsolete ExplicitEdge class
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4181 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-06-09 14:12:00 +00:00
15c202f8e6
Welsh-Powell graph coloring
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4180 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-06-01 21:47:15 +00:00
d6a7828730
attempt to fix compile breakage with generics, manifesting under javac on Linux
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4152 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-27 14:16:08 +00:00
ebe49342b3
remove unnecessary @SuppressWarning annotation
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4151 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-27 14:06:39 +00:00
4da02a9125
Changes to extend supported context sensitivity to CPA-style:
...
1) extend ContextSelector interface to allow it to specify parameters of interest
2) extend filtering mechanism at call sites to allow CPA-style filtering when requested by contexts
3) various related fixes and extensions:
a) removed redundant code to handle dispatch for JavaScript, so now it shares the core mechanism
b) tighten types for operators that take an array of args - now the array is T[] at the cost of a few array allocation methods
c) a bit more support for empty int sets
d) void function objects
e) bug fixes for lexical scoping support, and adaptation to work with core dispatch mechanism
f) example of CPA-style sensitivity to handle nastiness in a JavaScript for(.. in ...) loop
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4150 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-27 13:58:56 +00:00
1858943369
a few more os queries, from Rodric
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4078 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-01 14:34:46 +00:00
0fab9778c3
add a comment about a resource leak problem
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4074 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-03-18 12:46:14 +00:00
1edb4436f7
utility empty set
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4062 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-17 15:02:19 +00:00
6ac8089f74
simpler implementation of recursive delete
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4061 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-10 01:56:54 +00:00
35c00c24c6
add a paranoid check for f.exists() in deleteContents()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4059 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-09 14:22:05 +00:00
df3f3bacd1
squash some compiler warnings. no intended semantic change.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4058 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-09 11:40:00 +00:00
03517ec393
add quoteString call in attempt to avoid windows space bug
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4056 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-07 22:49:19 +00:00
1b9e48ede5
reduce default sleep interval
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4055 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-07 21:16:08 +00:00
0d5cc5940b
tweak a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4054 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-04 23:00:10 +00:00
ac77758d0d
tweak default buffer sizes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4053 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-04 22:55:28 +00:00
c47f3488a0
add some generics. no semantic change
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4052 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-04 22:27:34 +00:00
d32831b82a
suppress some compiler warnings. no semantic change.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4051 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-03 15:40:50 +00:00
a9e1ef2a4f
add a wildcard generic. no semantic change
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4050 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-03 15:24:26 +00:00
7cc762c87b
fix some compiler warnings. no semantic changes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4049 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-03 15:15:56 +00:00
29b114928e
minor cleanups. no semantic change
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4047 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-03 15:00:56 +00:00
c4082442f2
minor cleanups. no intended semantic changes.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4045 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-01 20:36:55 +00:00
5025a68116
patch from Josh A., to support Eclipse plugin configuration stuff
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4044 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-28 13:14:53 +00:00
5a042f3f69
tighten typing for NumberedGraph, using covariance as allowed as of java 1.5
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4042 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-20 16:46:53 +00:00
1681a4222b
added simple factory method make(int[])
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4041 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-20 16:45:17 +00:00
129ce380a4
migrate more stuff to wala.util
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4040 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-17 22:57:35 +00:00
5bd9c18b20
migrate more stuff to wala.util
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4039 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-17 22:41:32 +00:00
5e4e9f010e
migrate more stuff to wala.util
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4035 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-17 22:20:30 +00:00
d7d6b048b6
refactoring and moving the launcher utilities to wala.util
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4032 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-17 21:31:29 +00:00
6416445fe4
refactor to move stuff into wala.util
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4031 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-17 21:13:34 +00:00
e8da3e3d8d
move some functionality to wala.util
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4030 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-17 20:56:35 +00:00
3cfdabc85b
initial revision
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4029 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-17 20:24:29 +00:00
msridhar1
dolby-oss
sjfink