dolby-oss
|
1b1c7f2b3f
|
further Shrike refactoring to generalize instructions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3274 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-03-11 13:33:00 +00:00 |
sjfink
|
e405752518
|
bug fix for a corner case where JSR processing encounters a swap involving the return address on the stack
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3271 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-03-10 20:20:04 +00:00 |
|
dolby-oss
|
aad54f7abc
|
further Shrike refactoring to generalize instructions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3241 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-02-26 16:50:52 +00:00 |
|
sjfink
|
407497b32f
|
clean up import
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3235 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-02-19 18:38:27 +00:00 |
|
dolby-oss
|
1517a9dd7d
|
changes to make the ShrikeBT instructions less tied to the details of Java bytecode
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3226 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-02-19 15:55:50 +00:00 |
|
sjfink
|
06b647f8dd
|
bug fix with logical operators
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3035 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-09-12 13:59:27 +00:00 |
|
sjfink
|
145bb80e22
|
make an inner class static
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3006 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-08-21 22:13:36 +00:00 |
|
sjfink
|
b19397531b
|
misc. minor cleanups
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2996 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-08-20 16:06:17 +00:00 |
|
sjfink
|
59c6cac381
|
support for reading InnerClass attributes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2991 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-08-15 14:49:41 +00:00 |
msridhar1
|
6b82b15311
|
removed a call to intern()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2914 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-26 18:12:14 +00:00 |
|
sjfink
|
9883d09e29
|
optimize .. avoid a call to clone()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2799 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-05-12 13:33:50 +00:00 |
|
sjfink
|
52488676e4
|
more IllegalArgumentExceptions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1738 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-09-07 01:56:04 +00:00 |
|
sjfink
|
3a00b38779
|
another IllegalArgumentException
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1680 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-28 12:20:20 +00:00 |
|
sjfink
|
864d634bf1
|
more precondition checking
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1639 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-21 02:45:30 +00:00 |
|
sjfink
|
1f67550d3c
|
add more checks for IllegalArgumentExceptions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1629 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-17 21:09:49 +00:00 |
yahave
|
ecf64b2f76
|
Dillig: add handling of annotations
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1529 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-20 21:35:04 +00:00 |
|
sjfink
|
cc3303f9ee
|
massive overhaul of Warnings management
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1381 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-06 22:07:33 +00:00 |
|
sjfink
|
398f1e5f98
|
add some @NonNull annotations
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1245 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-06-06 02:48:10 +00:00 |
|
sjfink
|
3beebfc161
|
make opcode final and associated refactoring
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1243 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-06-05 01:37:22 +00:00 |
|
sjfink
|
09723fdc2b
|
make some fields final
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1242 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-06-05 01:17:18 +00:00 |
|
sjfink
|
0119a40be4
|
make many fields final
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1233 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-06-01 21:39:03 +00:00 |
|
sjfink
|
8bd2aaf0a4
|
1) adjust somewhat to recent API changes.
2) fix equals() bug in Statement
3) general cleanups
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1221 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-06-01 14:05:51 +00:00 |
|
sjfink
|
ea9c4a2f93
|
eliminate some use of raw types
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1206 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-05-30 20:52:57 +00:00 |
|
sjfink
|
e8e0ae5d30
|
mostly clean up old comments.
also rename InferGraphRootsImpl to InferGraphRoots
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1199 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-05-30 18:59:34 +00:00 |
|
sjfink
|
60058dec8b
|
add @Overrides annotations and nuke unnecessary casts
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1198 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-05-30 15:42:59 +00:00 |
|
sjfink
|
20948ddc00
|
make some fields final
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1196 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-05-29 19:26:46 +00:00 |
|
sjfink
|
6c24d936c7
|
add a @NonNull annotation
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1195 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-05-29 19:26:20 +00:00 |
|
sjfink
|
fd42c1839d
|
initial revision
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1185 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-05-28 00:11:24 +00:00 |
|
sjfink
|
637bdaf379
|
more argument checking
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1162 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-05-22 02:26:40 +00:00 |
|
sjfink
|
74aaeac399
|
more argument checking
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1156 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-05-21 16:04:40 +00:00 |
|
sjfink
|
d3c8d535c0
|
more IllegalArgumentExceptions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1149 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-05-17 20:27:33 +00:00 |
|
sjfink
|
36dd8e9329
|
more hardening against malicious inputs
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1136 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-05-16 18:58:31 +00:00 |
|
sjfink
|
243d47a154
|
validate some arguments; throw IllegalArgumentExceptions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1118 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-05-15 03:13:51 +00:00 |
|
sjfink
|
3f1d0c4f58
|
harden against invalid arguments. annotate some methods as throws NPE.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1097 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-05-08 21:23:06 +00:00 |
|
sjfink
|
876a5225ec
|
check arguments to public methods
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1018 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-04-26 20:35:01 +00:00 |
|
sjfink
|
0c1b11ff76
|
misc. cleanups and annotations
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1016 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-04-26 18:15:49 +00:00 |
|
sjfink
|
4f9d62784e
|
bug fixes, cleanups, and more generics
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1013 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-04-26 17:29:29 +00:00 |
|
sjfink
|
9e6c8864e8
|
annotations and minor cleanups
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1007 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-04-26 13:53:00 +00:00 |
|
sjfink
|
fcbb12a5dd
|
support major version 50.0 (Java 6.0)
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@806 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-02-28 14:08:50 +00:00 |
|
sjfink
|
0fd0226fd5
|
bug fix from c. hammer
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@791 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-02-26 20:06:48 +00:00 |
|
sjfink
|
718b903f34
|
apply patch 1656315 from C. Hammer
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@705 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-02-09 19:56:53 +00:00 |
|
sjfink
|
1a42d42bed
|
misc bug fixes and annotations
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@594 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-01-19 15:23:48 +00:00 |
|
sjfink
|
d8154e1038
|
misc. bug fixes and annotations
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@581 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-01-15 21:06:11 +00:00 |
|
sjfink
|
08e6f673ba
|
misc. bug fixes and annotations
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@578 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-01-15 18:31:14 +00:00 |
|
sjfink
|
f7551c352f
|
misc annotations and assertions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@575 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-01-15 15:08:12 +00:00 |
|
sjfink
|
5902154d3e
|
limited support for annotations
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@571 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-01-12 20:56:33 +00:00 |
|
sjfink
|
9dfd8bc302
|
initial check-in of Internal annotation
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@563 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-01-12 14:49:25 +00:00 |
|
sjfink
|
126aa72d17
|
add getSignature()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@557 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-01-11 15:18:19 +00:00 |
|
sjfink
|
0b5fe06157
|
support Java 5.0 Signature attribute and small refactorings
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@546 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-01-10 14:45:42 +00:00 |
|
sjfink
|
401ee0be5a
|
support Java 5.0 Signature attribute and small refactorings
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@544 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-01-10 14:41:34 +00:00 |
|
sjfink
|
335bf7de1e
|
support Java 5.0 Signature attribute and small refactorings
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@543 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-01-10 14:41:02 +00:00 |
|
sjfink
|
68270cad6f
|
mv stuff to trunk
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@492 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2006-11-22 17:45:24 +00:00 |