db65c16863
Merge branch 'pull-request__typeannotations' of https://github.com/joana-team/WALA
2017-03-11 16:19:50 -05:00
d24519e974
cross-cutting changes to make more of WALA runnable with TeaVM. The biggest change is refactoring to AnalysisCache and friends; since TeaVM does not support SoftReference, I needed to add a layer of interfaces so that I can use a more simpleminded caching implementation for TeaVM. There are other changes to Module and friends to break connections with File and URL, which also cause TeaVM grief. I also organized imports in many places to remove unused types that caused trouble.
2017-02-02 20:33:27 -05:00
2396d0fad3
Revert "Revert "fixes to getting source positions from JVML""
...
This reverts commit 619df0a83d
2017-01-19 19:12:22 -05:00
619df0a83d
Revert "fixes to getting source positions from JVML"
...
This reverts commit 9e35099326
2017-01-19 18:49:02 -05:00
9e35099326
fixes to getting source positions from JVML
...
CAst rewriter abstraction
2017-01-19 17:52:42 -05:00
de0f9c2a1f
WALA: Provide acces to JSR 308 Annotations via new Class TypeAnnotation.
...
Access is provided via corresponding methods in FieldImpl, ShrikeCTMethod and ShrikeClass.
Since we do not currently have implementation of these methods for front-ends other than Shrike, these new methods are not yet made available in the corresponding interfaces.
2016-12-05 18:52:38 +01:00
13de4a3bd1
add support for generic signatures
2015-09-16 13:23:21 -04:00
de26484098
java annotations support for dalvik
2015-03-04 13:49:58 -05:00
b984760100
support for reading method parameter annotations from Java bytecodes
2013-06-28 11:44:47 -04:00
3015d1c5f9
added container access to ModuleEntry
2013-06-25 11:53:58 -04:00
9549da9954
read runtime-visible annotations for fields
2013-04-08 13:50:26 -07:00
afccdd2189
Annotation support
2013-02-02 21:27:45 -05:00
256cd06460
Convert all Java source files to use Unix line endings; no semantic change
2012-09-04 15:56:05 -07:00
7630cd79c9
Revamped support for reading Java annotation information from .class files.
...
The code should handle all cases now, and the APIs are improved.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4422 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-11 17:11:59 +00:00
857e456806
organize imports
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4081 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-03 04:08:05 +00:00
50e093779a
add getOuterClass()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3538 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-28 19:34:29 +00:00
a5edb7eeda
minor formatting and comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3533 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-24 14:47:08 +00:00
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
1003bbfd60
Added support for reading runtime visible annotations
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3359 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-03-22 07:51:00 +00:00
2649737e84
refactoring of ShrikeMethod code to allow reuse
...
tentative beginnings of refactoring to separate Java-specifics: so far IClass.getModifiers() and IMethod.getDeclaredExceptions() are declared to throw UnsupportedOperationException
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3200 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-02-02 19:57:22 +00:00
bc9da8e508
a little more robust error handling
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3197 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-02-02 16:28:23 +00:00
7351dbc8ed
support for reading InnerClass attributes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2993 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-08-15 14:50:03 +00:00
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
072fb04c32
generalize some shrike implementation details to play more nicely with others
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2814 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-13 19:24:57 +00:00
79bbb026bc
delete IClass.isStatic()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2649 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-03 01:48:19 +00:00
dc39a8dd86
refactoring: move some classes into appropriate packages
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2452 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-24 22:20:38 +00:00
e6a904b715
just refactoring ... introduce 2 new packages in wala.util.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2446 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-24 22:05:28 +00:00
91af7997ee
add method IClass.isStatic()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2232 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-21 15:08:26 +00:00
6723d33683
bug fix and related API changes for interface type tests
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2104 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-05 19:49:03 +00:00
22d36524b7
expose getModuleEntry() for ShrikeClass
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1588 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-07 16:01:13 +00:00
059761fb70
use Hash factories everywhere
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1438 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-11 21:08:12 +00:00
5eb76541f0
massive overhaul of Warnings management
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1382 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-06 22:08:13 +00:00
8864b70d50
miscellaneous housekeeping
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1364 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-06 03:07:14 +00:00
b0d31d38cb
remove some unnecessary IClassHierarchy parameters
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1254 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-06 20:15:37 +00:00
0ed8d96d55
Changes to allow cross-language call graphs. The three biggest changes are as follows:
...
1) The visitors nested in the SSAPropagationCallGraph have become static classes so that they can be reused in a delegation pattern for the cross-language call graph builder.
2) The ClassHierarchy is now encapsulated behind an IClassHierarchy interface to allow for a CrossLanguageClassHierarchy that delegates to a set of child hierarchies, one for each language. The internals of the ClassHierarchy are almost entirely unchanged
3) There is now a new Language interface in com.ibm.wala.classLoader, and all IClassLoader objects have to know what language they load for. This language object now encapsulates a few language-specific options that were previously hacked into the AnalysisOptions object.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1212 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-01 03:26:18 +00:00
ea3caa1e8a
mostly clean up old comments.
...
also rename InferGraphRootsImpl to InferGraphRoots
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1200 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-30 19:05:23 +00:00
fdb7a17af3
add @Overrides annotations and nuke unnecessary casts
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1197 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-30 15:16:05 +00:00
766748b940
more annotations support
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1188 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-29 13:39:14 +00:00
59822957c9
bug fix in getField()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1164 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-23 13:42:04 +00:00
2d7c2240de
more hardening against malicious inputs
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1137 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-16 18:58:43 +00:00
636fb313ba
tweak an assertion message
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@834 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-07 14:46:45 +00:00
ba68a1a2d6
more signature support
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@585 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-18 17:13:32 +00:00
2d0309022b
Fixed "getMethod(Selector)" for the case where in an abstract class a method references a method of its implemented interface(s).
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@583 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-16 21:49:02 +00:00
e2c552a1cb
misc. bug fixes and annotations
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@579 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-15 18:31:55 +00:00
b85c5fc3a5
a little immature generics support
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@560 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-11 17:51:29 +00:00
429403c321
rename Shrike*Wrapper to just Shrike*
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@552 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-10 20:51:00 +00:00
Julian Dolby
Martin Hecker
Julian Dolby
Manu Sridharan
msridhar1
sjfink
yinnon_haviv
dolby-oss
egeay