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
53294397f8
javadoc, formatting
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4128 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-20 22:31:27 +00:00
9006fce690
some bug fixes to CAst IR generation, especially in handling exceptions
...
cleanup of how JDT analysis engines work, to make using the JDT front end more modular
bug foxes to JavaScript handling, most notably fixing scoping of functions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4123 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-13 16:27:15 +00:00
2b87f070a7
make getBCInfo() synchronized to prevent duplicate code loading by different threads
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4113 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-12 19:20:13 +00:00
fc366d728e
added notion of source modules, which are presumed to be text files
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4083 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-04 14:58:58 +00:00
3d95532603
added type parameter
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4082 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-04 14:58:15 +00:00
857e456806
organize imports
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4081 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-03 04:08:05 +00:00
9aa9187edc
fix for CFG bug reported by Benedikt N on mailing list, plus test case
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4077 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-03-24 19:41:46 +00:00
e33b9d3861
fix comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4075 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-03-21 16:03:36 +00:00
06b652d1fb
fix bug reported by Benedikt Nordhoff on mailing list: for cases where an enclosing exception handler catches all exception types, don't add an exceptional edge from a throw instruction to method exit.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4057 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-08 23:41:03 +00:00
3a49f17ebc
update code formatting for Eclipse 3.6
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4048 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-03 15:14:47 +00:00
0eb5fcb158
check for null argument
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4043 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-24 22:40:50 +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
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
1c8924f766
migrate more stuff to wala.util
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4038 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-17 22:23:29 +00:00
baa8690314
migrate more stuff to wala.util
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4037 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-17 22:21:08 +00:00
16e9c0fa67
migrate more stuff to wala.util
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4036 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-17 22:21:01 +00:00
6bd8363503
refactor to isolate core utilities from dependence on Eclipse IProgressMonitor
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4034 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-17 22:06:58 +00:00
fa825de846
refactoring of fixpoint API
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4033 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-17 21:43:18 +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
b3df24132f
move BitVectorKillAll to wala.core
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4023 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-03 21:09:21 +00:00
1180d7e71b
add ability to return exit value for spawned process
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4021 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-12-21 20:49:05 +00:00
88eaba4ee7
add models for System.getProperty() methods to fix bug reported by Ravi Chandran on mailing list
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4002 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-11-23 17:39:19 +00:00
53bea40ab6
give up on optimizing jar file I/O for now. fix existing code to not even temporarily store jar file content for now.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3999 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-11-22 22:41:29 +00:00
7917b30fc5
be more robust to corrupted nested jar files
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3993 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-11-05 17:57:06 +00:00
205b7d078a
remove eager failure when invalid class file in a nested jar is encountered
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3989 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-11-04 20:30:49 +00:00
2a4d3869de
temporary fix for issue with bad I/O patterns when reading large jar files. a work in progress
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3988 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-11-04 16:47:35 +00:00
2ed3b05257
bug fix
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3986 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-11-03 17:49:06 +00:00
c7558b3646
fixes for Rational
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3985 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-11-02 19:11:58 +00:00
7a5d3baacd
bug fix for CFGSanitizer
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3984 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-10-20 20:38:44 +00:00
f13e059144
make constructor protected, as it is the superclass
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3983 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-10-20 15:13:42 +00:00
080453957f
added int set type as type parameter to MutableIntSetFactory so that it can be conveniently used with specialized subtypes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3982 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-10-15 14:31:13 +00:00
d4ee31ad9e
added clear() method to mutable int sets
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3981 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-10-15 02:10:44 +00:00
56577432d8
copyright comment update
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3974 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-10-11 14:29:17 +00:00
0ca5dc1c0e
better fix for PDG bug reported by Ravi Chandran
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3967 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-10-06 17:03:35 +00:00
029b1fc1fd
Fix for bug reported by Ravi Chandran on the mailing list (10/01/2010). Properly add edges from method entry in the PDG
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3965 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-10-05 18:45:43 +00:00
ed889de199
added Floyd-Warshall all pairs shortest path implementation
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3964 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-10-04 17:27:56 +00:00
a0fb3b089f
bugfix: improve pointing to source code.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3958 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-09-30 21:32:45 +00:00
9cae049830
Added viewer for CHA/CG/PA for Java/JavaScript.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3954 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-09-28 17:11:12 +00:00
592a2de0cc
Refactor: remove unused imports
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3947 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-09-28 08:10:36 +00:00
b2acc4502d
Support for serializing/deserializing Atoms.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3945 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-09-28 08:06:17 +00:00
4740f7a16a
bug fix: assume analysis scope files are UTF-8 encoded rather than using platform default
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3940 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-09-22 22:10:00 +00:00
5cfbd1fbaf
fixes for names in archives in various Web formats
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3915 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-09-09 14:00:39 +00:00
bf4c0dbb99
change to how default values for value numbers are recorded for SSA conversion by CAst
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3914 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-09-09 13:59:21 +00:00
1f1567eee4
change to make debugger (on my system) see state in the constructor
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3913 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-09-09 13:55:43 +00:00
86ce1fca50
fix for tracker issue 3019831
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3899 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-09-01 15:56:43 +00:00
9356db8497
patch from Florian Brander: avoid NPEs when call strings are null
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3862 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-08-10 14:07:02 +00:00
dolby-oss
msridhar1
sjfink
yinnon_haviv