cd560b3b2b
switch version to 1.3.10-SNAPSHOT
2016-05-10 22:53:28 +09:00
158a5deeb0
Version 1.3.9
2016-05-10 21:59:26 +09:00
715b1e86fe
Merge pull request #1 from wala/master
...
Pull from Wala
2016-01-13 02:23:04 +01:00
c5c4799b35
Added minimalistic implementation of an exceptio analyisis. (Not fully
...
functional yet.)
2015-11-20 21:19:41 +01:00
e46bb81081
Update version to 1.3.9-SNAPSHOT
2015-10-09 12:55:49 -07:00
ed5093d6db
Properly update version to 1.3.8
...
Other changes were accidentally committed last time.
2015-10-09 11:06:03 -07:00
077cabc4eb
Revert "update version to 1.3.8"
...
This reverts commit 4aac703ee5
2015-10-09 11:03:46 -07:00
4aac703ee5
update version to 1.3.8
2015-10-09 10:45:57 -07:00
045537274f
merge
2015-08-13 11:26:48 -04:00
13a46d8ea3
Fixes #82
...
PrunedCFG had been changed to always include an entry and exit node.
The logic for detecting an "empty" ExceptionPrunedCFG inside the PDG
construction code had not been updated appropriately.
2015-08-06 11:08:27 -07:00
5aae6234e8
give BasicNullaryStatements a toString() method
...
Before, fixed-point systems containing BasicNullaryStatements
caused crashes when trying to output them (because toString()
method of AbstractStatement assumes that there is Right-Hand-Side,
but BasicNullaryStatements throw an UnsupportedOperationException
when trying to get them).
Why shouldn't BasicNullaryStatements have a string representation?
2015-07-30 17:19:34 +02:00
8d143dbf20
remove 'Custom Change' markers
2015-06-25 09:12:37 +02:00
620dd15d00
allow comments in exclusion files
2015-06-25 08:59:21 +02:00
e1beb6aa90
add non-recursive dfs solution to compute backedges for large methods
2015-06-14 23:30:41 -07:00
052023581d
update version to 1.3.8-SNAPSHOT
2015-05-31 13:53:07 -07:00
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
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
a762e17db5
build file to deploy jars to Maven Central
2014-10-27 16:19:17 -07:00
1bb7610011
work toward pointer analysis based on the flowgraph from field-based
...
call graph builder
2014-10-19 22:44:03 -04:00
14c9c96515
merge of java 7 changes.
...
fixes for Dalvik commit.
2014-10-06 17:41:58 -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
e5303a7167
1.6 SE
2014-05-20 13:11:30 +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
326404ff53
Fix: Instantiator - Array of Interface caused endless recursion
...
When creating an instance of an array whose payload-type is an interface
the Instantiator would get stuck in an endless recursion.
2014-04-11 17:53:12 +02:00
ece98a0628
Tools to facilitate buildin Synth. Methods
...
Have a toolkit that aids in building WALA-synthetic methods by helping
to avoid common mistakes and managing SSA-Variables.
See bundled package-info.java for more detail
2014-04-11 17:53:10 +02:00
dcf5cd4a1c
On progress monitoring
...
Small changes on progrss monitoring that enable having an actual
progress-meter instead of just having heart-beat information.
2014-04-11 17:50:17 +02:00
964a0d86b9
Debug-Output only
...
No changes on the inner workings, only provided better Debug-Messages.
2014-04-11 17:50:17 +02:00
fe5ad51acd
1.6 SE
2014-04-11 09:28:36 -04:00
4e9748d4b9
implemented some more featutres.
2014-04-11 09:27:50 -04:00
f8921c4389
static type for inverter of known numbered graph
2014-04-11 09:26:37 -04:00
542f4055d9
fix. not sure why i do not see this failure when running the test on my laptop
2014-03-17 22:27:45 -04:00
a3a3e7fbe7
new graph implementation for incremental graph extension
2014-03-17 22:09:58 -04:00
c0984fd3e5
allow access in subclasses
2014-03-16 18:06:47 -04:00
3bc0ad9a2c
move java 7 dependent code to core, so util works with java 6
2014-03-03 14:30:19 -05:00
6549723da1
fix spelling errors
2014-03-03 11:07:02 -08:00
2307c2c1a7
slight generalization of the temporary file support
2014-02-14 20:35:54 -05:00
b40cf4929b
new progress monitor functionality to handle memory limitation
2014-02-08 22:53:02 -05:00
81edfcdd9e
type generalization for mutable mappings
2014-02-08 21:42:16 -05:00
1ccbbbc433
allow filtering to express subtypes
2014-02-08 21:41:34 -05:00
823cae8748
a couple of wrappers
2014-01-15 21:58:46 -05:00
e6fed7efa3
use a more precise (covariant) return type for BitVectorIntSet.intersection
2013-12-18 06:27:43 -08:00
51d4b0e462
make urlToFile and streamToFile more flexible
2013-12-13 19:27:22 -05:00
bcc0d23c54
minor fixes
2013-12-03 16:01:28 -05:00
436584b51b
øMerge branch 'master' of https://github.com/wala/WALA
2013-12-02 15:31:40 -05:00
30f2cc4dbe
don't put junk in result map
2013-12-02 15:31:36 -05:00
639c876fe5
partial coloring
2013-12-02 14:42:51 -05:00
3d91075842
partial coloring
2013-12-02 14:37:28 -05:00
7b356cac2b
fix for Maven build
2013-12-01 20:09:47 -06:00
7948f3b9ae
merge
2013-11-26 16:25:43 -05:00
e77e68c0f5
cleanup
2013-11-26 16:06:22 -05:00
c1a923d0ba
allow partial coloring
2013-11-26 15:04:09 -05:00
dedbc2d443
coloring now requires numbered graphs. a performance hack.
2013-11-21 14:27:27 -05:00
Manu Sridharan
steohan
Stephan Gocht
Julian Dolby
Martin Mohr
Juergen Graf
Cosmin Radoi
Manu Sridharan
Andrew Johnson
Michael Heilmann
sjfink
Tobias Blaschke
ksrinivs