48711a4e3e
Merge branch 'master' of https://github.com/wala/WALA
2015-05-26 08:53:06 -04:00
63ec46f67d
1) changes for mobile
...
a) serializable added for use by Android services
b) test classes refactored to allow Android variants to use JUnit 3
2) shrike instrumentation now uses java.lang.instrument
a) refactoring
b) online variants of call graph tracing
2015-05-25 19:00:51 -04:00
56909ee153
bug fix: add unary and nullary statements to equations set
2015-05-18 19:23:29 -07:00
43c37d6d0e
fixes to regression tests:
...
now, for me, code works using e44 with maven
dalvik tests refactored for mobile version with android dev tools
IDE tests Eclipse metadata fixed to make e44 work for me
new android entrypoint to fix failure in new droidbench tests
2015-03-24 21:51:35 -04:00
e4ed9d1b4f
file map
2015-02-26 11:50:41 -05:00
853b5fc37a
replace Filter with Predicate
2014-11-25 13:23:47 -06:00
05899aa774
Merge pull request #62 from aaandrewww/upstream
...
Off by one error in toString, the last node is at index maxNumber-1.
2014-11-20 10:57:12 -08:00
22b0643c97
Off by one error in toString, the last node is at index maxNumber-1.
2014-11-20 11:56:30 -05:00
1bb7610011
work toward pointer analysis based on the flowgraph from field-based
...
call graph builder
2014-10-19 22:44:03 -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
53af910339
make return type more precise
2014-08-07 15:43:29 -04:00
c05415720e
remove custom change markers for code that will be merged to main branch
2014-08-01 12:27:22 +02:00
eb9e74f442
add/remove @SuppressWarnings to keep in sync with wala main branch
2014-07-30 16:17:37 +02:00
8f6ec6bc54
cleanup
2014-07-30 15:05:15 +02:00
6f8aee80c6
Merge branch 'wala' into master
2014-07-28 17:09:02 +02:00
02fdb60519
use cancel message
2014-07-11 11:33:11 -04:00
40d5906e48
more shortcuts in OrdinalSet.equals
2014-07-10 17:28:54 +02:00
beb3948df9
adjust comments
2014-07-05 08:26:39 -07:00
ea40719069
Merge branch 'master' of https://github.com/wala/WALA into development
2014-06-26 17:52:47 +02:00
0bb5e6998e
Remove redundant casts and imports, improve doc comments
2014-06-26 17:51:26 +02:00
a739a71c6a
make Drainer class protected
2014-06-05 09:01:50 -04:00
ef4513d377
revert PointerAnalysis hack that makes containsAny() and contains() methods in OrdinalSet unusable
2014-05-20 19:52:01 +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
45fe53a8bf
make NodeDecorator generic
2014-05-20 13:12:03 +02:00
d92175e098
new helper method
2014-05-20 13:11:49 +02:00
9b7ceb2032
implemented some more featutres.
2014-05-20 13:11:27 +02:00
6673f18db1
static type for inverter of known numbered graph
2014-05-20 13:11:24 +02:00
a5d88e7c59
fix. not sure why i do not see this failure when running the test on my laptop
2014-05-20 13:11:21 +02:00
3e55f0b370
new graph implementation for incremental graph extension
2014-05-20 13:11:19 +02:00
732b50d7e5
allow access in subclasses
2014-05-20 13:11:00 +02:00
6511d6acc3
move java 7 dependent code to core, so util works with java 6
2014-05-20 13:10:49 +02:00
a22c550398
fix spelling errors
2014-05-20 13:10:44 +02:00
b8154bf2d9
slight generalization of the temporary file support
2014-05-20 13:10:41 +02:00
5c45dde3d8
new progress monitor functionality to handle memory limitation
2014-05-20 13:10:25 +02:00
b0bc00e276
type generalization for mutable mappings
2014-05-20 13:10:03 +02:00
d962543b87
allow filtering to express subtypes
2014-05-20 13:10:01 +02:00
e4d8380dc8
a couple of wrappers
2014-05-20 13:09:21 +02:00
6a835c908e
use a more precise (covariant) return type for BitVectorIntSet.intersection
2014-05-20 13:08:56 +02:00
cf9d623b40
change to compile in eclipse - move files from util to core due to dependencies
2014-05-19 13:24:47 +02:00
a7c44d4789
new helper method
2014-04-29 11:17:38 -04:00
92ee930865
Document Android stuff (I)
...
I'm going through all "my" classes and add documentation where missing.
2014-04-11 17:59:09 +02:00
cc2ffec023
Additional check in ParameterAccessor
...
getThisAs tests for supertype now
2014-04-11 17:59:09 +02:00
1857121a44
Add "Custom Change" where applicable
...
Added the lines
BEGIN Custom Change
END Custom Change
2014-04-11 17:58:33 +02:00
aa3e2c6d2a
connetcThrough: Handle when param exluded
...
When the type of a parameter is in the exlusions connectThrough will
step over it now
2014-04-11 17:56:47 +02:00
abcd578a61
Use getters and setters for Intents, add explicit-attribute
...
These Changes are necessary to make the target of an Intent changeable.
Additionaly some preparing changes in the IntentMap
2014-04-11 17:56:46 +02:00
1dc721710f
Fix handling of types not in cha
...
Before the TypeSafeInstructionFactory would throw. Now it ignores.
2014-04-11 17:53:14 +02:00
a9864a5dab
Added specialized instantiators.
...
Creating an instance of e.g. Context would pull in all compontents
yielding a ununsable result.
2014-04-11 17:53:13 +02:00
ece84ddf76
Fix field-handling for Intent-Wrappers
...
The IntentContextInterpreter always returned an empty set of fields
2014-04-11 17:53:13 +02:00
b963cc72bb
Flatten Android-Component instances
...
Throw instances of android components into AndroidModelClass and reuse
them. This resembles Android a bit more.
2014-04-11 17:53:13 +02:00
Julian Dolby
Manu Sridharan
Cosmin Radoi
Manu Sridharan
Andrew Johnson
Juergen Graf
Michael Heilmann
sjfink
Tobias Blaschke