1d28b2dc26
fix for bug reported by Juergen Graf: handle multiple fields with the same name in a JVM class
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4552 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-04-03 22:26:12 +00: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
4edec7f18e
remove unused imports
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4297 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-05 20:10:34 +00:00
59e46916ce
Generalize certain IR data structures to be less Java-specific. Generalize annotations code to allow for reading annotation parameters. Various other fixes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4290 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-12-28 17:03:27 +00:00
53294397f8
javadoc, formatting
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4128 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-20 22:31:27 +00:00
9006fce690
some bug fixes to CAst IR generation, especially in handling exceptions
...
cleanup of how JDT analysis engines work, to make using the JDT front end more modular
bug foxes to JavaScript handling, most notably fixing scoping of functions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4123 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-13 16:27:15 +00:00
2b87f070a7
make getBCInfo() synchronized to prevent duplicate code loading by different threads
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4113 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-12 19:20:13 +00:00
fc366d728e
added notion of source modules, which are presumed to be text files
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4083 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-04 14:58:58 +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
53bea40ab6
give up on optimizing jar file I/O for now. fix existing code to not even temporarily store jar file content for now.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3999 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-11-22 22:41:29 +00:00
7917b30fc5
be more robust to corrupted nested jar files
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3993 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-11-05 17:57:06 +00:00
205b7d078a
remove eager failure when invalid class file in a nested jar is encountered
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3989 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-11-04 20:30:49 +00:00
2a4d3869de
temporary fix for issue with bad I/O patterns when reading large jar files. a work in progress
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3988 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-11-04 16:47:35 +00:00
592a2de0cc
Refactor: remove unused imports
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3947 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-09-28 08:10:36 +00:00
5cfbd1fbaf
fixes for names in archives in various Web formats
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3915 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-09-09 14:00:39 +00:00
00871016cb
adapt to checkcast change
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3817 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-04-28 19:33:34 +00:00
41a5a9657f
tweak some comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3797 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-01-25 14:59:42 +00:00
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
0f65646b7a
clean up some comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3757 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-11-13 03:51:34 +00:00
65f2fa4922
undo some deprecation of source file utilities, for now.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3720 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-07-13 17:43:36 +00:00
933043fccf
deprecate SyntheticMethod.getStatements(options)
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3717 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-07-02 19:19:25 +00:00
b5bc95f052
tweak some comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3714 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-07-02 18:20:10 +00:00
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
680dd54c1b
MAINT:
...
- switched from the privileged 'isObjectType()' interface to querying the root type.
- also made other overload of getLeastCommonSuperclass() language-based.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3680 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-06-12 19:07:59 +00:00
7bb0b09935
refactoring: move IBytecodeMethod to the classloader package
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3664 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-06-12 14:47:30 +00:00
c77ddd3dd4
FEAT: - refactored the ClassHierarchy code for computing the least superclass to be language-based, instead of Java-specific.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3661 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-06-12 14:40:56 +00:00
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
1b84d0fcc4
comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3526 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-22 19:27:52 +00:00
c8bfcb7240
comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3524 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-22 19:17:03 +00:00
33949b78a9
fix to avoid loading a class when a parent classloader has already done so
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3505 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-22 16:38:30 +00:00
msridhar1
dolby-oss
yinnon_haviv
sjfink
omertripp