dolby-oss
|
a4d157480d
|
adapt to checkcast change
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3822 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2010-04-28 19:36:52 +00:00 |
msridhar1
|
9e95053a59
|
add / fix some docs
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3803 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2010-02-21 23:09:28 +00:00 |
dolby-oss
|
542a1ae876
|
clean up sample make config
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3789 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2010-01-06 13:53:34 +00:00 |
msridhar1
|
05744fe19b
|
change isVolatile() in IMethod to isBridge(), better reflecting Java spec
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3777 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-12-03 16:56:49 +00:00 |
dolby-oss
|
e877067710
|
Ishizaki-san's patch for hasMonitorOp
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3733 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-07-17 13:58:55 +00:00 |
sjfink
|
a0efbee8ff
|
Major refactoring to introduce com.ibm.wala.ide. Many related changes and patches from Marcelo Paternostro.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3693 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-06-22 15:06:12 +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
|
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 |
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 |
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
|
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
|
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 |
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 |
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 |
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
|
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 |
rmfuhrer
|
d38bfeb577
|
Added toString() impl.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3565 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-05 15:38:27 +00:00 |
dolby-oss
|
c3769d5717
|
performance and other fixes driven by models of Web pages for JavaScript
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3562 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-04 14:11:31 +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
|
17c2aa7588
|
remove unnecessary ClassHierarchyExceptions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3558 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-01 13:04:33 +00:00 |
sjfink
|
948dab4d0d
|
remove ClassHierarchyException from IClass.getAllMethods
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3557 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-01 12:50:17 +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 |
dolby-oss
|
74609400e7
|
jni fixes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3550 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-04-30 02:04:14 +00:00 |
sjfink
|
829145e97b
|
Nuke ClassHierarchyException from IClass.getSuperclass()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3539 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-04-28 19:52:34 +00:00 |
dolby-oss
|
7822d1489f
|
slight generalization
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3504 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-04-22 16:37:47 +00:00 |
sjfink
|
addfb7ddc2
|
organize imports
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3483 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-04-20 12:54:33 +00:00 |
dolby-oss
|
f6f7b92bfe
|
clean ups, and work on error reporting in the CAst front end
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3461 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-04-15 12:52:40 +00:00 |
sjfink
|
dd65f0b53a
|
add copyright notices.
avoid using Trace.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3438 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-04-13 13:49:22 +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 |
dolby-oss
|
b2bae33bab
|
generalize parsing of Descriptors to also handle languages other than Java
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3366 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-03-26 15:11:45 +00:00 |
sjfink
|
9293a5fdeb
|
more support for linking bytecode to Java source
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3308 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-03-13 18:51:06 +00:00 |
sjfink
|
ed13ddbb17
|
bug fix 2666538: make ClassLoaderReference immutable, and related API fixes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3302 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-03-13 14:20:35 +00:00 |
sjfink
|
aeda43e97e
|
minor cleanups
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3265 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-03-09 17:59:09 +00:00 |
sjfink
|
ec2c48b42a
|
organize imports
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3263 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-03-09 17:49:23 +00:00 |
dolby-oss
|
3e198f8244
|
merge of development on internal branch. Support for cross-building JNI code for Windows, and refactoring of abstract loader support.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3242 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-02-26 16:54:30 +00:00 |
dolby-oss
|
65bfb788b7
|
adapt to core changes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3228 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-02-19 15:59:01 +00:00 |
dolby-oss
|
9979d0899c
|
more fixes to lexical scoping for JavaScript
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3196 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-01-30 16:33:22 +00:00 |
dolby-oss
|
f8d02b4541
|
fixes for JavaScript for Anders
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3191 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-01-27 17:40:11 +00:00 |
dolby-oss
|
37e0676e93
|
fixes to unary operators for JavaScript
(i.e. unary +x is not the same as x+0, same for unary -x)
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3190 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-01-22 14:38:34 +00:00 |
dolby-oss
|
8d3c76715c
|
misc. fixes motivated by JavaScript
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3175 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-01-19 15:12:39 +00:00 |
dolby-oss
|
cc1771db48
|
allow clients to use AstCGNode
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3149 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-12-23 14:32:42 +00:00 |
dolby-oss
|
c78d2c50a8
|
fix method type to match parent class
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3148 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-12-23 04:46:57 +00:00 |
sjfink
|
b1f300156e
|
patch from yinnon to make analysis scopes obey list order
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3144 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-12-17 19:52:27 +00:00 |
dolby-oss
|
ff27c9122f
|
further work on lexical scoping
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3133 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-12-16 14:27:42 +00:00 |
msridhar1
|
5fd0909a7d
|
changed execution environment to J2SE1.5. Fixed some warnings.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3113 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-12-02 17:01:50 +00:00 |
dolby-oss
|
309a9b6d72
|
enhancements to handling of lexical scoping
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3109 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-12-02 14:08:12 +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 |
dolby-oss
|
f90c091819
|
integrate changes for X10 analysis and fix for inexplicable compile issue with Eclipse 3.4
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3081 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-11-06 17:57:20 +00:00 |
dolby-oss
|
42ffd051dc
|
optimization of getAllExposedUses for lexical scoping
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3046 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-10-03 20:10:09 +00:00 |
sjfink
|
83e7591ab5
|
bug fixes with TypeReferences and RuntimeException reasoning
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2998 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-08-20 16:07:50 +00:00 |
sjfink
|
ba37e01522
|
generics
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2965 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-07-27 21:32:04 +00:00 |
dolby-oss
|
6ba0be8559
|
bug fix to use the getInstructions() method more consistently
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2963 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-07-25 18:19:55 +00:00 |
sjfink
|
f8a8d1f32a
|
tweak code format
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2941 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-07-04 01:56:26 +00:00 |
sjfink
|
b68a459448
|
tweak code format
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2904 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-25 14:37:09 +00:00 |
dolby-oss
|
9880fafd30
|
clean up diagnostic messages
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2837 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-05-23 15:49:12 +00:00 |
sjfink
|
17f29570aa
|
optimizations for IR caching when context is irrelevant
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2800 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-05-12 13:34:25 +00:00 |
sjfink
|
ec363cc10a
|
fix hashcode problems and misc. minor cleanups
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2733 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-03-31 15:47:32 +00:00 |
dolby-oss
|
e509347a24
|
support for include-style constructs at the AST level
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2731 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-03-25 15:16:21 +00:00 |
sjfink
|
24ee144ef4
|
fix compile problems from wala.core changes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2678 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-03-05 13:41:45 +00:00 |
sjfink
|
bc4ebd38b8
|
delete obsolete ContextSelector.mayUnderstand()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2670 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-03-04 18:55:40 +00:00 |
sjfink
|
aa33858080
|
Simplify MethodTargetSelector and ContextSelector interfaces; delete optimizations based on allSitesDispatchIdentically and mayReturnSyntheticMethod.
Also some Cast bug fixes.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2654 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-03-03 21:32:31 +00:00 |
sjfink
|
473fe90b7c
|
delete IClass.isStatic()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2650 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-03-03 01:48:33 +00:00 |
dolby-oss
|
d1265b3575
|
minor tweaks for handling internal translator errors
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2633 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-02-28 17:44:04 +00:00 |
sjfink
|
9f2fa75340
|
delete PointerFlowGraph
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2611 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-02-24 00:05:42 +00:00 |
dolby-oss
|
d1294698bd
|
committed patch from Evan Battaglia to support outer.new inner() form. Thanks!
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2590 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-02-18 15:16:16 +00:00 |
dolby-oss
|
c8cc0fea10
|
commited patch from nvintila documenting LiveAnalysis. Thanks!
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2589 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-02-18 15:02:00 +00:00 |
sjfink
|
738de8039d
|
thread IProgressMonitor and CancelException through many APIs
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2576 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-02-13 22:34:33 +00:00 |
sjfink
|
118cdac3e8
|
new logic to interpret Class.newInstance() on a class constant, such as generated by forName(String constant).
Thanks Marco.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2574 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-02-13 18:49:00 +00:00 |
msridhar1
|
efe864998d
|
added method getTargets(IClass,MethodReference)
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2561 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-02-12 01:40:08 +00:00 |
sjfink
|
ecfb8b8d43
|
enhance reflection support to evaluate Class.forName() on a string constant.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2541 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-02-05 19:08:29 +00:00 |
sjfink
|
9f79481fbe
|
adjust to change in ModRef API
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2476 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-25 13:55:18 +00:00 |
sjfink
|
a2f9a975e4
|
adjust to ModRef API change
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2474 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-25 13:46:23 +00:00 |
sjfink
|
76c8a7f194
|
more cleanup of util packages
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2461 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-24 22:53:51 +00:00 |
sjfink
|
a359ba825d
|
refactoring: move some classes into appropriate packages
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2453 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-24 22:20:51 +00:00 |
sjfink
|
9e79661c60
|
just refactoring ... introduce 2 new packages in wala.util.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2447 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-24 22:05:51 +00:00 |
dolby-oss
|
41c8709c86
|
fixes for script entry point call sites
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2398 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-16 16:32:33 +00:00 |
sjfink
|
0a5f2232f5
|
delete obsolete ValueDecorator interface
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2388 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-15 14:40:11 +00:00 |
sjfink
|
1da32a64c1
|
tweak code format
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2373 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-11 16:51:26 +00:00 |
sjfink
|
fcfcdd191b
|
nuke support for "dispatch bound" call graph construction heuristic
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2353 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-10 22:05:55 +00:00 |
sjfink
|
1961cf923f
|
tweak code formatting for enums
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2335 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-10 16:26:09 +00:00 |
sjfink
|
3882bcbbeb
|
significant refactoring and generalization of instance keys and CFA builders
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2287 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-04 18:24:58 +00:00 |
sjfink
|
cf3c6994a3
|
tweak code formatting template
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2266 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-03 16:31:25 +00:00 |
dolby-oss
|
0a68d7609a
|
more tracing informatio for parsing problems
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2241 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-12-31 16:25:27 +00:00 |
sjfink
|
45bd43ebf8
|
add method IClass.isStatic()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2231 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-12-21 15:08:16 +00:00 |
sjfink
|
91c67c50c0
|
revert code compliance level to 5.0
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2209 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-12-17 18:48:04 +00:00 |
sjfink
|
8197ab47d6
|
fix some generics
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2192 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-12-14 22:09:29 +00:00 |
dolby-oss
|
6e3039613b
|
pathc for file offsets in Positions from Evan Battaglia; make native translator to CAst more robust to errors
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2189 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-12-14 21:11:19 +00:00 |
sjfink
|
f07ec1d5b5
|
patch 1850117, fix some unguarded assertions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2177 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-12-13 17:08:23 +00:00 |
sjfink
|
72ba229e6c
|
clean up header comment
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2156 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-12-11 16:38:22 +00:00 |
sjfink
|
eab8542e5f
|
clean up Language and AnalysisScope interface
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2155 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-12-11 16:37:42 +00:00 |
sjfink
|
36086b4a18
|
add some generics
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2151 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-12-10 16:33:57 +00:00 |
sjfink
|
198bbfd6d3
|
organize imports
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2147 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-12-10 05:36:44 +00:00 |
dolby-oss
|
6185a33408
|
add echo instruction; adapt invokes to handle multiple return values
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2136 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-12-10 05:03:00 +00:00 |
dolby-oss
|
8e46277e51
|
move echo instruction to CAst core; generalized invokes to deal with multiple return values; generalize function support to handle non-first-class functions, modeled as statics
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2131 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-12-10 04:26:21 +00:00 |
rmfuhrer
|
05cfca0a3d
|
Factory method make(...) no longer takes an explicit arg to define the languages, but gets this info from the AnalysisScope instead. Added type parameters in a few places for clarity and static checking.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2106 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-12-06 14:20:20 +00:00 |
sjfink
|
fe69687001
|
bug fix and related API changes for interface type tests
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2103 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-12-05 19:48:54 +00:00 |
sjfink
|
52f13b2fc0
|
more generics
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2094 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-12-04 21:40:34 +00:00 |
sjfink
|
3e33169ecc
|
add some generics
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2093 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-12-04 20:44:04 +00:00 |
sjfink
|
47fcf748ee
|
first phase of restructuring to fix string constant pointer analysis problems
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2077 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-11-29 18:22:50 +00:00 |
sjfink
|
0e36a5a553
|
organize imports
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2046 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-11-16 20:57:45 +00:00 |
sjfink
|
a8b61ccb17
|
misc. cleanups
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2044 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-11-16 20:51:04 +00:00 |
sjfink
|
92499cf576
|
more generics
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2043 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-11-16 20:44:17 +00:00 |
dolby-oss
|
9d980f3901
|
refactoring to bring reusable CAst translation code out of the PHP and JavaScript translators, and into the generic Cast projects. Also, adapted native code to compile on Mac OS X Tiger
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2017 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-11-16 01:51:42 +00:00 |
dolby-oss
|
076a4325dd
|
turn some debugging off; adapt to Wala changes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1929 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-23 04:07:46 +00:00 |
sjfink
|
0cfb36979c
|
conservatively guess mayBePrimitive for all SSABinaryOperations
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1923 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-22 16:34:35 +00:00 |
sjfink
|
6bbd0a4f74
|
bump up source level to 6.0
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1846 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-11 14:25:36 +00:00 |
sjfink
|
e09e1e7b27
|
change ControlFlowGraph.getExceptionalSuccessors to return a List, in order of increasing catch scope
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1824 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-04 15:49:12 +00:00 |
dolby-oss
|
2829c43700
|
fixes for build issues
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1756 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-09-17 15:57:58 +00:00 |
dolby-oss
|
9f33ca9213
|
add example of CAst transformation: a sync block duplicator for Nick
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1744 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-09-13 14:32:28 +00:00 |
egeay
|
44d92505c6
|
Fixed getSignature method in order to return the usual scheme for method signatures in WALA.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1742 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-09-11 15:36:38 +00:00 |
sjfink
|
cd78f3aa71
|
generics for control flow graph and filters
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1711 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-09-02 14:45:07 +00:00 |
sjfink
|
a2194053d6
|
type parameters for IRFactory
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1710 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-09-01 14:41:18 +00:00 |
sjfink
|
c9ed34510d
|
adapt to wala.core IteratorPlusOne change and clean up some generics
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1707 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-31 23:51:10 +00:00 |
sjfink
|
1282f62f8e
|
hide Pair constructor; misc. generics-related cleanups
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1701 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-31 23:19:52 +00:00 |
sjfink
|
03a70ad997
|
adapt to new generics in wala core
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1697 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-31 21:50:02 +00:00 |
sjfink
|
bf34052894
|
small cleanups
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1599 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-09 17:39:32 +00:00 |
dolby-oss
|
30f8a45b76
|
add factories and objects to allow slicer to be extended to handle multiple languages
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1595 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-08 12:01:12 +00:00 |
sjfink
|
8f103735d0
|
just format
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1569 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-06 18:31:22 +00:00 |
dolby-oss
|
d5e8077395
|
merge code from loop unroller into standard CAstRewriter
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1560 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-01 15:37:46 +00:00 |
dolby-oss
|
b45f0aa8b9
|
merge code from loop unroller into standard CAstRewriter
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1558 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-01 15:36:40 +00:00 |
sjfink
|
6a1a7d0e75
|
decouple IR caching from AnalysisOptions with a new AnalysisCache object
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1514 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-20 15:19:33 +00:00 |
dolby-oss
|
0d32f296f4
|
bug fix to refactoring to array assignment
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1507 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-18 18:13:44 +00:00 |
rmfuhrer
|
edad2d5b68
|
Factored handling of array ref nodes from visitAssignNodes() so that code can be shared with array handlers for derived languages.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1506 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-18 15:55:54 +00:00 |
dolby-oss
|
4b0508356a
|
fixes for default values of null; more customization hooks for SSA conversion
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1483 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-16 15:09:59 +00:00 |
sjfink
|
5a676e0c83
|
remove unused import
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1476 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-15 19:20:22 +00:00 |
rmfuhrer
|
84c69b3e57
|
Added new symbol class InternalCAstSymbol to make intent more
clear than using CAstSymbolImpl with extra boolean arg.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1471 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-13 22:46:15 +00:00 |
rmfuhrer
|
bb1ce4fa36
|
Now delegates to an ArrayOpHandler (this, by default) to handle
IR generation for array reads and writes.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1453 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-12 22:49:55 +00:00 |
rmfuhrer
|
e523cd7800
|
New class to encapsulate translator's handling of various
array operations (reads, writes).
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1452 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-12 22:48:40 +00:00 |
dolby-oss
|
ce4cdd7f88
|
generalize hackish notion of 'internal' names
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1448 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-12 18:14:26 +00:00 |
sjfink
|
c91caedab6
|
use Hash factories everywhere
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1435 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-11 21:07:32 +00:00 |
sjfink
|
d72e0a1752
|
restructure to allow CGNodes to dwell in more than one CallGraph. lift some functions up from CGNode to CallGraph
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1420 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-11 16:24:45 +00:00 |
dolby-oss
|
c039c173e0
|
add accessor to test whether a given node is already mapped by a control flow recorder
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1411 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-11 12:05:36 +00:00 |
sjfink
|
39da63410a
|
massive overhaul of Warnings management
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1390 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-06 22:09:29 +00:00 |
sjfink
|
da8c93ec1a
|
misc. housekeeping and some slicer bug fixes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1375 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-06 14:11:24 +00:00 |
sjfink
|
323f72c3fe
|
miscellaneous housekeeping
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1368 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-06 03:07:38 +00:00 |
sjfink
|
92ea341cf5
|
small cleanups relating to migration to Eclipse 3.3
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1358 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-05 23:56:07 +00:00 |
sjfink
|
e34aa83beb
|
delete CallGraph.getInterpreter() and CFGProvider
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1345 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-05 03:04:50 +00:00 |
dolby-oss
|
eb86207d02
|
fix to index error from Nick
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1325 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-06-28 14:49:19 +00:00 |
dolby-oss
|
03c523a52e
|
fixes to pointer analysis to handle languages that have a separate 'null' type for which no one should be reading/writing fields; minor fixes to misc hack context selector
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1323 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-06-28 14:30:15 +00:00 |
dolby-oss
|
5144df56be
|
more assertion checking of control flow map during IR generation; bug fix to CAst rewriting to handle control flow edges out of the code being rewritten; bug fix to AstTranslator for control flow in finally blocks so that it throws either the prior exception or any new one
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1312 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-06-25 20:08:56 +00:00 |
sjfink
|
6f61f9c9e2
|
introduce factory for Iterator2Collection
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1305 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-06-21 16:13:34 +00:00 |
dolby-oss
|
3218734169
|
moved CAstRewriterFactory to CAst core project
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1292 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-06-16 16:04:30 +00:00 |
sjfink
|
e261caa228
|
misc. cleanups
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1282 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-06-15 14:01:44 +00:00 |
dolby-oss
|
1812d506bd
|
fix to isInit predicate in AstMethod
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1277 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-06-14 17:43:30 +00:00 |
dolby-oss
|
d958868f41
|
a but more javadoc; added accessor for getting all value numbers exposed to lexical scoping; allow scopes during translation to ask for parent scopes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1274 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-06-12 13:43:16 +00:00 |
sjfink
|
9f1ab271a9
|
remove some unnecessary IClassHierarchy parameters
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1256 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-06-06 20:15:48 +00:00 |
sjfink
|
e5e40ab661
|
1) change implementation of CGNode hierarchy to avoid type parameters.
2) nuke BasicEntrypoints
3) tweak interface to InstanceKeyFactory for constants
4) refactoring for HeadlessWALA application
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1229 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-06-01 18:50:37 +00:00 |
dolby-oss
|
8472f026f5
|
support for cross-language call graphs
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1215 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-06-01 03:31:35 +00:00 |