f2f65bfbc5
oops, version should be 1.3.7
2015-05-29 13:20:25 -07:00
894f010ff9
version 1.3.8
2015-05-29 12:20:53 -07:00
7ad8700064
update version numbers to 1.3.7-SNAPSHOT everywhere
2015-05-28 10:37:01 -07:00
162f76165c
class loader stuff
2015-03-04 20:09:24 -05:00
f1cdd0fed7
class loader stuff
2015-03-04 17:58:58 -05:00
d7941956c0
build the android hacked data jar
2015-03-04 14:36:56 -05:00
8c12af20ab
try old bytecode for dx 1.7
2015-02-26 15:22:22 -05:00
e95e4589c2
fix CI issues
2014-10-19 23:01:22 -04:00
6c47da8091
Merge branch 'master' of https://github.com/wala/WALA
...
Conflicts:
com.ibm.wala.core.tests/src/com/ibm/wala/core/tests/shrike/DynamicCallGraphTestBase.java
com.ibm.wala.ide.jdt.test/launchers/JDTJava15IRTests.launch
2014-10-06 15:43:42 -04:00
36709b9d1a
java 7 support, with much pain for stack maps :)
2014-10-06 15:34:16 -04:00
a1bc84356d
scandriod merge
2014-10-01 21:32:36 -04:00
774be73672
Merge https://github.com/jgf/wala-mirror
2014-09-11 10:43:13 -04:00
26f5254e3e
more support for Java 7:
...
analysis now understands and propagates MethodHandle objects
fixes to Shrike InvokeDynamic instruction
Former-commit-id: fb826f124423bcbca08f729cee1794fbda711d16
2014-08-07 16:02:48 -04:00
6f8aee80c6
Merge branch 'wala' into master
2014-07-28 17:09:02 +02:00
428a3975ed
Merge branch 'wala' into master
...
Conflicts:
com.ibm.wala.cast.java/src/com/ibm/wala/cast/java/loader/JavaSourceLoaderImpl.java
com.ibm.wala.cast.java/src/com/ibm/wala/cast/java/ssa/AstJavaInstructionFactory.java
com.ibm.wala.cast.java/src/com/ibm/wala/cast/java/ssa/AstJavaInvokeInstruction.java
com.ibm.wala.cast.js.test/harness-src/com/ibm/wala/cast/js/test/TestSimpleCallGraphShape.java
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/html/WebPageLoaderFactory.java
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/loader/JavaScriptLoader.java
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/ssa/JSInstructionFactory.java
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/ssa/JavaScriptInvoke.java
com.ibm.wala.cast/source/java/com/ibm/wala/cast/ipa/callgraph/AstCallGraph.java
com.ibm.wala.cast/source/java/com/ibm/wala/cast/ir/ssa/AbstractLexicalInvoke.java
com.ibm.wala.cast/source/java/com/ibm/wala/cast/ir/ssa/AstInstructionFactory.java
com.ibm.wala.cast/source/java/com/ibm/wala/cast/ir/ssa/AstLexicalRead.java
com.ibm.wala.cast/source/java/com/ibm/wala/cast/ir/ssa/AstLexicalWrite.java
com.ibm.wala.cast/source/java/com/ibm/wala/cast/ir/ssa/FixedParametersInvokeInstruction.java
com.ibm.wala.cast/source/java/com/ibm/wala/cast/ir/translator/AstTranslator.java
com.ibm.wala.core/.classpath
com.ibm.wala.core/.settings/org.eclipse.jdt.core.prefs
com.ibm.wala.ide/src/com/ibm/wala/ide/util/ProgressMonitorDelegate.java
com.ibm.wala.util/src/com/ibm/wala/util/NullProgressMonitor.java
com.ibm.wala.util/src/com/ibm/wala/util/ProgressMaster.java
2014-05-20 17:59:16 +02:00
efdd337dee
add and enable GetMethod context, interpreter and selector and associated unit tests
2014-05-20 13:12:06 +02:00
2750f8e67b
1) use less verbose instrumentation to reduce problems with methods
...
getting too big
2) handle issues with exceptional control flow not being followed
properly sometimes
2014-05-20 13:09:13 +02:00
63ed63e7fa
add test for GetMethod context, interpreter and selector
2014-05-20 13:08:32 +02:00
1914f016dd
1) use less verbose instrumentation to reduce problems with methods
...
getting too big
2) handle issues with exceptional control flow not being followed
properly sometimes
2014-01-07 17:35:44 -05:00
0ccaae3b2c
pull exclusions file support into util project and then share it with
...
the shrike-based dynamic call graph builder so that static and dynamic
graphs can be built consistently more easily.
2013-11-14 13:02:56 -05:00
cdaaddf88b
Merge branch 'wala' into master
2013-07-02 14:23:24 +02:00
b984760100
support for reading method parameter annotations from Java bytecodes
2013-06-28 11:44:47 -04:00
080325b5f6
merge
2013-06-25 11:57:37 -04:00
119fd841af
more manifest hacks. Also, temporary disable CG IO test
2013-05-27 10:35:55 -07:00
cfc01b5ab6
fix up wala.core.testdata structure so things work from maven
...
We put all the jar files (the testdata jar, JLex, etc.) in the root
directory now, and set up the build.properties so that these jars get
copied into the final plugin jar, making the tests work properly from
maven. We also still copy the jars into the bin/ directory, so the
Eclipse launchers still work.
2013-05-26 14:47:00 -07:00
e82556450b
enable maven building of wala.core.testdata, and use project-specific compile settings
2013-05-24 21:23:57 -07:00
3b1889121b
add missing copyright headers
2013-05-22 15:39:19 -07:00
c0e3cb9831
fix for handling of static methods in ContainerContextSelector
2013-05-14 14:17:26 -07:00
30686135da
Fix for bug with pi nodes reported by Andreas Sewe
...
We weren't handling the case where the val of the pi instruction
had an implicit points-to set.
2013-05-07 14:43:49 -07:00
7c2d18cd58
[releng] added preliminary maven tycho build support
2013-04-29 13:13:22 +02:00
67dd61e005
update build prefs to allow for referencing restricted libs
2013-04-11 11:57:14 -07:00
00eb1d2bd2
Set all projects to build against Java 6; no semantic change. Fixes #20
2013-04-10 16:01:27 -07:00
9549da9954
read runtime-visible annotations for fields
2013-04-08 13:50:26 -07:00
d77cfc60fc
incorporate changes from other branch
...
- Annotation support
- Properly fix path-with-spaces bug.
- fix bug involving paths with spaces
- add a simple driver for building a call graph via a scope file
- Properly return null as default constructor of an array.
- organize imports
- better handling of missing bytecodes
- javadoc
- test fix
- small Javadoc fix
- added date-property.js
- 1) added InstanceKey.getCreation sites and its implementations 2) fixes for issues with keys representing dynamic properties i) all properties are converted to strings,
- publicize method makeClasspath(). deprecate quoteStringIfNeeded()
- organize imports
- javadoc
- renamed classes to make relationship to mod-ref analysis clearer
- add support for lexical writes
- Code to compute transitive lexical accesses of methods.
- extract some generally useful code from ModRef
- Generate proper InstanceFieldKeys for property accesses with Numbers.
- rewrite to make hardest test appear last
- fix test to properly check reachability
- add an array test that doesn't quite work
- add method to get a PointerKey for a global
- compare FieldValueDispatch objects based on CGNode as well
- Handle duplicate field names between subclass and superclass.
2013-02-06 12:34:25 +01:00
ba228963bf
better handling of missing bytecodes
...
In some cases, class files will have non-abstract methods with no
bytecodes (e.g., stubs for compilation purposes). While such a class
file is invalid, we want to enable clients to handle such an error.
With these changes, Shrike will throw an InvalidClassFileException for
such cases, and WALA's IR construction code will throw a
WalaRuntimeException.
2013-01-21 15:27:13 -08:00
b82d5dba90
Merge branch 'wala' into master
2012-11-06 04:23:10 +01:00
60db861a5f
complete conversion to Unix line endings
2012-09-04 16:05:49 -07:00
56f3d847a5
more conversion to Unix line endings
2012-09-04 15:59:50 -07:00
256cd06460
Convert all Java source files to use Unix line endings; no semantic change
2012-09-04 15:56:05 -07:00
6c374aa030
bcel has moved
2012-08-28 11:22:25 -04:00
4b3cba710d
changes from upstream
2012-06-29 15:47:54 -04:00
627fbc15c3
static initializer tests
2012-05-16 14:02:29 +02:00
c415f3e0fd
Enhanced pointer analysis to reason that arrays known to be of zero length
...
cannot have any contents.
2012-05-09 15:35:54 -06:00
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
72af88f25e
rename TestUtil to more-specific DemandPATestUtil
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4481 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:18:54 +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
253444a6ad
make demand pointer analysis tests less dependent on standard library implementation
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4234 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-25 18:10:31 +00:00
9aa9187edc
fix for CFG bug reported by Benedikt N on mailing list, plus test case
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4077 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-03-24 19:41:46 +00:00
ea6d59f8b7
switch to using ant to fetch dependent jar files
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4064 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-03-10 17:40:41 +00:00
06b652d1fb
fix bug reported by Benedikt Nordhoff on mailing list: for cases where an enclosing exception handler catches all exception types, don't add an exceptional edge from a throw instruction to method exit.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4057 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-08 23:41:03 +00:00
Manu Sridharan
Julian Dolby
Juergen Graf
Michael Heilmann
Manu Sridharan
Marcel Bruch
msridhar1