DASCA/WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
5,668 Commits 8 Branches 13 Tags 81 MiB
dd1f51e8f0
Commit Graph

685 Commits

Author SHA1 Message Date
Manu Sridharan
202ca8d02e Merge pull request #102 from liblit/null-analysis-errors-cleanup 
Ignore potential null accesses in Eclipse
 2016-07-05 08:58:42 -07:00
Julian Dolby
22ce3d1144 Merge https://github.com/steohan/WALA 2016-06-29 13:03:50 -04:00
Ben Liblit
7b6811b2dd Ignore potential null accesses in Eclipse 
Eclipse Mars Service Release 2 finds 45 potential null pointer accesses
across WALA's various Eclipse projects. Eclipse ignores these by
default, but any individual user may have changed their personal Eclipse
configuration to treat them as warnings or errors. Thus, some people
will find that the code builds while others find that it fails. Better
to explicitly use a known-good configuration.

In the long run someone should inspect these cases one-by-one and fix
them where appropriate. But that is probably better managed as part of a
larger effort to tidy up nulls in WALA. I'm not planning to take that on
now or any time soon, though, so this is a better setup for now.
 2016-06-27 13:11:42 -05:00
Julian Dolby
76286a330c make Android entrypoint locator work for source code 2016-06-10 21:21:08 -04:00
Andreas Sewe
e2e5bcf435 SecurityExceptions when analyzing JARs with broken/expired signatures 
See <https://github.com/wala/WALA/issues/100>
 2016-06-08 11:08:10 +02:00
Julian Dolby
065a3ff767 pruned call graph takes edges as well as nodes 2016-06-06 14:17:12 -04:00
Manu Sridharan
cd560b3b2b switch version to 1.3.10-SNAPSHOT 2016-05-10 22:53:28 +09:00
Manu Sridharan
158a5deeb0 Version 1.3.9 2016-05-10 21:59:26 +09:00
steohan
715b1e86fe Merge pull request #1 from wala/master 
Pull from Wala
 2016-01-13 02:23:04 +01:00
Stephan Gocht
672876c595 Added Testcases for ExceptionAnalysis and ExceptionAnalysis2EdgeFilter. 2016-01-13 02:07:58 +01:00
Stephan Gocht
0387bd1591 Removed Warning 2016-01-10 15:34:10 +01:00
Stephan Gocht
b75d93cb1c Changed pi policy to only create pi nodes for integer variables. 2016-01-08 14:10:55 +01:00
Manu Sridharan
0eabfa2d05 Add slicer test 
This test relates to a mailing list question from 
Gebrehiwet Biyane Welearegai:

https://groups.google.com/forum/#!topic/wala-sourceforge-net/lS7lyCHfAaw
 2015-12-14 10:34:10 -08:00
Stephan Gocht
3acd97ebfb Fixed assertion fault, in case of multidimensional arrays. 2015-11-15 21:05:39 +01:00
Stephan Gocht
dfaa44d111 Added quicksort example, and made larger change as it wasn't as expected 
first. This change should improve the results of the analysis.
 2015-11-06 18:52:11 +01:00
Stephan Gocht
7d7e236fd6 Added test for exception pruning (including example for usage). 2015-10-23 14:56:33 +02:00
Stephan Gocht
851f9b2ef3 Added comments. 2015-10-23 14:56:02 +02:00
Stephan Gocht
f8cae1b509 Added Tests and Testdata for array bounds analysis. 2015-10-19 23:20:36 +02:00
Manu Sridharan
e46bb81081 Update version to 1.3.9-SNAPSHOT 2015-10-09 12:55:49 -07:00
Manu Sridharan
ed5093d6db Properly update version to 1.3.8 
Other changes were accidentally committed last time.
 2015-10-09 11:06:03 -07:00
Manu Sridharan
077cabc4eb Revert "update version to 1.3.8" 
This reverts commit 4aac703ee5.
 2015-10-09 11:03:46 -07:00
Manu Sridharan
4aac703ee5 update version to 1.3.8 2015-10-09 10:45:57 -07:00
Julian Dolby
26b126203d fix imports; restructure annotations tests 2015-09-16 13:25:21 -04:00
Julian Dolby
671bd98977 Java 8 suport enhancements, mostly to model lambdas compiled to 
invokedynamic
 2015-08-12 15:20:21 -04:00
Julian Dolby
b1538aece6 Merge branch 'master' of https://github.com/wala/WALA 2015-08-09 13:47:01 -04:00
Julian Dolby
8470091225 Java 8 default methods 2015-08-09 13:46:03 -04:00
Julian Dolby
3f5ce89cb6 finalizer test 2015-08-09 13:43:40 -04:00
Manu Sridharan
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
Julian Dolby
b721a3ceb0 updates to dynamic call graphs to better match static ones 2015-07-10 09:44:01 +02:00
Julian Dolby
a6a060ed25 changes for handling of 'callbacks' in dynamic CGs 2015-06-28 17:06:21 -04:00
Julian Dolby
31f9f1b0b5 more exclusions 
allow 1.8 libs
 2015-06-04 15:51:46 -04:00
Julian Dolby
58b7c7324c test for reading java 8 2015-06-04 13:53:25 -04:00
Julian Dolby
b34fe4d21f Merge branch 'master' of https://github.com/wala/WALA 
Conflicts:
	com.ibm.wala.ide.jsdt.tests/META-INF/MANIFEST.MF
 2015-06-02 23:00:32 -04:00
Manu Sridharan
052023581d update version to 1.3.8-SNAPSHOT 2015-05-31 13:53:07 -07:00
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
d2b30fd7f0 use Java 7 execution environment 2015-05-18 19:22:41 -07:00
Julian Dolby
b7cf88e214 mobile tests changes 2015-04-07 19:34:27 -04:00
Julian Dolby
65edd0071a juno stuff 2015-04-06 10:22:09 -04:00
Julian Dolby
eea6b2fc78 newer junit 2015-04-06 10:05:52 -04:00
Julian Dolby
c2b62f2ddc newer junit 2015-04-06 10:00:44 -04:00
Julian Dolby
0975441a43 changes for hybrid analysis 2015-04-05 21:19:56 -04: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
de26484098 java annotations support for dalvik 2015-03-04 13:49:58 -05:00
Julian Dolby
5cc870dd77 fixes to Dalvik support, and work on running Dalvik tests on Travis 2015-02-26 09:34:03 -05:00
Cosmin Radoi
853b5fc37a replace Filter with Predicate 2014-11-25 13:23:47 -06:00
Julian Dolby
e14a5b4c08 try -noverify to silence travis ci errors 2014-11-18 23:21:58 -05:00
Julian Dolby
bf7dbe6359 misc fixes 2014-11-18 22:37:51 -05: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
a97df8ceec test revealing SSA cache problem 2014-11-10 11:59:06 -06: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
ef2e2c5ade adapt to eclipse luna 2014-10-10 17:57:03 -04:00
Julian Dolby
f4f6f06d93 remove use-split-verifier hack 2014-10-06 19:31:18 -04:00
Julian Dolby
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
Julian Dolby
36709b9d1a java 7 support, with much pain for stack maps :) 2014-10-06 15:34:16 -04:00
Julian Dolby
df38dade70 revert java_cup version 2014-10-01 22:11:35 -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
9c43798c37 add missing file 2014-08-08 08:44:52 -04:00
Julian Dolby
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
Juergen Graf
6f8aee80c6 Merge branch 'wala' into master 2014-07-28 17:09:02 +02:00
Julian Dolby
861bf48c7f remove hard-coded refs to /tmp 2014-06-29 15:07:09 +02:00
Michael Heilmann
0bb5e6998e Remove redundant casts and imports, improve doc comments 2014-06-26 17:51:26 +02:00
Juergen Graf
4772f36d47 add standard type parameter to most pointer analysis references. When it breaks we move back to ? extends InstanceKey. 2014-05-20 22:00:06 +02: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
efdd337dee add and enable GetMethod context, interpreter and selector and associated unit tests 2014-05-20 13:12:06 +02:00
Michael Heilmann
45fe53a8bf make NodeDecorator generic 2014-05-20 13:12:03 +02:00
Julian Dolby
3e55f0b370 new graph implementation for incremental graph extension 2014-05-20 13:11:19 +02:00
Julian Dolby
50c4ae2faa try new way to find classpath entries for travis ci 2014-05-20 13:11:16 +02:00
Julian Dolby
5b22c3dba4 avoid running on travis for now 2014-05-20 13:11:12 +02:00
Julian Dolby
d0f099edb6 try to find jar file for travis tests 2014-05-20 13:11:07 +02:00
Julian Dolby
eb8f94c61c try to find jar file for travis tests 2014-05-20 13:11:05 +02:00
Julian Dolby
8f376ffe71 rename dynamic cg test 2014-05-20 13:10:54 +02:00
Julian Dolby
dbd9c60d4f type generalization 2014-05-20 13:10:22 +02:00
Julian Dolby
51ea9dee0e test new mechanisms 2014-05-20 13:09:19 +02:00
Julian Dolby
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
Julian Dolby
837cb5aee5 1) compress dumped call graph edges 
2) make instrumentor preserve the names of jar entries and classes as
they are input, rather than recomputing class names when writing the
output jar.  This usually makes no difference, but can preserve broken
structures when the input jar file has mismatches between class names
and its entry names.
 2014-05-20 13:09:07 +02:00
Michael Heilmann
63ed63e7fa add test for GetMethod context, interpreter and selector 2014-05-20 13:08:32 +02:00
Julian Dolby
a3a3e7fbe7 new graph implementation for incremental graph extension 2014-03-17 22:09:58 -04:00
Julian Dolby
b04a3f9b35 try new way to find classpath entries for travis ci 2014-03-17 10:09:48 -04:00
Julian Dolby
371695506d avoid running on travis for now 2014-03-16 22:29:54 -04:00
Julian Dolby
b422fd500e try to find jar file for travis tests 2014-03-16 22:14:36 -04:00
Julian Dolby
95c13203de try to find jar file for travis tests 2014-03-16 22:01:02 -04:00
Julian Dolby
bfd999e03b rename dynamic cg test 2014-03-16 18:04:21 -04:00
Julian Dolby
4c25c40789 type generalization 2014-02-08 22:52:19 -05:00
Julian Dolby
b5627bbe81 test new mechanisms 2014-01-07 22:36:23 -05:00
Julian Dolby
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
Julian Dolby
1259ab929f 1) compress dumped call graph edges 
2) make instrumentor preserve the names of jar entries and classes as
they are input, rather than recomputing class names when writing the
output jar.  This usually makes no difference, but can preserve broken
structures when the input jar file has mismatches between class names
and its entry names.
 2014-01-03 10:10:03 -05:00
ksrinivs
bcc0d23c54 minor fixes 2013-12-03 16:01:28 -05:00
ksrinivs
639c876fe5 partial coloring 2013-12-02 14:42:51 -05:00
ksrinivs
3d91075842 partial coloring 2013-12-02 14:37:28 -05:00
Julian Dolby
b057e35e2c for now, ignore tests impacted by library change 2013-11-26 19:26:52 -05:00
Julian Dolby
7948f3b9ae merge 2013-11-26 16:25:43 -05:00
ksrinivs
c1a923d0ba allow partial coloring 2013-11-26 15:04:09 -05:00
Julian Dolby
dedbc2d443 coloring now requires numbered graphs. a performance hack. 2013-11-21 14:27:27 -05:00
Julian Dolby
bdc742f558 shrike cg tests 2013-11-14 21:48:04 -05:00
Julian Dolby
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
Juergen Graf
cdaaddf88b Merge branch 'wala' into master 2013-07-02 14:23:24 +02:00
Manu Sridharan
b984760100 support for reading method parameter annotations from Java bytecodes 2013-06-28 11:44:47 -04:00
Julian Dolby
080325b5f6 merge 2013-06-25 11:57:37 -04:00
Manu Sridharan
c13dad9057 try redirecting excessive test output 2013-05-27 11:37:10 -07:00
Manu Sridharan
38d0c3cc12 re-enable test 2013-05-27 11:07:32 -07:00
Manu Sridharan
5de33324fa another maven tweak 2013-05-27 11:06:21 -07:00
Manu Sridharan
119fd841af more manifest hacks. Also, temporary disable CG IO test 2013-05-27 10:35:55 -07:00
Manu Sridharan
89c04ead32 tweaks to test config 2013-05-27 10:11:18 -07:00
Manu Sridharan
0a7a3092b1 trying to get around classloading issues 2013-05-27 09:45:50 -07:00
Manu Sridharan
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
Manu Sridharan
9bc5bcbb3c Disable certain tests when analyzed classes are in a jar file. 
These tests create FileModules for certain class / source files,
and hence assume those files are sitting in the filesystem.  We
should come up with a better fix here.
 2013-05-26 14:45:50 -07:00
Manu Sridharan
b23756924e pass appropriate VM args when running tests 2013-05-26 14:45:24 -07:00
Manu Sridharan
878cfa615d changes to get tests passing on Java 7 2013-05-26 10:07:46 -07:00
Manu Sridharan
8f9e988cef enable running wala.core.tests in maven build 2013-05-25 16:14:04 -07:00
Manu Sridharan
3b1889121b add missing copyright headers 2013-05-22 15:39:19 -07:00
Julian Dolby
310d0fff25 changes to ease use of WALA from an executable jar. also some very 
basic support for GXL, a graph format used by some software engineering
tools.
 2013-05-15 13:36:30 -04:00
Manu Sridharan
c0e3cb9831 fix for handling of static methods in ContainerContextSelector 2013-05-14 14:17:26 -07:00
Manu Sridharan
16a0e02fa0 add utility methods for creating n-CFA call graph builders 2013-05-10 20:55:13 -07:00
Manu Sridharan
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
Manu Sridharan
d149ca2c73 Revert fix for tests; we need to figure out the right fix here. 
This reverts commit cab3c6c0c4.
 2013-05-02 10:55:45 -07:00
Cosmin Radoi
edbdf989a9 right classloader for call graph tests 2013-04-29 13:13:23 +02:00
Marcel Bruch
7c2d18cd58 [releng] added preliminary maven tycho build support 2013-04-29 13:13:22 +02:00
Manu Sridharan
00eb1d2bd2 Set all projects to build against Java 6; no semantic change. Fixes #20 2013-04-10 16:01:27 -07:00
Manu Sridharan
9549da9954 read runtime-visible annotations for fields 2013-04-08 13:50:26 -07:00
Julian Dolby
321e925660 work on CHA 2013-04-03 12:12:43 -04:00
Juergen Graf
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
Manu Sridharan
182363bf88 fix bug involving paths with spaces 2013-01-30 17:29:41 -08:00
Manu Sridharan
72f85ba2a9 add a simple driver for building a call graph via a scope file 2013-01-25 10:41:11 -08:00
Manu Sridharan
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
Juergen Graf
b82d5dba90 Merge branch 'wala' into master 2012-11-06 04:23:10 +01:00
Manu Sridharan
60db861a5f complete conversion to Unix line endings 2012-09-04 16:05:49 -07:00
Manu Sridharan
56f3d847a5 more conversion to Unix line endings 2012-09-04 15:59:50 -07:00
Manu Sridharan
256cd06460 Convert all Java source files to use Unix line endings; no semantic change 2012-09-04 15:56:05 -07:00
Julian Dolby
4a850a9510 added the com.ibm.wala.ide.jdt project 2012-08-21 18:52:09 -04:00
dolby
72e8dc9098 reorganize stuff for using JavaScript stuff from Eclipse 2012-08-21 09:48:53 -04:00
Juergen Graf
b8477d2144 incorporate changes from other branch 
- basic compatibility with Java 7 (i.e., don't crash immediately)
- Added utility class for converting call graphs to JSON.
- add edgeExists CLI option to check if some edge exists in the call graph
 2012-08-06 12:49:03 +02:00
Manu Sridharan
3317c1ccf6 basic compatibility with Java 7 (i.e., don't crash immediately) 2012-08-03 15:41:09 -07:00
Juergen Graf
4648f0404a Merge branch 'wala' into master 2012-07-17 13:57:43 +02:00
dolby
4b3cba710d changes from upstream 2012-06-29 15:47:54 -04:00
Juergen Graf
42c1016d96 remove duplicate class from wrong package 2012-05-21 11:25:26 +02:00
Juergen Graf
1bf5b73e74 static initializer order detection stuff from Martin Seidel 2012-05-18 15:58:47 +02:00
Juergen Graf
627fbc15c3 static initializer tests 2012-05-16 14:02:29 +02:00
Manu Sridharan
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
Manu Sridharan
c116f16823 got code to compile again, and wala.core regression tests pass 2012-04-16 22:30:03 -04:00
Manu Sridharan
2edb070437 changed FileProvider to have instance methods 2012-04-16 14:57:14 -04:00
msridhar1
d81d8569eb fix test 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4554 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-04-03 22:43:34 +00:00
msridhar1
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
msridhar1
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
msridhar1
cbd8b63142 undo change to SlicerTest 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4291 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-12-28 17:03:42 +00:00
msridhar1
59e46916ce Generalize certain IR data structures to be less Java-specific. Generalize annotations code to allow for reading annotation parameters. Various other fixes 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4290 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-12-28 17:03:27 +00:00
sjfink
6c4fcdcbee bug fix from David Young: use File.pathSeparator 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4280 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-10-10 13:03:00 +00:00
dolby-oss
7a6af352b9 moved IR-independent visualization of graphs to util project 
added DFS path find that finds all paths in sequence rather than just one
moved the WalaException out of warnings subpackage

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4257 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-08-16 16:51:11 +00:00
msridhar1
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
msridhar1
e9199401c9 change to remove time blowup in test on recent Java versions 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4231 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-07-22 21:48:15 +00:00
msridhar1
deddf6ecbe make the condition checked by a couple of tests more specific, to avoid issues with different Java library versions 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4230 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-07-22 21:29:57 +00:00
msridhar1
981e04f243 update to work on Windows 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4229 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-07-22 20:26:04 +00:00
msridhar1
25b0e33015 fix test to be less dependent on library code 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4228 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-07-22 20:24:35 +00:00
msridhar1
214e541ed0 added more exclusions to get tests to run in a reasonable amount of time 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4227 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-07-22 19:45:41 +00:00
dolby-oss
15c202f8e6 Welsh-Powell graph coloring 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4180 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-06-01 21:47:15 +00:00
msridhar1
f8197b4f2c patch to fix FileProvider bug from Marcel Bruch 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4177 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-05-27 19:50:33 +00:00
dolby-oss
4da02a9125 Changes to extend supported context sensitivity to CPA-style: 
1) extend ContextSelector interface to allow it to specify parameters of interest
  2) extend filtering mechanism at call sites to allow CPA-style filtering when requested by contexts
  3) various related fixes and extensions:
    a) removed redundant code to handle dispatch for JavaScript, so now it shares the core mechanism
    b) tighten types for operators that take an array of args - now the array is T[] at the cost of a few array allocation methods
    c) a bit more support for empty int sets
    d) void function objects
    e) bug fixes for lexical scoping support, and adaptation to work with core dispatch mechanism
    f) example of CPA-style sensitivity to handle nastiness in a JavaScript for(.. in ...) loop
    

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4150 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-04-27 13:58:56 +00:00
msridhar1
857e456806 organize imports 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4081 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-04-03 04:08:05 +00:00
msridhar1
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
msridhar1
e3564dce02 change ClassHierarchy to IClassHierarchy 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4076 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-03-21 16:04:45 +00:00
msridhar1
fb10bd4611 uncomment test and indicate why we don't currently run it 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4063 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-03-01 18:15:17 +00:00
msridhar1
c0b30598f4 added another test 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4060 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-02-10 00:01:32 +00:00
msridhar1
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
sjfink
3a49f17ebc update code formatting for Eclipse 3.6 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4048 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-02-03 15:14:47 +00:00
sjfink
6bd8363503 refactor to isolate core utilities from dependence on Eclipse IProgressMonitor 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4034 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-01-17 22:06:58 +00:00
sjfink
fa825de846 refactoring of fixpoint API 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4033 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-01-17 21:43:18 +00:00
msridhar1
b3df24132f move BitVectorKillAll to wala.core 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4023 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-01-03 21:09:21 +00:00
msridhar1
88eaba4ee7 add models for System.getProperty() methods to fix bug reported by Ravi Chandran on mailing list 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4002 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-11-23 17:39:19 +00:00
msridhar1
2ed3b05257 bug fix 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3986 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-11-03 17:49:06 +00:00
msridhar1
7a5d3baacd bug fix for CFGSanitizer 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3984 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-10-20 20:38:44 +00:00
dolby-oss
d4ee31ad9e added clear() method to mutable int sets 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3981 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-10-15 02:10:44 +00:00
dolby-oss
502db2afb9 make some stuff static 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3977 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-10-11 14:35:08 +00:00
dolby-oss
48ff32f2e3 copyright comment update 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3975 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-10-11 14:29:47 +00:00
msridhar1
0ca5dc1c0e better fix for PDG bug reported by Ravi Chandran 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3967 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-10-06 17:03:35 +00:00
msridhar1
029b1fc1fd Fix for bug reported by Ravi Chandran on the mailing list (10/01/2010). Properly add edges from method entry in the PDG 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3965 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-10-05 18:45:43 +00:00
dolby-oss
ed889de199 added Floyd-Warshall all pairs shortest path implementation 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3964 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-10-04 17:27:56 +00:00
yinnon_haviv
9cae049830 Added viewer for CHA/CG/PA for Java/JavaScript. 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3954 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-09-28 17:11:12 +00:00
yinnon_haviv
a0cd2bc66d Use default JRE in launcher 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3946 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-09-28 08:08:55 +00:00
msridhar1
ab142b7cbd fix documentation 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3898 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-09-01 15:50:53 +00:00
msridhar1
fdcd232490 small change for case of missing calls 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3850 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-06-01 16:08:24 +00:00
msridhar1
cdbaa7a2ac added failing test for type inference regression 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3844 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-05-19 21:09:09 +00:00
msridhar1
460477e074 fix bug in PDG contruction for a case involving infeasible bytecodes; add corresponding test 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3843 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-05-17 16:57:52 +00:00
msridhar1
f8b56e13ec more launcher fixes 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3840 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-05-13 22:10:18 +00:00
msridhar1
64db83538f delete duplicate launchers. Fix SWTTypeHierarchy launcher. 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3839 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-05-13 21:58:58 +00:00
msridhar1
248db587a9 add IFDSExplorerExample 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3836 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-05-12 22:58:32 +00:00
msridhar1
f76602dbfb clean up interface for creating a DemandRefinementPointsTo class, and make the internal ThisFilteringHeapModel package visible 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3827 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-30 17:13:14 +00:00
msridhar1
f01fae7482 delete some commented code 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3826 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-30 17:12:17 +00:00
msridhar1
e25b29ed48 added documentation 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3824 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-28 20:00:20 +00:00
dolby-oss
be5edcae8b use latest cache interface 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3821 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-28 19:36:22 +00:00
dolby-oss
f2a390d485 adapt to checkcast change 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3820 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-28 19:35:53 +00:00
dolby-oss
3c8c5e2059 clean up @author 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3819 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-28 19:35:34 +00:00
dolby-oss
e0ef61507c fix for 1.6 on mac 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3818 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-28 19:35:14 +00:00
msridhar1
fe13a2d35b several variants of reaching defs analysis, including test class and a bit of test data. still needs better documentation 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3815 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-28 16:53:07 +00:00
dolby-oss
b7a6299afb change a test to handle differing heap deps in different versions of the std lib 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3808 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-21 14:46:12 +00:00
msridhar1
19bcb326a4 slicer bug fix: properly include the actual call statement (along with various PARAM_CALLER statements) in the set of call statements 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3807 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-19 23:03:47 +00:00
msridhar1
6b9ec42cb8 javadoc / formatting fixes 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3806 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-07 17:11:13 +00:00
msridhar1
cab2bcfd07 add an example of constructing IRs and use of ReferenceCleanser 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3805 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-03-15 22:58:41 +00:00
sjfink
cea1d68710 exlude org.netbeans.* and org.openide.* 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3802 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-02-11 15:19:27 +00:00
yahave
23f99d6101 fixed path to example (moved from com.ibm.wala.core.tests to com.ibm.wala.ide.tests) 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3778 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-12-20 21:55:50 +00:00
msridhar1
db3c03dbce fix comment 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3775 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-12-03 16:38:28 +00:00
msridhar1
9fc5e5f016 one more flows-to test 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3767 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-11-19 17:12:21 +00:00
msridhar1
4b34785700 bug fixes for flows-to 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3766 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-11-19 17:09:20 +00:00
msridhar1
24caeb7088 more flows-to tests 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3765 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-11-18 22:15:23 +00:00
msridhar1
f6afa934f8 bug fix for flows-to 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3764 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-11-18 21:53:07 +00:00
msridhar1
65bb454180 added ability to compute "flows-to sets" on demand; initial check-in, needs more testing 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3763 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-11-18 21:22:33 +00:00
msridhar1
24d28210e8 more caching of class hierarchies 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3750 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-07-28 02:26:03 +00:00
msridhar1
ab47cddadf more speedups 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3749 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-07-28 01:47:06 +00:00
msridhar1
93a4571961 undo WalaTestCase extending TestCase; dependent projects will have to be switched to JUnit 4. Also, more optimizations. 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3742 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-07-27 22:43:06 +00:00
msridhar1
f8c06cc6ef maintain JUnit 3 compatibility, e.g., for CAst 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3741 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-07-27 21:14:59 +00:00
msridhar1
105a263cc5 cached class hierarchy to speed things up 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3740 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-07-27 21:03:33 +00:00
msridhar1
02e7bf2894 switch to jUnit 4 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3739 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-07-27 20:38:48 +00:00
sjfink
4a80ac1984 tweak comments 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3726 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-07-13 18:01:00 +00:00
sjfink
e39897e619 tweak comment 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3724 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-07-13 17:58:45 +00:00
sjfink
bf740fb945 add some comments 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3713 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-07-02 18:19:24 +00:00
sjfink
fde4a16a23 refactor: move Predicate to com.ibm.wala.util 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3705 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-06-26 13:06:16 +00:00
sjfink
a0efbee8ff Major refactoring to introduce com.ibm.wala.ide. Many related changes and patches from Marcelo Paternostro. 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3693 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-06-22 15:06:12 +00:00
msridhar1
f85b2506d8 fix bugs in launcher 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3681 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-06-18 13:59:41 +00:00
sjfink
6fb883c0da change declared WalaException to IllegalStateException 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3656 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-06-12 14:31:33 +00:00
msridhar1
06da9eb3cd another type inference test 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3636 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-06-04 14:03:08 +00:00
msridhar1
a78e1574da add new type inference test 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3633 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-06-03 21:09:48 +00:00
sjfink
f229e9c2ac mostly comments. A few new type parameters. No semantic changes. 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3620 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-05-29 15:26:35 +00:00
sjfink
f39b9cf43a revert previous checkin (a major API change to IClass.getSourceFile()) 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3584 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-05-07 14:38:07 +00:00
omertripp
2113f3e601 REFACTOR: - code changes to accommodate .NET into WALA. A .NET class maps onto multiple source files, and thus these changes. 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3583 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-05-07 14:14:28 +00:00
sjfink
db1bc2fadc fix broken CAst builds. 
deprecate Internal and NonNull annotations

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3577 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-05-07 13:51:24 +00:00
sjfink
de6adbc4d7 more migration to Java assertions 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3559 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-05-01 17:42:28 +00:00
sjfink
9939142eae switch from Assertions._assert to Java assertions 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3555 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-04-30 13:16:52 +00:00
sjfink
3fb8781d9d comments and deprecate some unused code 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3522 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-04-22 19:11:18 +00:00
sjfink
26e9f2a0b0 comments 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3508 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-04-22 16:47:27 +00:00
sjfink
31a8bf2575 add a test for TryFinally IR construction 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3458 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-04-14 20:05:23 +00:00
dolby-oss
e80dc6ef8c refactor handling of constants in Shrike to abstract away from Java bytecode 
introduce factories to create SSAInstruction objects


git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3433 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-04-10 18:33:07 +00:00
sjfink
957cb2b8ca deprecate Trace 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3432 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-04-09 20:31:14 +00:00
sjfink
9490bbd26f tweak launchers 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3431 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-04-09 20:08:16 +00:00
msridhar1
e08ed2663f Deprecate Iterator2Collection.toCollection(); use toSet() or toList() instead. 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3421 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-04-09 15:24:42 +00:00
msridhar1
98c651fee4 rename a bunch of things from GV to PDF. Fix up example launchers to take input from workspace_loc instead of c:\temp. 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3412 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-04-03 18:25:05 +00:00
msridhar1
002e29dcb0 start renaming things from GV/ghostview to pdf 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3411 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-04-03 17:34:40 +00:00
msridhar1
ced43326b1 change to reflect PDF output 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3409 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-04-03 15:57:33 +00:00
msridhar1
dd714660f4 more comment fixes 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3408 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-04-03 15:57:01 +00:00
msridhar1
d790f5a52c update max heap to be consistent with wiki 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3406 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-04-03 14:47:40 +00:00
msridhar1
ae40af3a62 update comments for Mac 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3405 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-04-03 14:46:50 +00:00
sjfink
7fdacaef22 more IllegalArgument checks 
propagate IOExceptions when reading AnalysisScopes from files

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3396 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-03-31 20:16:52 +00:00
egeay
b70fb523cb git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3375 f5eafffb-2e1d-0410-98e4-8ec43c5233c4 2009-03-26 22:33:32 +00:00
yinnon_haviv
ddbbcac07b Added support for reading runtime visible annotations 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3360 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-03-22 07:51:11 +00:00
msridhar1
16bc6fa6e2 non-windows launcher; just changed where console output is stored 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3356 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-03-19 15:14:45 +00:00