Commit Graph

193 Commits

Author SHA1 Message Date
Manu Sridharan f2f65bfbc5 oops, version should be 1.3.7 2015-05-29 13:20:25 -07:00
Manu Sridharan 894f010ff9 version 1.3.8 2015-05-29 12:20:53 -07:00
Manu Sridharan 7ad8700064 update version numbers to 1.3.7-SNAPSHOT everywhere 2015-05-28 10:37:01 -07:00
Julian Dolby 48711a4e3e Merge branch 'master' of https://github.com/wala/WALA 2015-05-26 08:53:06 -04:00
Julian Dolby 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
Manu Sridharan 56909ee153 bug fix: add unary and nullary statements to equations set 2015-05-18 19:23:29 -07:00
Julian Dolby 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
Julian Dolby e4ed9d1b4f file map 2015-02-26 11:50:41 -05:00
Cosmin Radoi 853b5fc37a replace Filter with Predicate 2014-11-25 13:23:47 -06:00
Manu Sridharan 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
Andrew Johnson 22b0643c97 Off by one error in toString, the last node is at index maxNumber-1. 2014-11-20 11:56:30 -05:00
Manu Sridharan a762e17db5 build file to deploy jars to Maven Central 2014-10-27 16:19:17 -07:00
Julian Dolby 1bb7610011 work toward pointer analysis based on the flowgraph from field-based
call graph builder
2014-10-19 22:44:03 -04:00
Julian Dolby 14c9c96515 merge of java 7 changes.
fixes for Dalvik commit.
2014-10-06 17:41:58 -04:00
Julian Dolby a1bc84356d scandriod merge 2014-10-01 21:32:36 -04:00
Julian Dolby 774be73672 Merge https://github.com/jgf/wala-mirror 2014-09-11 10:43:13 -04:00
Julian Dolby 53af910339 make return type more precise 2014-08-07 15:43:29 -04:00
Juergen Graf c05415720e remove custom change markers for code that will be merged to main branch 2014-08-01 12:27:22 +02:00
Juergen Graf eb9e74f442 add/remove @SuppressWarnings to keep in sync with wala main branch 2014-07-30 16:17:37 +02:00
Juergen Graf 8f6ec6bc54 cleanup 2014-07-30 15:05:15 +02:00
Juergen Graf 6f8aee80c6 Merge branch 'wala' into master 2014-07-28 17:09:02 +02:00
Julian Dolby 02fdb60519 use cancel message 2014-07-11 11:33:11 -04:00
Juergen Graf 40d5906e48 more shortcuts in OrdinalSet.equals 2014-07-10 17:28:54 +02:00
Manu Sridharan beb3948df9 adjust comments 2014-07-05 08:26:39 -07:00
Michael Heilmann ea40719069 Merge branch 'master' of https://github.com/wala/WALA into development 2014-06-26 17:52:47 +02:00
Michael Heilmann 0bb5e6998e Remove redundant casts and imports, improve doc comments 2014-06-26 17:51:26 +02:00
sjfink a739a71c6a make Drainer class protected 2014-06-05 09:01:50 -04:00
Juergen Graf ef4513d377 revert PointerAnalysis hack that makes containsAny() and contains() methods in OrdinalSet unusable 2014-05-20 19:52:01 +02:00
Juergen Graf 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
Michael Heilmann 45fe53a8bf make NodeDecorator generic 2014-05-20 13:12:03 +02:00
Julian Dolby d92175e098 new helper method 2014-05-20 13:11:49 +02:00
Julian Dolby e5303a7167 1.6 SE 2014-05-20 13:11:30 +02:00
Julian Dolby 9b7ceb2032 implemented some more featutres. 2014-05-20 13:11:27 +02:00
Julian Dolby 6673f18db1 static type for inverter of known numbered graph 2014-05-20 13:11:24 +02:00
Julian Dolby 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
Julian Dolby 3e55f0b370 new graph implementation for incremental graph extension 2014-05-20 13:11:19 +02:00
Julian Dolby 732b50d7e5 allow access in subclasses 2014-05-20 13:11:00 +02:00
Julian Dolby 6511d6acc3 move java 7 dependent code to core, so util works with java 6 2014-05-20 13:10:49 +02:00
sjfink a22c550398 fix spelling errors 2014-05-20 13:10:44 +02:00
Julian Dolby b8154bf2d9 slight generalization of the temporary file support 2014-05-20 13:10:41 +02:00
Julian Dolby 5c45dde3d8 new progress monitor functionality to handle memory limitation 2014-05-20 13:10:25 +02:00
Julian Dolby b0bc00e276 type generalization for mutable mappings 2014-05-20 13:10:03 +02:00
Julian Dolby d962543b87 allow filtering to express subtypes 2014-05-20 13:10:01 +02:00
Julian Dolby e4d8380dc8 a couple of wrappers 2014-05-20 13:09:21 +02:00
sjfink 6a835c908e use a more precise (covariant) return type for BitVectorIntSet.intersection 2014-05-20 13:08:56 +02:00
Juergen Graf cf9d623b40 change to compile in eclipse - move files from util to core due to dependencies 2014-05-19 13:24:47 +02:00
Julian Dolby a7c44d4789 new helper method 2014-04-29 11:17:38 -04:00
Tobias Blaschke 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
Tobias Blaschke cc2ffec023 Additional check in ParameterAccessor
getThisAs tests for supertype now
2014-04-11 17:59:09 +02:00
Tobias Blaschke 1857121a44 Add "Custom Change" where applicable
Added the lines
BEGIN Custom Change
END Custom Change
2014-04-11 17:58:33 +02:00