Julian Dolby
656d307e15
constant instructions for MethodHandles
2014-03-16 18:07:58 -04:00
Julian Dolby
c0984fd3e5
allow access in subclasses
2014-03-16 18:06:47 -04:00
Julian Dolby
893f4b7308
type in CAst var decls
2014-03-16 18:05:49 -04:00
Julian Dolby
bfd999e03b
rename dynamic cg test
2014-03-16 18:04:21 -04:00
Julian Dolby
6b5a0825fb
some minimal support for Java 7 constant pool entries
2014-03-16 17:30:17 -04:00
Julian Dolby
7b62150502
Merge branch 'master' of https://github.com/wala/WALA
2014-03-06 14:37:38 -05:00
Julian Dolby
9a8f806939
type-o
2014-03-06 14:37:36 -05:00
Julian Dolby
c012401ad1
fix type-o
2014-03-03 14:37:16 -05: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
sjfink
6549723da1
fix spelling errors
2014-03-03 11:07:02 -08:00
Julian Dolby
2307c2c1a7
slight generalization of the temporary file support
2014-02-14 20:35:54 -05:00
Julian Dolby
3b7b59406f
add types left out of commit
2014-02-09 19:12:13 -05:00
Julian Dolby
de043e0780
add type left out of commit
2014-02-09 19:10:55 -05:00
Julian Dolby
79acda26ed
adapt to type changes
2014-02-09 19:00:31 -05:00
Julian Dolby
0d4f31ef5f
magic tycho compile option (thanks to a post by Jan Rosczak on dev.eclipse.org)
2014-02-09 18:29:04 -05:00
Julian Dolby
68cd833503
compile 1.7
2014-02-09 17:49:00 -05:00
Julian Dolby
b40cf4929b
new progress monitor functionality to handle memory limitation
2014-02-08 22:53:02 -05:00
Julian Dolby
4c25c40789
type generalization
2014-02-08 22:52:19 -05:00
Julian Dolby
969a209f1e
adaot to type generalization
2014-02-08 22:51:38 -05:00
Julian Dolby
e04ac682f3
final class
2014-02-08 22:51:22 -05:00
Julian Dolby
0964104dde
use java functionality to handle urls
2014-02-08 22:50:59 -05:00
Julian Dolby
a1ca9203a6
flow graph handles some flow through the arguments array. also a fake
...
'pointer analysis' is constructed using the flow graph.
2014-02-08 22:50:32 -05:00
Julian Dolby
81edfcdd9e
type generalization for mutable mappings
2014-02-08 21:42:16 -05:00
Julian Dolby
1ccbbbc433
allow filtering to express subtypes
2014-02-08 21:41:34 -05:00
Julian Dolby
dd6748e159
pointer analysis simulation for field-based CGs
2014-02-08 21:40:32 -05:00
Julian Dolby
b0710be5f4
new timeout mechanism
2014-02-08 21:39:55 -05:00
Julian Dolby
1aca56a575
new timeout mechanism
2014-02-08 21:39:36 -05:00
Julian Dolby
aba40663d2
new timeout mechanism
2014-02-08 21:37:39 -05:00
Julian Dolby
36e0716639
more tests
2014-02-08 21:36:56 -05:00
Julian Dolby
8d2f8ce15c
use new timeout mechanism
2014-02-08 21:36:45 -05:00
Julian Dolby
27dc4c0bb2
ignore debugger token
2014-02-08 21:35:53 -05:00
Julian Dolby
e585e1d1c2
trivial final modifier
2014-02-08 21:35:30 -05:00
Julian Dolby
428d5a0005
find arguments array vns
2014-02-08 21:34:55 -05:00
Julian Dolby
ec36f2f081
propagate source names in prototype lookups
2014-02-08 21:34:34 -05:00
Julian Dolby
2c9c0d802f
allow specialization of source name map generation
2014-02-08 21:32:51 -05:00
Julian Dolby
823cae8748
a couple of wrappers
2014-01-15 21:58:46 -05:00
Julian Dolby
b5627bbe81
test new mechanisms
2014-01-07 22:36:23 -05:00
Julian Dolby
98e631e1e2
threading support
2014-01-07 22:27:48 -05:00
Julian Dolby
1914f016dd
1) use less verbose instrumentation to reduce problems with methods
...
getting too big
2) handle issues with exceptional control flow not being followed
properly sometimes
2014-01-07 17:35:44 -05:00
Julian Dolby
1e2cc4bd6a
fix missing parentheses in test to fix null pointer crash
2014-01-07 17:34:35 -05:00
Julian Dolby
1259ab929f
1) compress dumped call graph edges
...
2) make instrumentor preserve the names of jar entries and classes as
they are input, rather than recomputing class names when writing the
output jar. This usually makes no difference, but can preserve broken
structures when the input jar file has mismatches between class names
and its entry names.
2014-01-03 10:10:03 -05:00
Julian Dolby
c7d0c452e9
more detail in assertion
2014-01-03 10:07:52 -05:00
Julian Dolby
5af42e4585
more detail in assertion
2014-01-03 10:07:11 -05:00
Manu Sridharan
014b1b52a3
Merge pull request #41 from sblackshear/patch-1
...
Update SSAConditionalBranchInstruction.java
2013-12-28 11:10:47 -08: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
sjfink
e6fed7efa3
use a more precise (covariant) return type for BitVectorIntSet.intersection
2013-12-18 06:27:43 -08:00
Julian Dolby
51d4b0e462
make urlToFile and streamToFile more flexible
2013-12-13 19:27:22 -05:00
Julian Dolby
f451a19b52
fix to put directory entries in generated instrumented jars
2013-12-09 21:41:05 -05:00
Julian Dolby
b4cf06c9dc
print less
2013-12-03 20:57:17 -05:00
Julian Dolby
ba9aa51429
print less
2013-12-03 18:07:36 -05:00