sjfink
|
9f7b946458
|
minor code cleanup
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3704 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-06-25 13:07:06 +00:00 |
|
sjfink
|
8b6de42283
|
format to naming conventions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3703 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-06-25 12:49:45 +00:00 |
dolby-oss
|
99f7883d0c
|
fix to demandpa regression failures
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3561 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-04 14:09:58 +00:00 |
|
sjfink
|
de6adbc4d7
|
more migration to Java assertions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3559 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-01 17:42:28 +00:00 |
|
sjfink
|
9939142eae
|
switch from Assertions._assert to Java assertions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3555 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-04-30 13:16:52 +00:00 |
|
sjfink
|
77101da20f
|
misc. cleanups
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3434 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-04-10 19:48:32 +00:00 |
|
dolby-oss
|
e80dc6ef8c
|
refactor handling of constants in Shrike to abstract away from Java bytecode
introduce factories to create SSAInstruction objects
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3433 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-04-10 18:33:07 +00:00 |
|
sjfink
|
957cb2b8ca
|
deprecate Trace
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3432 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-04-09 20:31:14 +00:00 |
msridhar1
|
e08ed2663f
|
Deprecate Iterator2Collection.toCollection(); use toSet() or toList() instead.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3421 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-04-09 15:24:42 +00:00 |
|
sjfink
|
9636dd278a
|
misc. documentation and IllegalArgument tests
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3391 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-03-31 18:38:03 +00:00 |
|
sjfink
|
93411336ba
|
misc. small fixes and documentation
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3372 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-03-26 20:56:08 +00:00 |
|
sjfink
|
712ed8dcb7
|
bug fix in iterator()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3324 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-03-16 21:37:55 +00:00 |
|
sjfink
|
34fd3dafde
|
misc. API hardening. documentation, IllegalArgumentExceptions, some other exception cleanups, and some reduced visibility for fragile code.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3321 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-03-16 20:40:56 +00:00 |
|
sjfink
|
a0fe8ce52c
|
more documentation and IllegalArgumentExceptions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3320 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-03-16 16:45:39 +00:00 |
|
sjfink
|
c095615761
|
more documentation and IllegalArgumentExceptions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3315 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-03-16 14:58:32 +00:00 |
|
sjfink
|
b8f49b5564
|
precondition checks and documentation
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3310 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-03-13 21:16:38 +00:00 |
|
sjfink
|
0c19a47c91
|
more IllegalArgumentExceptions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3298 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-03-12 21:08:07 +00:00 |
|
sjfink
|
b001a5d2f5
|
more IllegalArgumentExceptions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3292 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-03-12 16:02:13 +00:00 |
|
sjfink
|
8edeaf893d
|
more IllegalArgumentExceptions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3287 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-03-11 20:10:40 +00:00 |
|
sjfink
|
4472b30826
|
more IllegalArgumentExceptions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3279 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-03-11 17:44:29 +00:00 |
|
sjfink
|
f63e374a4b
|
more IllegalArgumentExceptions. a few small bug fixes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3278 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-03-11 16:57:32 +00:00 |
|
sjfink
|
4d1f7ab35f
|
more IllegalArgumentExceptions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3272 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-03-10 21:18:07 +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 |
|
dolby-oss
|
b61135c8be
|
adapt to Shrike changes: divorce SSAInstruction from the Shrike Instruction, which requires adding a type parameter to ControlFlowGraph and propagating that change. Also, stop using the JVML opcode in a few places where it was (unnecessarily) being used.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3227 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-02-19 15:58:31 +00:00 |
|
msridhar1
|
92ffa60892
|
disable handling of java.lang.Class methods when Method.invoke handling is disabled
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3222 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-02-13 15:06:17 +00:00 |
|
msridhar1
|
512634d9e6
|
bug fix
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3217 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-02-06 18:35:46 +00:00 |
|
msridhar1
|
714d6ac94b
|
bug fix
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3216 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-02-06 18:28:51 +00:00 |
|
msridhar1
|
5afc8190f5
|
bug fix, added repOk()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3215 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-02-06 15:18:45 +00:00 |
|
msridhar1
|
c66aa5c696
|
implement equals() and hashCode()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3204 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-02-03 19:22:34 +00:00 |
|
msridhar1
|
7b10fbfe5e
|
add a comment
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3203 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-02-03 19:22:21 +00:00 |
|
msridhar1
|
e1cc93d939
|
comment
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3127 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-12-11 02:15:55 +00:00 |
|
sjfink
|
66884c2c37
|
fix Eclipse 3.4.1 compiler warnings
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3100 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-12-01 19:40:43 +00:00 |
|
msridhar1
|
b57fed7f05
|
add ability to measure (approximately and slowly) how much memory is being used to answer a query
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3097 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-11-26 19:11:40 +00:00 |
|
msridhar1
|
143c0be432
|
cleanup and fixes for refinement policies
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3091 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-11-21 21:41:10 +00:00 |
|
msridhar1
|
38f061042f
|
changed heuristic for on-the-fly call graph refinement with a context-sensitive pre-computed call graph
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3090 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-11-21 16:28:59 +00:00 |
|
sjfink
|
dfcbf65e7b
|
misc. minor cleanups
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2988 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-08-14 21:05:14 +00:00 |
|
msridhar1
|
48fbc9099a
|
rename a method
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2957 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-07-11 18:00:45 +00:00 |
|
msridhar1
|
bc51c3a3bd
|
use IClassHierarchy instead of ClassHierarchy
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2898 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-20 17:02:53 +00:00 |
|
msridhar1
|
e80035b0f9
|
small tweaks
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2895 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-19 15:02:38 +00:00 |
|
msridhar1
|
a5a37d4c99
|
new class
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2894 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-19 14:36:44 +00:00 |
|
sjfink
|
14cb7a7f1b
|
just format
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2891 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-16 15:53:34 +00:00 |
|
sjfink
|
418c0181dc
|
attempt to fix bug [ 1992941 ] Assertion contains side-effect -> crash
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2887 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-13 15:27:55 +00:00 |
|
msridhar1
|
3a3c9afaca
|
optimizations
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2879 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-10 14:49:38 +00:00 |
|
msridhar1
|
d9cb829c65
|
demandpa: bug fixes, refactor some multi-dim array code
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2877 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-04 21:13:40 +00:00 |
|
msridhar1
|
f19ae9a625
|
bug fix
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2871 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-05-29 19:37:19 +00:00 |
|
msridhar1
|
229180b76e
|
remove bad comment
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2863 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-05-28 20:48:31 +00:00 |
|
msridhar1
|
671a6e57df
|
bug fixes, debugging prints
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2862 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-05-28 20:34:00 +00:00 |
|
sjfink
|
b1add32430
|
more UTF-8 fixes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2861 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-05-28 18:39:52 +00:00 |
|
sjfink
|
821e94469e
|
use UTF-8 in comments
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2857 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-05-28 18:00:26 +00:00 |
|
sjfink
|
8fe9467be8
|
remove references to Trace
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2830 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-05-22 19:17:23 +00:00 |