fa14d7a73d
Require that gen'd vector contains 0. fixes #8
2013-04-08 10:51:25 -07:00
321e925660
work on CHA
2013-04-03 12:12:43 -04:00
1cf9a0008b
improve javadoc
2013-02-12 17:15:04 -08:00
8e8e5fa8ba
Merge branch 'minor' of https://github.com/cos/wala into cos-minor
...
Conflicts:
com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/VectorKillFlowFunction.java
2013-02-06 16:54:46 -08:00
aa6487fafc
missing VectorKill println method
...
modeled after the VectorGen method
2013-02-06 18:21:01 -06:00
afccdd2189
Annotation support
2013-02-02 21:27:45 -05:00
590347f171
Properly fix path-with-spaces bug.
...
The previous fix happened to work, but it did the URL decoding
in the wrong place.
2013-01-30 21:05:23 -08:00
182363bf88
fix bug involving paths with spaces
2013-01-30 17:29:41 -08:00
ec8a0f1294
Properly return null as default constructor of an array.
...
Patch from Christophe Foket on the mailing list.
2013-01-25 10:29:49 -08:00
ba228963bf
better handling of missing bytecodes
...
In some cases, class files will have non-abstract methods with no
bytecodes (e.g., stubs for compilation purposes). While such a class
file is invalid, we want to enable clients to handle such an error.
With these changes, Shrike will throw an InvalidClassFileException for
such cases, and WALA's IR construction code will throw a
WalaRuntimeException.
2013-01-21 15:27:13 -08:00
6ed7b5a88e
javadoc
2013-01-10 09:48:38 -08:00
29c73cea83
Merge branch 'lexical-access-info'
2013-01-09 14:27:14 -08:00
202d5d525f
small Javadoc fix
2013-01-09 14:25:41 -08:00
9aa474fdb1
1) added InstanceKey.getCreation sites and its implementations
...
2) fixes for issues with keys representing dynamic properties
i) all properties are converted to strings, in an approximation of JS
semantics
3) fix to handling of instance keys representing numbers in binary +;
now it understands that adding constant keys of type Number requires
adding a non-constant Number key to the lval
2013-01-07 20:18:27 -05:00
8ed998a249
extract some generally useful code from ModRef
2013-01-03 15:57:38 -08:00
77b81b4181
Handle duplicate field names between subclass and superclass.
...
Patch from Christophe Foket on the mailing list.
2012-11-30 09:18:00 -05:00
070e3989cf
fix missing detection of certain static initializer calls
...
Patch from Christophe Foket on the mailing list.
2012-11-27 14:04:00 -05:00
821479d1a6
remove unnecessary casts
2012-11-21 11:39:25 -08:00
fae5c86114
fixes for users of JDT interfaces, such as Miniatur/MemSAT
2012-10-01 13:11:10 -04:00
24eb803211
organize imports; no semantic change
2012-09-04 16:24:37 -07:00
60db861a5f
complete conversion to Unix line endings
2012-09-04 16:05:49 -07:00
56f3d847a5
more conversion to Unix line endings
2012-09-04 15:59:50 -07:00
256cd06460
Convert all Java source files to use Unix line endings; no semantic change
2012-09-04 15:56:05 -07:00
4cc3a08b63
comment attempting to explain how 'dimensionality' works
2012-08-31 15:45:56 -04:00
319eacc529
merge changes and changes for atomic sets work
2012-08-29 16:35:34 -04:00
419d1d50cc
Merge branch 'github_master' and remove Eclipse dependencies.
...
Specifically, rewrite ProgressMaster to not depend on Eclipse, and move
to com.ibm.wala.util. Now, we can use timeout-based code in packages
without introducing an Eclipse dependency.
2012-08-28 12:39:52 -07:00
06205fdb73
patch from mailing list to handle different constructor arguments for ClassLoaderImpl
2012-08-28 10:51:20 -07:00
e946d1deb9
fixes for misuse of getDimensionality
2012-08-28 12:02:48 -04:00
ffff4c244d
fix for bug in reading xml summaries
2012-08-28 11:10:46 -04:00
bb2c45803c
Merge branch 'github_master' into internal_merge
2012-08-21 16:57:27 -07:00
cf04da7613
handle a couple of corner cases. some (very) basic support for pointer / reference types
2012-08-21 16:56:50 -07:00
bab4777e4c
some (very) basic support for pointer / reference types
2012-08-21 16:56:18 -07:00
800203a71f
improved documentation
2012-08-21 16:55:30 -07:00
3317c1ccf6
basic compatibility with Java 7 (i.e., don't crash immediately)
2012-08-03 15:41:09 -07:00
7aaba4bc5a
Bug fix in dispatch logic + test
...
Due to constant parameters, we can't assume that constraints don't need
to be generated when we've already seen a target at a call site (since
the previous constraints may have only passed certain constant parameter
values, rather than all parameter values). Add a check to handle these
cases correctly.
2012-07-30 12:40:48 -07:00
2299d8a13a
improve caching of receiver values when handling dispatch
2012-07-17 12:11:55 -07:00
4b3cba710d
changes from upstream
2012-06-29 15:47:54 -04:00
0938354288
Fix for bug reported by Thomas Deuster on mailing list.
...
The issue was that it's possible for multiple invoke instructions with
different actual parameters to be associated with a single CallSiteReference.
In this case, the invariant parameters for each invoke instruction may differ.
2012-05-15 09:40:39 -06:00
abeba01a16
Made CallString's .toString() more informative.
2012-05-14 17:58:29 -07:00
49c00ca231
Made CallStringContextSelector correctly call base's getRelevantParameters().
2012-05-14 17:57:28 -07:00
f049b24934
Added getters used in my code.
2012-05-14 17:55:40 -07:00
c415f3e0fd
Enhanced pointer analysis to reason that arrays known to be of zero length
...
cannot have any contents.
2012-05-09 15:35:54 -06:00
28a351200d
handle invocations of static methods in ReceiverTypeContextSelector (patch from Daniel Perelman)
2012-05-03 16:30:55 -06:00
02ba68a349
update manifests for move of the CorePlugin class
2012-04-17 15:37:27 -04:00
c116f16823
got code to compile again, and wala.core regression tests pass
2012-04-16 22:30:03 -04:00
e0d3df8ea7
Merge branch 'fileprovider-instance' into eclipse-dep
2012-04-16 14:57:42 -04:00
2edb070437
changed FileProvider to have instance methods
2012-04-16 14:57:14 -04:00
1b4e0828d6
remove Eclipse dependencies from wala.core MANIFEST.MF; still need to fix up code
2012-04-16 13:47:49 -04:00
676a72bac2
fix for issue 3506051 from SourceForge tracker
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4555 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-04-03 22:48:10 +00:00
a28f0df3b7
change resolveField() to pass type when resolving a field
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4553 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-04-03 22:41:21 +00:00
Manu Sridharan
Julian Dolby
Cosmin Radoi
Daniel Perelman
msridhar1