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 |
dolby-oss
|
c707604d22
|
beginnings of support for handling indirect references (e.g. access via pointers) to the SSA values in the IR. Currently, pushed through Shrike but with only the beginnings in core. Also, not yet integrated with the way lexical scoping works in CAst, which ought to be fixed
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3606 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-20 18:59:53 +00:00 |
dolby-oss
|
de9c7a317b
|
print parse errors
adapt to wala changes for pointers
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3605 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-20 18:56:23 +00:00 |
dolby-oss
|
18a3e1ef07
|
fix minor warnings
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3604 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-20 18:55:14 +00:00 |
dolby-oss
|
314b50db61
|
more verbose parse error
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3603 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-20 18:54:40 +00:00 |
dolby-oss
|
50a4df0f32
|
more stuff deemed 'relevant' for JMM
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3602 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-20 17:07:18 +00:00 |
msridhar1
|
b760a8282c
|
remove redundant throws declaration
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3601 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-20 12:59:19 +00:00 |
omertripp
|
093cc5a927
|
FEAT: - type inference is now language-agnostic.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3600 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-19 20:30:32 +00:00 |
dolby-oss
|
4595806dc9
|
slice locks for concurrent code
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3599 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-19 18:02:53 +00:00 |
msridhar1
|
61b3b5d049
|
Added interface IExplodedBasicBlock. Implemented more methods in ExplodedBasicBlock. Formatting.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3598 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-19 14:46:11 +00:00 |
sjfink
|
42bcf0010d
|
add IClass.isPrivate
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3597 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-15 19:04:19 +00:00 |
dolby-oss
|
2e8da872c0
|
support for replication-based translation of Do loops in Java, so that the standard LOOP node type can be used.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3596 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-15 16:06:09 +00:00 |
dolby-oss
|
031d95194d
|
fix isFinal
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3595 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-14 20:21:08 +00:00 |
dolby-oss
|
7c01256b30
|
fix hackish multithreaded support to deal with array writes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3594 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-14 19:15:45 +00:00 |
sjfink
|
31c5efdc56
|
add IClass.isPrivate()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3593 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-14 17:24:26 +00:00 |
msridhar1
|
c731cacb63
|
allow for notification that the underlying call graph has changed
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3592 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-13 19:34:12 +00:00 |
sjfink
|
1a96b8fa04
|
remove unnecessary declared exception
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3591 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-13 17:38:23 +00:00 |
etorlak
|
f6da5c76d8
|
Added the missing type parameter to the return value of iterateDiscoverTime(...)
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3590 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-09 16:18:12 +00:00 |
dolby-oss
|
ff1318ef4c
|
new class loader apis to allow querying source file names and streams using a method and offset into it, rather than a class. This is to accommodate languages in which method bodies can be from multiple places, e.g. due to constructs lie #include. To reflect the fact that classes are no longer assumed to have a single source file, the old apis using just a class are deprecated and declared to throw NoSuchElementException.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3589 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-07 16:51:21 +00:00 |
dolby-oss
|
21cc158777
|
new class loader apis to allow querying source file names and streams using a method and offset into it, rather than a class. This is to accommodate languages in which method bodies can be from multiple places, e.g. due to constructs lie #include. To reflect the fact that classes are no longer assumed to have a single source file, the old apis using just a class are deprecated and declared to throw NoSuchElementException.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3588 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-07 16:47:04 +00:00 |
dolby-oss
|
01aa70a245
|
language fixes for void type
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3587 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-07 16:43:57 +00:00 |
dolby-oss
|
0890ed0795
|
trivial bug fix
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3585 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-07 16:41:10 +00:00 |
sjfink
|
f39b9cf43a
|
revert previous checkin (a major API change to IClass.getSourceFile())
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3584 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-07 14:38:07 +00:00 |
omertripp
|
2113f3e601
|
REFACTOR: - code changes to accommodate .NET into WALA. A .NET class maps onto multiple source files, and thus these changes.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3583 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-07 14:14:28 +00:00 |
omertripp
|
2ca8a07943
|
REFACTOR: - code changes to accommodate .NET into WALA. A .NET class maps onto multiple source files, and thus these changes.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3582 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-07 14:14:18 +00:00 |
omertripp
|
d5e6dd443f
|
REFACTOR: - code changes to accommodate .NET into WALA. A .NET class maps onto multiple source files, and thus these changes.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3581 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-07 14:13:52 +00:00 |
msridhar1
|
d3cd3d894c
|
remove unnecessary @Override
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3580 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-07 14:09:49 +00:00 |
sjfink
|
228ba981f6
|
format source code. no semantic change.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3579 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-07 14:01:17 +00:00 |
sjfink
|
08de74a508
|
deprecate some old unused code.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3578 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-07 13:57:33 +00:00 |
sjfink
|
db1bc2fadc
|
fix broken CAst builds.
deprecate Internal and NonNull annotations
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3577 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-07 13:51:24 +00:00 |
omertripp
|
b3c992d620
|
MAINT: - added isVoidType() query to Language interface.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3576 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-07 10:57:45 +00:00 |
rmfuhrer
|
b900acd137
|
Made ctor taking an IClassHierarchy public, and added another flavor that also takes a TypeReference (so that clients can create a fake root class associated with a class loader of their choosing).
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3575 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-06 20:28:04 +00:00 |
rmfuhrer
|
1e01e258af
|
Made buildAnalysisScope() public so that, e.g., one can build a class hierarchy without building a call graph.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3574 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-06 20:27:21 +00:00 |
rmfuhrer
|
125dcbedd9
|
Made buildAnalysisScope() public so that, e.g., one can build a class hierarchy without building a call graph.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3573 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-06 20:25:32 +00:00 |
sjfink
|
ec02ad887c
|
comments and formatting
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3572 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-06 18:25:37 +00:00 |
sjfink
|
d36f4f6d2b
|
format and clean up comments
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3571 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-06 18:13:30 +00:00 |
sjfink
|
91d3a71c3c
|
format comments
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3570 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-06 15:57:37 +00:00 |
pistoia
|
913fd56249
|
augmented preamble.js and Generator.java to have a better handle of the DOM
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3569 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-05 18:29:07 +00:00 |