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
72f85ba2a9
add a simple driver for building a call graph via a scope file
2013-01-25 10:41:11 -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
1d06b2f764
organize imports
2013-01-22 15:42:04 -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
6465edbaee
test fix
2013-01-09 14:30:56 -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
309fb33689
added date-property.js
2013-01-08 20:38:32 -05: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
583ebd3ce4
publicize method makeClasspath(). deprecate quoteStringIfNeeded()
2013-01-04 13:30:44 -08:00
730151956f
organize imports
2013-01-04 12:00:26 -08:00
7cf0baeee3
javadoc
2013-01-04 11:34:02 -08:00
bf6b6bd685
renamed classes to make relationship to mod-ref analysis clearer
2013-01-04 09:35:04 -08:00
5aa3a16587
add support for lexical writes
2013-01-03 16:09:48 -08:00
26e7eb50ba
Code to compute transitive lexical accesses of methods.
...
The TransitiveLexicalAccesses class computes the lexical variables
read by a CGNode and its transitive callees. Also, a basic test case.
2013-01-03 15:58:07 -08:00
8ed998a249
extract some generally useful code from ModRef
2013-01-03 15:57:38 -08:00
6084f4ff61
Generate proper InstanceFieldKeys for property accesses with Numbers.
...
Note that this change actually breaks a couple of our unit tests. But,
it seems they were only passing by accident before anyway, and this change
at least leads to a more consistent handling of dynamic property accesses
with String vs. Number property names.
2012-12-18 10:11:59 -08:00
6677587ff5
rewrite to make hardest test appear last
2012-12-18 10:11:43 -08:00
dd98150ed8
fix test to properly check reachability
2012-12-17 20:38:17 -08:00
1bf2c64ba7
add an array test that doesn't quite work
2012-12-17 16:52:31 -08:00
5bcdb30014
add method to get a PointerKey for a global
2012-11-30 13:37:34 -05:00
4a87d7b145
compare FieldValueDispatch objects based on CGNode as well
2012-11-30 11:04:48 -05: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
10172606bb
add project-specific settings to build with 1.6 compiler
2012-11-29 13:47:01 -08:00
160337ac85
Create new project com.ibm.wala.ide.jsdt.tests.
...
We want a separate project for these tests, so beginning users
aren't forced to install JSDT to run the older tests in
com.ibm.wala.ide.tests.
2012-11-28 12:09:55 -05:00
846a047aba
change handling of vm args to avoid problems with spaces
2012-11-27 22:19:57 -08:00
4f06e75e8d
fix a logging statement
2012-11-27 22:18:47 -08:00
d78e8fe25c
delete debugging printf statement
2012-11-27 15:18:48 -08:00
1448f506eb
revamp JavaLauncher sequence to avoid problems with spaces on MacOS
2012-11-27 14:47:09 -08:00
f2a14ecb52
add a version of spawnProcess() that accepts an array of Strings. This version should be used for commands that involve spaces on MacOSX.
2012-11-27 14:15:23 -08: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
f0d75ede73
update ignores
2012-11-27 13:53:31 -05:00
fea7d4b35d
Merge branch 'master' of riverdale.watson.ibm.com:jsanalysis
2012-11-21 11:39:54 -08:00
821479d1a6
remove unnecessary casts
2012-11-21 11:39:25 -08:00
d09fc511e2
Added a logging stopwatch for debugging.
2012-11-20 10:45:56 -05:00
d5dc65268e
don't let nanny thread for timeout prevent JVM exit
2012-10-26 14:29:24 -07:00
928c5337f0
Added utility method to filter a collection by element type.
2012-10-11 11:49:39 -04:00
3ee6f9d229
Merge branch 'master' of github.com:wala/WALA
2012-10-08 13:34:04 -07:00
fae5d9f3dd
weaken recursion check slightly
2012-10-08 13:33:45 -07:00
bcee68c412
bug fix in generated IR
2012-10-08 13:32:59 -07:00
d8985fe60b
Merge branch 'master' of https://github.com/wala/WALA.git
2012-10-03 10:53:39 -04:00
f7a7d66b28
move loop unrolling code to wala from Miniatur/MemSAT
2012-10-03 10:53:04 -04:00
695b9948a3
fix getNodes() to correctly return nodes corresponding to constructors
2012-10-02 12:27:31 -07:00
fae5c86114
fixes for users of JDT interfaces, such as Miniatur/MemSAT
2012-10-01 13:11:10 -04:00
d7b2b3cd30
Merge branch 'master' of https://github.com/wala/WALA.git
2012-10-01 12:10:35 -04:00
Cosmin Radoi
Julian Dolby
Manu Sridharan
sjfink
Max Schaefer