4c6d062dbb
blunt force trauma to CAst frond end:
...
1) Structural changes in the AstTranslator to allow retranslation and generation of custom IR. This is mostly moving state from the translator itself into the context.
2) Some refactoring to share some AST generation code across the Java and JavaScript front ends.
3) Switching to the latest Rhino, release 1.7R3; this is a pervasive change to the JavaScript Rhino translator, since it involves switching to the new AST interface in Rhino.
4) Common code to, as an option, translate Do-style loops by replicating the loop body. This allows the use of CAstNode.LOOP forms for such loops.
5) Some bug fixes to the mechanisms of the CAstRewriter to handle weird control flow cases.
6) An example of retranslation to specialize JavaScript methods based on how many arguments they receive at call sites.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4425 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-27 20:15:33 +00:00
5a3470a674
remove debug print
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4424 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-24 16:28:57 +00:00
7630cd79c9
Revamped support for reading Java annotation information from .class files.
...
The code should handle all cases now, and the APIs are improved.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4422 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-11 17:11:59 +00:00
2f86937ae1
some more diagnostic code in TestUtil, related changes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4399 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:46:27 +00:00
9e386ff310
re-implement delegating context, to ensure we have a proper equals() and hashCode()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4398 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:46:08 +00:00
6a2dc42d49
fix a couple of NPEs
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4338 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:28:02 +00:00
14c4cdb251
bug fix in SSAPropagationCallGraphBuilder: allow empty points-to sets for interesting non-receiver arguments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4335 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:27:03 +00:00
33378fd071
Added option to warn about big points-to sets.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4330 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:25:20 +00:00
8ce7db97ea
more global object handling; needs documentation
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4324 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:23:56 +00:00
306bc98bf5
progress on modeling the global object
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4321 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:22:58 +00:00
4edec7f18e
remove unused imports
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4297 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-05 20:10:34 +00:00
d326e5e9f2
bug fixes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4292 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-12-28 17:03:55 +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
d75e4455c6
delete obsolete comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4285 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-10-26 13:53:29 +00:00
c274ecacc9
bug fix: deal with case when app-specific context selector and interpreter are null.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4284 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-10-25 13:55:32 +00:00
2723084bac
ran into a method with 30 parameters. hopefully this is enough?
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4278 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-09-25 21:52:20 +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
82d751a814
try to fix javac compile errors
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4226 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-22 17:06:09 +00:00
a6a8188244
change getPointerKeys() to return an Iterable, so we're not forced to construct a Collection (can cause a space blowup for a very large points-to relation)
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4224 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-22 15:53:33 +00:00
fbfdb32b11
expose a field to subclasses
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4207 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-02 15:40:33 +00:00
ee3c8f3847
Thread a progress monitor through parts of pointer analysis constraint generation, so we can cancel if it's taking too long
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4193 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-06-30 18:59:29 +00:00
f8197b4f2c
patch to fix FileProvider bug from Marcel Bruch
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4177 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-05-27 19:50:33 +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
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
6b9f0317a3
add utility method for getting DefUse for some IR in the Everywhere context
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3860 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-08-09 22:37:32 +00:00
ce73ef7d2e
add toString()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3859 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-08-09 22:37:07 +00:00
28ef96d4c3
fix comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3858 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-08-09 22:36:53 +00:00
d9bad4c9e6
add exception declaration to indicate removeNode is optional
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3855 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-07-19 14:09:10 +00:00
3fcb6de3ba
format a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3851 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-06-21 18:14:39 +00:00
019601bb59
change to fix compilation with javac
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3848 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-05-27 14:06:03 +00:00
2d6f56893c
trying to update build.xml
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3846 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-05-21 16:28:13 +00:00
8deb9a2814
fix really silly error
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3845 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-05-20 15:53:42 +00:00
460477e074
fix bug in PDG contruction for a case involving infeasible bytecodes; add corresponding test
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3843 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-05-17 16:57:52 +00:00
fd15101eb9
add NO_EXCEPTIONS data dependence option
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3841 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-05-16 15:20:13 +00:00
133bd80a7e
added some javadoc
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3835 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-05-12 22:40:42 +00:00
d6f7f6d21a
fix javadoc
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3834 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-05-12 18:33:28 +00:00
447823c629
kill unused supportRefinement option
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3833 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-05-12 18:30:55 +00:00
b8ecc8d48a
nuked ReflectionSpecification
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3832 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-05-12 17:19:54 +00:00
c6096ddfd9
fix typo
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3831 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-05-11 21:08:06 +00:00
c8fba1cb0b
fix some comments / javadoc
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3829 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-05-07 15:35:26 +00:00
9dfe21c864
bug fix: inconsistent heap models were being used
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3828 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-05-06 19:27:44 +00:00
f76602dbfb
clean up interface for creating a DemandRefinementPointsTo class, and make the internal ThisFilteringHeapModel package visible
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3827 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-04-30 17:13:14 +00:00
dd61495632
add comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3825 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-04-29 14:13:59 +00:00
00871016cb
adapt to checkcast change
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3817 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-04-28 19:33:34 +00:00
c3ea5a8a86
generalize checkcast to take multiple types, with the intended semantics being an object must be one or more of those types
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3816 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-04-28 19:32:20 +00:00
05499a6d15
add a standard flow function that kills everything. Fix a typo in IdentityFlowFunction.toString()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3814 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-04-28 16:46:12 +00:00
8b693ef246
add a method for getting a method's IR directly; useful for clients that don't build a call graph
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3813 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-04-28 15:30:11 +00:00
536500c767
supergraph implementation over an ExplodedInterproceduralCFG
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3812 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-04-28 15:26:44 +00:00
1d22d712b8
patch from Juergen Graf: handle case where entry block has multiple instructions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3811 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-04-26 16:16:15 +00:00
19bcb326a4
slicer bug fix: properly include the actual call statement (along with various PARAM_CALLER statements) in the set of call statements
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3807 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-04-19 23:03:47 +00:00
4cda34d1e4
adding java.lang.enum to the existing TypeReference
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3804 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-03-05 22:04:22 +00:00
8bff008a30
patch from Y. Haviv to optimize getResult()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3801 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-02-11 15:19:13 +00:00
b06e912f71
add support for some context-sensitive queries
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3799 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-01-26 20:53:40 +00:00
41a5a9657f
tweak some comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3797 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-01-25 14:59:42 +00:00
d6252c481c
refactoring to enable context-sensitive queries
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3796 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-01-23 18:54:15 +00:00
b384fc08e6
remove dead code
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3795 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-01-23 18:53:50 +00:00
257cad4b06
Refactored the code to accept any implementation of synthetic root method AbstractRootMethod.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3788 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-12-21 19:14:56 +00:00
15cd8566e9
Fixed comparison of type reference to throwable type for a particular language.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3787 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-12-21 19:11:32 +00:00
74b6c74492
use a ConcurrentHashMap as suggested by M. Bruch on mailing list
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3779 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-12-21 13:38:57 +00:00
05744fe19b
change isVolatile() in IMethod to isBridge(), better reflecting Java spec
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3777 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-12-03 16:56:49 +00:00
7720bfe511
publicize getJarsInDiectory
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3774 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-12-02 20:15:21 +00:00
df9065bfc2
add comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3772 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-12-02 18:24:13 +00:00
7a4189b49e
add comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3771 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-12-02 16:14:24 +00:00
ae8b0a234c
tweak comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3770 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-12-02 15:42:15 +00:00
e3522b999e
add an IllegalStateException check
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3769 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-12-02 15:04:59 +00:00
d3e05a06d2
add a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3768 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-12-01 21:09:33 +00:00
4b34785700
bug fixes for flows-to
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3766 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-11-19 17:09:20 +00:00
f6afa934f8
bug fix for flows-to
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3764 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-11-18 21:53:07 +00:00
65bb454180
added ability to compute "flows-to sets" on demand; initial check-in, needs more testing
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3763 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-11-18 21:22:33 +00:00
b044e3541c
delete some deprecated code
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3762 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-11-13 18:10:57 +00:00
6b2e37ddfd
delete deprecated code
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3761 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-11-13 18:06:35 +00:00
0b0ea23484
delete deprecated classes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3760 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-11-13 18:01:19 +00:00
4e59fb29e6
delete deprecated Assertions code
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3759 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-11-13 17:55:33 +00:00
9ad3177a9f
tweak some comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3758 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-11-13 16:25:55 +00:00
0f65646b7a
clean up some comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3757 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-11-13 03:51:34 +00:00
1e68167a3c
add a couple of null checks
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3756 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-11-06 21:10:31 +00:00
478f1d2ffa
remove comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3755 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-11-06 21:03:34 +00:00
f70935ce46
fix bugs pointed out on mailing list by M. Bruch
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3754 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-10-19 13:09:57 +00:00
4734ca3682
fix comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3753 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-09-01 21:57:13 +00:00
ea9db18783
tweak comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3725 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-07-13 17:58:59 +00:00
91817db562
deprecate. unused.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3723 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-07-13 17:53:46 +00:00
b7fa860ba1
tweak comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3722 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-07-13 17:51:58 +00:00
987b2393e2
deprecate. unused.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3721 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-07-13 17:51:47 +00:00
65f2fa4922
undo some deprecation of source file utilities, for now.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3720 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-07-13 17:43:36 +00:00
ef43073709
deprecate CallSiteAndCGNode
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3719 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-07-08 19:30:15 +00:00
ac17daa979
deprecate Mapper
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3718 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-07-08 15:17:46 +00:00
933043fccf
deprecate SyntheticMethod.getStatements(options)
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3717 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-07-02 19:19:25 +00:00
30eaf4421c
delete dead comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3716 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-07-02 19:18:49 +00:00
eb513d76cb
tweak comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3715 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-07-02 19:18:32 +00:00
b5bc95f052
tweak some comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3714 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-07-02 18:20:10 +00:00
ba91ea7f77
revamp lookupClass() to avoid dependence on classloaders
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3712 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-07-02 17:49:25 +00:00
1ab5b375ad
deprecate
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3711 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-07-02 17:49:07 +00:00
3eca1bca8e
refactoring of internals
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3710 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-07-02 15:07:45 +00:00
a26c27be44
fix generic types on EdgeManager.getPredNodes and getSuccNodes. finally.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3707 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-06-26 14:14:21 +00:00
fad698bcb6
refactor to use Predicate in place of Filter
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3706 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-06-26 13:37:23 +00:00
fde4a16a23
refactor: move Predicate to com.ibm.wala.util
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3705 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-06-26 13:06:16 +00:00
9f7b946458
minor code cleanup
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3704 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-06-25 13:07:06 +00:00
8b6de42283
format to naming conventions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3703 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-06-25 12:49:45 +00:00
a0efbee8ff
Major refactoring to introduce com.ibm.wala.ide. Many related changes and patches from Marcelo Paternostro.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3693 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-06-22 15:06:12 +00:00
680dd54c1b
MAINT:
...
- switched from the privileged 'isObjectType()' interface to querying the root type.
- also made other overload of getLeastCommonSuperclass() language-based.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3680 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-06-12 19:07:59 +00:00
cf0a8ce430
tweak comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3679 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-06-12 15:51:46 +00:00
40946683c9
tweak comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3678 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-06-12 15:42:13 +00:00
dolby-oss
msridhar1
sjfink
yinnon_haviv
sartzi
egeay
omertripp