DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
4,533 Commits 8 Branches 13 Tags 80 MiB
Commit Graph

4533 Commits

Author SHA1 Message Date
Manu Sridharan c447ae9640 Fix compile error in com.ibm.wala.dalvik.test and set up Travis builds 2014-12-23 11:46:09 -08:00
Julian Dolby 4676c4f4d4 bug fix for translation of do loops using a goto 2014-12-19 11:16:00 -05:00
Manu Sridharan 868120cec6 Merge branch 'master' of github.com:wala/WALA 2014-12-17 10:21:08 -08:00
Manu Sridharan d3ff50e14c add 'sudo: false' to enable faster Travis CI builds 2014-12-17 10:21:00 -08:00
Julian Dolby 096e2f796f 1) new support for function.prototype.apply in field-based CGs 
2) fixes to Dalvik bytecode reader
3) fixes to Shrike writing Java 7 byte code
 2014-12-11 21:48:23 -05:00
Julian Dolby 6aa3646849 Merge branch 'master' of https://github.com/wala/WALA 2014-12-02 20:36:49 -05:00
Manu Sridharan b2544f6f4f Merge branch 'master' of github.com:wala/WALA 2014-12-02 13:14:44 -08:00
Manu Sridharan 1a50959ed1 Restore README.md 
We should make this more informative at some point.
 2014-12-02 13:14:26 -08:00
Julian Dolby dc4b23f844 Merge branch 'master' of https://github.com/wala/WALA 2014-11-25 19:15:21 -05:00
Manu Sridharan 27780f8ab5 Merge pull request #63 from cos/filter-to-predicate 
Filter to Predicate
 2014-11-25 16:01:27 -08:00
Cosmin Radoi 64febed32d fix 2014-11-25 13:51:00 -06:00
Cosmin Radoi a09c9f6eeb fix: remove import 2014-11-25 13:43:37 -06:00
Cosmin Radoi 853b5fc37a replace Filter with Predicate 2014-11-25 13:23:47 -06:00
Julian Dolby 88c376b6de Merge branch 'master' of https://github.com/wala/WALA 2014-11-24 17:56:44 -05:00
Julian Dolby 2a8ac2e504 merge 2014-11-24 17:56:41 -05:00
Manu Sridharan b461107837 Fix compile error, and compile scandroid in Maven build 2014-11-24 14:37:46 -08:00
Julian Dolby e4b113d33f Merge branch 'master' of https://github.com/wala/WALA 2014-11-24 11:21:23 -05:00
Julian Dolby 1fd4cadc17 more work on field-based pointer analysis 2014-11-24 11:20:13 -05: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
Julian Dolby e14a5b4c08 try -noverify to silence travis ci errors 2014-11-18 23:21:58 -05:00
Julian Dolby 7d2bd5f6b4 more testing of field-based pointer analysis 2014-11-18 22:38:54 -05:00
Julian Dolby bf7dbe6359 misc fixes 2014-11-18 22:37:51 -05:00
Julian Dolby 4bc7d12191 more dalvik tests 2014-11-18 22:36:01 -05:00
Julian Dolby 97920a4ab9 fixes for reading core libraries from dex 2014-11-18 22:34:42 -05:00
Julian Dolby 1a4757cf10 add option to allow getMethodto be handled only for user code. a 
scalability compromise.
 2014-11-18 22:30:47 -05:00
Julian Dolby d9bf9906ca model prototypes in field-based pointer analysis 2014-11-18 22:27:25 -05:00
Manu Sridharan f5f992035a more build files for maven central jars 2014-11-13 21:16:11 -08:00
Manu Sridharan 4a67dacfd8 Merge pull request #59 from cos/ssa-equals-based-on-id 
`SSAInstruction` equals based on its `iindex`
 2014-11-11 20:02:13 -08:00
Julian Dolby 97c368f247 relax ant version for travis 2014-11-11 20:17:35 -05:00
Julian Dolby 71f16d4f1b try not using URLClassLoader 2014-11-11 20:03:09 -05:00
Cosmin Radoi e2dce7be00 SSAInstruction equals based on iindex 2014-11-10 19:40:45 -06:00
Cosmin Radoi a97df8ceec test revealing SSA cache problem 2014-11-10 11:59:06 -06:00
Julian Dolby 339de954ea add global to field-based pointer analysis 2014-11-04 21:33:22 -05:00
Julian Dolby afb113efb9 refactor code for reuse 2014-10-30 21:15:49 -04:00
Julian Dolby 68ad4dbba6 first cut at heap graph for field-based pointer analyais 2014-10-30 21:14:12 -04:00
Julian Dolby 4e9a38537c another test of field-based pointer analysis 2014-10-29 11:15:57 -04:00
Julian Dolby 6f1ab8d0b5 add global abstract object to set of all instance keys 2014-10-29 08:52:57 -04:00
Julian Dolby f4de822fbf fixes for field-based pointer analysis and callgraph construction 2014-10-28 16:09:32 -04:00
Manu Sridharan a762e17db5 build file to deploy jars to Maven Central 2014-10-27 16:19:17 -07:00
Julian Dolby 5137760580 fixes to field-based pointer analysis notion of all instance keys. 
filter for only those actually present in the CG
 2014-10-22 11:27:48 -04:00
Julian Dolby 981fc9a4a1 fix duplicate function name. 
ø
 2014-10-22 11:26:31 -04:00
Julian Dolby 8f0f64f5fa add missing file 2014-10-19 23:14:36 -04:00
Julian Dolby e95e4589c2 fix CI issues 2014-10-19 23:01:22 -04: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 019425c0e2 try to revert code to fix error with Java7 stackmaps only manifesting on Travis, not on my laptop 2014-10-15 16:30:51 +09:00
Julian Dolby c9ad359d65 new test to remind me that prototype no longer works with correlation tracking: 
com.ibm.wala.cast.js.rhino.test/harness-src/com/ibm/wala/cast/js/test/TestPrototypeCallGraphShapeRhino.java
com.ibm.wala.cast.js.test/harness-src/com/ibm/wala/cast/js/test/TestPrototypeCallGraphShape.java
com.ibm.wala.cast.js.test.data/examples-src/pages/prototype.html

work (not yet finished) on fixes to property accesses for JavaScript:
com.ibm.wala.cast/source/java/com/ibm/wala/cast/ipa/callgraph/AstSSAPropagationCallGraphBuilder.java
com.ibm.wala.cast.java/src/com/ibm/wala/cast/java/ipa/callgraph/AstJavaSSAPropagationCallGraphBuilder.java
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/ipa/callgraph/JSSSAPropagationCallGraphBuilder.java

currently unused tests to remind me to fix bugs:
com.ibm.wala.cast.js.test/harness-src/com/ibm/wala/cast/js/test/TestSimpleCallGraphShape.java
com.ibm.wala.cast.js.test.data/examples-src/tests/loops.js
com.ibm.wala.cast.js.test.data/examples-src/tests/primitive_strings.js

fixes to exception handler code generation in JavaScript:
com.ibm.wala.cast.js.rhino/source/com/ibm/wala/cast/js/translator/RhinoToAstTranslator.java
com.ibm.wala.cast.js.test.data/examples-src/tests/try.js
com.ibm.wala.cast.js.test/harness-src/com/ibm/wala/cast/js/test/TestSimpleCallGraphShape.java

fixes to make the system build on both juno and luna
com.ibm.wala.cast.js.test.data/pom.xml
pom.xml
targets/e42/e42.target
targets/e44/e44.target
targets/pom.xml
com.ibm.wala.core.tests/META-INF/MANIFEST.MF
com.ibm.wala.dalvik.test/META-INF/MANIFEST.MF
com.ibm.wala.ide.jdt.test/META-INF/MANIFEST.MF
com.ibm.wala.ide.jdt/source/com/ibm/wala/cast/java/translator/jdt/FakeExceptionTypeBinding.java
com.ibm.wala.ide.jdt/source/com/ibm/wala/ide/util/JavaEclipseProjectPath.java
com.ibm.wala.ide.jsdt.tests/META-INF/MANIFEST.MF
com.ibm.wala.ide.jsdt.tests/src/com/ibm/wala/ide/jsdt/tests/AbstractJSProjectScopeTest.java
com.ibm.wala.ide/src/com/ibm/wala/ide/util/EclipseProjectPath.java
com.ibm.wala.ide/src/com/ibm/wala/ide/util/ProgressMonitorDelegate.java

beginnings of "pointer analysis" on top of field-based analysis
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/callgraph/fieldbased/flowgraph/FlowGraph.java
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/callgraph/fieldbased/flowgraph/vertices/PropVertex.java
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/callgraph/fieldbased/flowgraph/vertices/RetVertex.java
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/callgraph/fieldbased/flowgraph/vertices/VarVertex.java
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/callgraph/fieldbased/flowgraph/vertices/VertexFactory.java
com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/PointerAnalysis.java
com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/cfa/ExceptionReturnValueKey.java

fixes for crashes in correlartion tracking
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/ipa/callgraph/correlations/extraction/ClosureExtractor.java

fixes for Dalvik IR generation
com.ibm.wala.core/src/com/ibm/wala/cfg/BytecodeCFG.java
com.ibm.wala.core/src/com/ibm/wala/cfg/ShrikeCFG.java
com.ibm.wala.core/src/com/ibm/wala/ssa/SSACFG.java
com.ibm.wala.dalvik.test/source/com/ibm/wala/dalvik/drivers/APKCallGraphDriver.java
com.ibm.wala.dalvik.test/source/com/ibm/wala/dalvik/test/callGraph/JVMLDalvikComparison.java
com.ibm.wala.dalvik/src/com/ibm/wala/dalvik/classLoader/DexCFG.java
com.ibm.wala.dalvik/src/com/ibm/wala/dalvik/dex/instructions/UnaryOperation.java
com.ibm.wala.dalvik/src/com/ibm/wala/dalvik/ssa/AbstractIntRegisterMachine.java
com.ibm.wala.dalvik/src/com/ibm/wala/dalvik/ssa/DexSSABuilder.java

fixes to stack map generation when instrumenting for Java 7
com.ibm.wala.shrike/src/com/ibm/wala/shrike/cg/DynamicCallGraph.java
com.ibm.wala.shrike/src/com/ibm/wala/shrikeBT/ConstantInstruction.java
com.ibm.wala.shrike/src/com/ibm/wala/shrikeBT/analysis/Analyzer.java
com.ibm.wala.shrike/src/com/ibm/wala/shrikeBT/analysis/ClassHierarchy.java
com.ibm.wala.shrike/src/com/ibm/wala/shrikeBT/analysis/Verifier.java
com.ibm.wala.shrike/src/com/ibm/wala/shrikeBT/shrikeCT/ClassInstrumenter.java
com.ibm.wala.shrike/src/com/ibm/wala/shrikeCT/StackMapConstants.java
com.ibm.wala.shrike/src/com/ibm/wala/shrikeCT/StackMapTableReader.java
com.ibm.wala.shrike/src/com/ibm/wala/shrikeCT/StackMapTableWriter.java
 2014-10-15 16:01:38 +09:00
Julian Dolby d949561e39 target for luna 2014-10-10 17:58:42 -04:00
Julian Dolby eae42a6b0a new maven target for eclipse luna (4.4) 2014-10-10 17:57:40 -04:00
Julian Dolby ef2e2c5ade adapt to eclipse luna 2014-10-10 17:57:03 -04:00