Julian Dolby
3910608d60
JavaScript slicer support
2014-07-11 11:55:02 -04:00
Julian Dolby
dd3124479e
allow control flow in induced cfgs, and various related fixes
2014-07-08 14:44:06 -04:00
Julian Dolby
d6ffcdc3bb
more checking
2014-07-08 14:41:28 -04:00
Michael Heilmann
ea40719069
Merge branch 'master' of https://github.com/wala/WALA into development
2014-06-26 17:52:47 +02:00
Michael Heilmann
0bb5e6998e
Remove redundant casts and imports, improve doc comments
2014-06-26 17:51:26 +02:00
Manu Sridharan
8e33a70c91
Merge pull request #53 from aaandrewww/master
...
Fix bug in ClassHierarchy.getLeastCommonSuperClass and imprecision in type inference
2014-06-22 12:08:59 -07:00
markus
ec2d2e9c9c
fixed JavaDoc warnings
2014-06-20 10:31:27 +02:00
markus
50c9c4a406
fixed JavaDoc warnings
2014-06-20 10:27:05 +02:00
Andrew Johnson
be4e805dc4
Merge remote-tracking branch 'wala/master'
2014-05-22 00:40:20 -04:00
Andrew Johnson
c3202533f7
Fixing bug in ClassHierarchy.getLeastCommonSuperclass
...
If C1 extends C2 extends C3 getLeastCommonSuperClass(C1,C2) would give C3 instead of C2
2014-05-21 23:28:11 -04:00
Sam Blackshear
0fba08e581
adding comment explaining why instanceof check was replaced
2014-05-20 11:50:40 -06:00
Sam Blackshear
fd47590634
Check class of parent variable directly rather than using instanceof check. Needed to get correct behavior for subclasses of ClassHierarchyMethodTargetSelector
2014-05-20 09:30:54 -06:00
Michael Heilmann
080fc8253e
Merge branch 'master' of https://github.com/wala/WALA into development
2014-05-20 13:18:52 +02:00
Michael Heilmann
efdd337dee
add and enable GetMethod context, interpreter and selector and associated unit tests
2014-05-20 13:12:06 +02:00
Michael Heilmann
45fe53a8bf
make NodeDecorator generic
2014-05-20 13:12:03 +02:00
Julian Dolby
7c0de83e74
move to Reader API to help with annoying /r/n issues is source mapping
2014-05-20 13:11:55 +02:00
Manu Sridharan
dddd830d14
synchronize methods. Fixes #43
2014-05-20 13:11:47 +02:00
Julian Dolby
6511d6acc3
move java 7 dependent code to core, so util works with java 6
2014-05-20 13:10:49 +02:00
Julian Dolby
dbd9c60d4f
type generalization
2014-05-20 13:10:22 +02:00
Sam Blackshear
4b7852472d
Update SSAConditionalBranchInstruction.java
...
Changing SSAConditionalInstruction.isObjectComparison(): previous definition returns true for comparisons of Primordial scope objects, but false for Application scope objects. The update version returns true in both cases
2014-05-20 13:08:59 +02:00
Michael Heilmann
f3dac38bc9
remove empty package
2014-05-20 12:49:58 +02:00
Michael Heilmann
d1f6564d23
fix doc comments
2014-05-20 12:49:56 +02:00
Michael Heilmann
349a8f8355
move GetMethod context, interpreter and selector into appropriate package, fix copyright notice
2014-05-20 12:49:53 +02:00
Michael Heilmann
525c203a8b
improve doc comments
2014-05-20 12:49:45 +02:00
Michael Heilmann
6c5ef65d5f
commit GetMethod context, interpreter and selector
2014-05-20 12:49:23 +02:00
Andrew Johnson
b29bc2dac0
Fix imprecision in type inference when merging a point array type and cone array type
...
In TypeInference when merging a PointType with a ConeType it is safe to return the cone type if
the underlying types are the same. Previously, if an array cone type and array point type were
merged this would result in a java.lang.Object even when the two arrays had the same base type.
Checking for equality first may also save a few cycles for reference types since the
isSubclass check is no longer performed for identical types.
2014-05-19 22:02:45 -04:00
Manu Sridharan
fee72dfb66
Update AbstractNestedJarFileModule.java
...
Fixes #45
2014-05-16 10:30:05 -07:00
Julian Dolby
92bec0cc0b
move to Reader API to help with annoying /r/n issues is source mapping
2014-04-29 11:21:01 -04:00
Manu Sridharan
600e5ad50f
synchronize methods. Fixes #43
2014-04-24 12:35:34 -07:00
Julian Dolby
3bc0ad9a2c
move java 7 dependent code to core, so util works with java 6
2014-03-03 14:30:19 -05:00
Julian Dolby
4c25c40789
type generalization
2014-02-08 22:52:19 -05:00
Sam Blackshear
928555d425
Update SSAConditionalBranchInstruction.java
...
Changing SSAConditionalInstruction.isObjectComparison(): previous definition returns true for comparisons of Primordial scope objects, but false for Application scope objects. The update version returns true in both cases
2013-12-27 13:06:39 -05:00
Julian Dolby
0ccaae3b2c
pull exclusions file support into util project and then share it with
...
the shrike-based dynamic call graph builder so that static and dynamic
graphs can be built consistently more easily.
2013-11-14 13:02:56 -05:00
Julian Dolby
cfb516a758
code to handle 'Class-Path' in jar files added to the scope. done for a
...
specific use, and so probably a little flaky.
2013-10-01 13:59:30 -04:00
Julian Dolby
a8fdf96cde
fix (i think) to edge computation caching
2013-09-26 13:15:32 -04:00
Manu Sridharan
8984637b86
make classes public. Fixes #32
2013-09-16 10:32:29 -07:00
Julian Dolby
beab92e359
Fixed bugs in the front end handling esoteric cases of weird control
...
flow.
added support for JavaScript projects read from Eclipse that are based
on HTML files as well as JavaScript files
2013-07-30 14:04:08 -04:00
Manu Sridharan
e11f8b3182
patch to improve mapping of classes to source files
2013-07-08 15:26:28 -07:00
Manu Sridharan
b984760100
support for reading method parameter annotations from Java bytecodes
2013-06-28 11:44:47 -04:00
Julian Dolby
55b64712fc
merge conflict
2013-06-25 12:02:12 -04:00
Julian Dolby
080325b5f6
merge
2013-06-25 11:57:37 -04:00
Julian Dolby
3015d1c5f9
added container access to ModuleEntry
2013-06-25 11:53:58 -04:00
Manu Sridharan
05a9961108
add missing @Override annotations; no semantic change
2013-06-10 14:37:19 -07:00
Manu Sridharan
878cfa615d
changes to get tests passing on Java 7
2013-05-26 10:07:46 -07:00
Manu Sridharan
7ca109967d
read J2SE jars from bootclasspath if wala.properties cannot be loaded
2013-05-25 16:05:25 -07:00
Andreas Sewe
dc03348bce
Fix thread-safety bug in BytecodeClass.computeMethodMap
...
The map must not be modified after BytecodeClass.methodMap
has become non-null.
2013-05-24 10:25:01 +02:00
Manu Sridharan
3b1889121b
add missing copyright headers
2013-05-22 15:39:19 -07:00
Julian Dolby
dd6510da29
Merge branch 'master' of https://github.com/wala/WALA.git
2013-05-15 14:04:44 -04:00
Manu Sridharan
c4ce3999cd
fix possible NPE
2013-05-15 10:55:58 -07:00
Julian Dolby
310d0fff25
changes to ease use of WALA from an executable jar. also some very
...
basic support for GXL, a graph format used by some software engineering
tools.
2013-05-15 13:36:30 -04:00