sjfink
|
9c47b907d8
|
tweak comment
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3658 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-06-12 14:35:06 +00:00 |
|
sjfink
|
468dd10390
|
tweak comments
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3657 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-06-12 14:33:32 +00:00 |
|
sjfink
|
6fb883c0da
|
change declared WalaException to IllegalStateException
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3656 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-06-12 14:31:33 +00:00 |
|
sjfink
|
ecb681b1c7
|
tweak comments
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3655 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-06-12 14:25:12 +00:00 |
|
sjfink
|
ddeadebb3a
|
tweak comments
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3654 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-06-12 14:20:47 +00:00 |
|
sjfink
|
1d560e809d
|
tweak comments and formatting
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3653 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-06-12 14:19:54 +00:00 |
|
sjfink
|
c004352dd9
|
tweak comments
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3652 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-06-12 14:16:29 +00:00 |
|
sjfink
|
06d6ff8c8f
|
minor cleanups
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3651 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-06-12 14:10:12 +00:00 |
dolby-oss
|
22a2526bee
|
sanity check
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3650 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-06-12 13:17:35 +00:00 |
|
dolby-oss
|
149df3c885
|
taking address of uninitialized variable now deemed a write
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3649 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-06-12 13:17:20 +00:00 |
|
dolby-oss
|
d69012dfd9
|
fixes for non-Java primitive types
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3648 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-06-12 13:16:30 +00:00 |
|
dolby-oss
|
82ed481890
|
guard against null in a couple of places
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3647 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-06-12 13:16:05 +00:00 |
|
dolby-oss
|
d079132c07
|
fix type-o in comment
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3646 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-06-12 13:00:29 +00:00 |
msridhar1
|
556cb51c23
|
fix toString()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3645 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-06-11 15:47:12 +00:00 |
|
msridhar1
|
070530d63d
|
change comment and rename a variable
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3644 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-06-11 14:43:54 +00:00 |
|
msridhar1
|
3e305cfe88
|
extract a method; no API change
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3643 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-06-11 13:54:34 +00:00 |
omertripp
|
14e22b2985
|
FIX: - field resolution bug. the superclass is null for some subclasses of BytecodeClass, and so wrong results are returned. fixed by calling getSuperclass().
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3642 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-06-08 08:39:28 +00:00 |
|
msridhar1
|
3bc7861a73
|
add flag to control whether domain is printed
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3640 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-06-05 15:56:55 +00:00 |
|
msridhar1
|
24588b26af
|
more generics
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3639 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-06-05 15:56:36 +00:00 |
|
msridhar1
|
e8f5b0d42d
|
create class Topological and move corresponding method from DefaultFixedPointSystem
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3638 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-06-04 20:55:06 +00:00 |
|
dolby-oss
|
40d8dab1df
|
make comparisons return the int type
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3637 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-06-04 16:38:51 +00:00 |
|
msridhar1
|
06da9eb3cd
|
another type inference test
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3636 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-06-04 14:03:08 +00:00 |
|
dolby-oss
|
f8061f5e3a
|
fix to bug not initializing primitive type table for java
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3635 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-06-04 11:38:20 +00:00 |
pistoia
|
e41d024bed
|
removed unused import
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3634 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-06-04 09:27:04 +00:00 |
|
msridhar1
|
a78e1574da
|
add new type inference test
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3633 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-06-03 21:09:48 +00:00 |
|
msridhar1
|
da70060dfe
|
more comments, formatting
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3632 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-06-03 21:06:19 +00:00 |
|
dolby-oss
|
4bbd95857b
|
allow multiple languages to have the same root type
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3630 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-06-03 18:28:06 +00:00 |
|
dolby-oss
|
7c5db2241f
|
clean up printing a bit
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3629 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-06-03 18:27:39 +00:00 |
|
dolby-oss
|
be8400fdd1
|
new tests, including for Web pages
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3628 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-06-03 18:27:08 +00:00 |
|
dolby-oss
|
077467b538
|
adapt to wala changes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3627 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-06-03 18:26:29 +00:00 |
|
dolby-oss
|
ba1307cba2
|
reduce verbosity of printing
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3626 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-06-03 18:25:39 +00:00 |
|
dolby-oss
|
e85f813477
|
work on generalizing type inference
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3625 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-06-03 18:24:46 +00:00 |
|
dolby-oss
|
043b72ef10
|
add indirect loads and stores to address visitor; add type information to indirect operations
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3624 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-06-03 18:23:26 +00:00 |
|
sjfink
|
372e01c1ca
|
fix build problems
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3623 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-06-03 16:58:55 +00:00 |
|
dolby-oss
|
09eb9c33ab
|
add function expressions for URI functions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3622 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-06-01 17:35:07 +00:00 |
|
omertripp
|
e6b5264156
|
MAINT: - extended the Language interface to allow more queries on language-specific types.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3621 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-06-01 08:35:05 +00:00 |
|
sjfink
|
f229e9c2ac
|
mostly comments. A few new type parameters. No semantic changes.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3620 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-29 15:26:35 +00:00 |
|
msridhar1
|
976d16d03f
|
Made ExplodedControlFlowGraph.ExplodedBasicBlock private and changed references to point to IExplodedBasicBlock. Also, small cleanups in AbstractInterproceduralCFG, and deleted CallSiteReference.cloneReference()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3619 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-29 14:51:01 +00:00 |
|
sjfink
|
6f96d41dc2
|
remove unnecessary InvalidClassFileException declarations
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3618 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-29 14:23:29 +00:00 |
|
sjfink
|
1a181c55d5
|
tweak comments
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3617 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-28 19:00:11 +00:00 |
|
sjfink
|
076e92814c
|
tweak comments
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3616 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-28 18:58:18 +00:00 |
|
pistoia
|
a20aabfd2e
|
Overrides cloneReference() method.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3615 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-28 03:32:29 +00:00 |
|
omertripp
|
a560c32306
|
MAINT: - robustness to NPEs in case 'cfg' is null.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3614 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-27 04:24:08 +00:00 |
|
sjfink
|
478d278810
|
delete some dead comments
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3613 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-26 14:29:08 +00:00 |
|
sjfink
|
7dfb9ffddf
|
remove unnecessary ClassHierarchyException
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3612 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-26 14:28:56 +00:00 |
|
omertripp
|
4b31ac9bd4
|
MAINT: - moved treatment of SSAAddressOfInstruction into its own interface to avoid client breakages.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3611 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-24 14:05:01 +00:00 |
|
omertripp
|
95d9ef4887
|
MAINT: - moved SSAAddressOfInstruction into its own interface to avoid client breakages.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3610 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-24 14:04:05 +00:00 |
|
sjfink
|
499738f3a3
|
roll back breaking API change
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3609 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-24 12:57:44 +00:00 |
|
omertripp
|
1d99b357cf
|
MAINT: - default support for visiting SSAAddressOfInstruction in the IVisitor interface. SSAAddressOfInstruction.visit() now dispatches to the IVisitor method.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3608 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-24 05:22:10 +00:00 |
|
dolby-oss
|
277ff1ae5f
|
add needed getDef method
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3607 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-21 13:21:20 +00:00 |