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

296 Commits

Author SHA1 Message Date
Julian Dolby 93e165e64a CPA smoke tests 2016-09-16 08:14:33 -04:00
Julian Dolby 22ce3d1144 Merge https://github.com/steohan/WALA 2016-06-29 13:03:50 -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
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 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 671bd98977 Java 8 suport enhancements, mostly to model lambdas compiled to 
invokedynamic
 2015-08-12 15:20:21 -04:00
Julian Dolby f760672215 tests for java 8 default methods 2015-08-09 14:13:38 -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 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 162f76165c class loader stuff 2015-03-04 20:09:24 -05:00
Julian Dolby f1cdd0fed7 class loader stuff 2015-03-04 17:58:58 -05:00
Julian Dolby d7941956c0 build the android hacked data jar 2015-03-04 14:36:56 -05:00
Julian Dolby 8c12af20ab try old bytecode for dx 1.7 2015-02-26 15:22:22 -05:00
Julian Dolby e95e4589c2 fix CI issues 2014-10-19 23:01:22 -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 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 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
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
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
Michael Heilmann 63ed63e7fa add test for GetMethod context, interpreter and selector 2014-05-20 13:08:32 +02: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 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 119fd841af more manifest hacks. Also, temporary disable CG IO test 2013-05-27 10:35:55 -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 e82556450b enable maven building of wala.core.testdata, and use project-specific compile settings 2013-05-24 21:23:57 -07:00
Manu Sridharan 3b1889121b add missing copyright headers 2013-05-22 15:39:19 -07:00
Manu Sridharan c0e3cb9831 fix for handling of static methods in ContainerContextSelector 2013-05-14 14:17:26 -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
Marcel Bruch 7c2d18cd58 [releng] added preliminary maven tycho build support 2013-04-29 13:13:22 +02:00
Manu Sridharan 67dd61e005 update build prefs to allow for referencing restricted libs 2013-04-11 11:57:14 -07: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
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 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
dolby 6c374aa030 bcel has moved 2012-08-28 11:22:25 -04:00
dolby 4b3cba710d changes from upstream 2012-06-29 15:47:54 -04: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
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 72af88f25e rename TestUtil to more-specific DemandPATestUtil 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4481 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-17 20:18:54 +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 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 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 ea6d59f8b7 switch to using ant to fetch dependent jar files 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4064 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-03-10 17:40:41 +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
msridhar1 2c6004ae44 update Java class library path to match latest Mac Java update 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4022 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-12-27 20:27:55 +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 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
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 42d36f6b55 add a test, fix some warnings 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3842 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-05-16 15:20:41 +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
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 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 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 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
yinnon_haviv d120be37b0 Added support for reading runtime visible annotations 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3362 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-03-22 07:51:43 +00:00
msridhar1 91c850058b add option to (unsoundly) ignore possible static initializer calls when building call graph 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3187 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-01-21 18:18:26 +00:00
sjfink 37c5e8459c add a type parameter 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3154 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-01-05 13:46:20 +00:00
msridhar1 5fd0909a7d changed execution environment to J2SE1.5. Fixed some warnings. 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3113 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-12-02 17:01:50 +00:00
sjfink 1d9e899d93 fix some warnings 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3103 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-12-01 22:07:00 +00:00
msridhar1 c461057ece change to 1.5 execution environment; fix some warnings 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3102 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-12-01 21:50:54 +00:00
sjfink 66884c2c37 fix Eclipse 3.4.1 compiler warnings 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3100 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-12-01 19:40:43 +00:00
sjfink fb051a41da support for reading InnerClass attributes 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2990 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-08-15 14:49:33 +00:00
msridhar1 f660841a6e new test case for multinewarray. commented out, since it currently fails 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2973 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-07-28 18:02:30 +00:00
dolby-oss 01d3dcb93a add test for control dependence of phi nodes 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2970 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-07-27 21:39:35 +00:00
sjfink 7a5498d516 tweak code format 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2948 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-07-04 01:56:56 +00:00
sjfink c45322af44 tweak code format 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2902 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-06-25 14:07:22 +00:00
sjfink 36cb312969 more UTF-8 fixes 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2860 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-05-28 18:38:46 +00:00
sjfink 888a700270 use UTF-8 in comments 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2858 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-05-28 18:02:53 +00:00
sjfink 7cc627ad65 set javacFailOnError 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2855 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-05-28 17:50:50 +00:00
dolby-oss ee385429a1 add test files for string operations 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2835 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-05-23 15:42:45 +00:00
pistoia 8dc5fb5cb3 Tests for new reflection-modeling code 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2751 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-04-04 22:51:57 +00:00
pistoia 32d846a7f4 Added support for additional reflective methods 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2748 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-04-04 19:46:09 +00:00
sjfink 1ea215abbe more reflection tests 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2725 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-03-21 14:58:43 +00:00
msridhar1 6e92ca411b fixed bug in handling of arrays in TypeBasedPointerAnalysis 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2693 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-03-11 17:56:22 +00:00
msridhar1 1f7b573bf6 added static inner class test (commented out assert for now) 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2645 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-03-02 17:45:45 +00:00
sjfink 3d408fdd7e reflection patches from Marco 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2640 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-03-02 01:39:53 +00:00
sjfink b08f49eda7 fix bug with phi instructions in synthetic IRs 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2636 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-02-29 21:42:10 +00:00
sjfink e48a066a70 implement getMethods() 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2627 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-02-26 15:24:33 +00:00
sjfink 769ab11ea0 refactoring to generalize some reflection processing 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2621 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-02-26 03:42:20 +00:00
pistoia 91a497e16e removed SecurityException from the throws clause 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2616 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-02-25 20:38:49 +00:00
pistoia ee6e5ca941 removed SecurityException from the throws clause 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2615 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-02-25 20:38:11 +00:00
sjfink f7daef6bb5 support getConstructors() 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2601 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-02-22 01:44:36 +00:00
sjfink 5c52b27f97 support for Constructor.newInstance() 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2598 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-02-21 18:42:35 +00:00
sjfink ccb59cc883 new logic to interpret Class.newInstance() on a class constant, such as generated by forName(String constant). 
Thanks Marco.

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2572 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-02-13 18:47:27 +00:00
sjfink 518d21140e bug fixes and new tests for new Class.forName processing. 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2543 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-02-05 21:21:19 +00:00
sjfink e43cd62482 generalize support for partially balanced tabulation 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2537 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-02-05 15:56:16 +00:00
sjfink b723bee09b tweak comment 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2536 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-02-05 14:45:17 +00:00
sjfink b795c92b4c tweak code format 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2365 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-01-11 16:50:43 +00:00
sjfink f7c3e90fd4 tweak code formatting for enums 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2340 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-01-10 16:26:29 +00:00
loginov 2f400d5e46 Only an exclusion of bak/ subdirs of the src tree. 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2293 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-01-04 22:52:32 +00:00
sjfink 280a5c80da tweak code formatting template 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2258 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-01-03 16:30:34 +00:00
msridhar1 b6396fb5a7 added change suggested by Steve to make build work on Mac 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2224 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-12-19 20:52:34 +00:00
sjfink 248053a418 revert code compliance level to 5.0 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2210 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-12-17 18:48:15 +00:00
sjfink 568faedb1b fix bug [ 1850456 ] error "I is null" when slicing 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2184 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-12-14 14:30:07 +00:00
sjfink f2e632f368 bump up source level to 6.0 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1844 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-10-11 14:25:25 +00:00
dolby-oss 51c3f4f312 test case to expose data dependence issue for GetCaughtException in slicer 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1771 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-09-19 18:01:13 +00:00
dolby-oss 53f55cc392 slight extension to slicing test 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1747 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-09-13 15:11:46 +00:00
sjfink cb8c89e341 update copyright statements with EPL 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1609 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-08-13 13:09:59 +00:00
sjfink 46ebb8e58f demandpa tests 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1607 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-08-11 01:17:22 +00:00
sjfink 2ec2101644 new type inference test 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1402 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-07-10 14:48:41 +00:00
sjfink 4dfe343b67 misc. housekeeping and some slicer bug fixes 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1374 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-07-06 14:11:20 +00:00
sjfink cb320d24fe test reported slicing bug: unreproduced 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1335 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-07-03 10:55:58 +00:00
sjfink a12120caff new test from Alexey; fix copyright on some files 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1316 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-06-26 19:55:08 +00:00
sjfink 8a8b34d6b6 test for bug report 1714480, OOM for ClassHierarchy.getPossibleTargets 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1088 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-05-07 20:29:41 +00:00
sjfink 8a7f23f284 share errors/warnings settings 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1086 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-05-07 13:28:52 +00:00
sjfink da8e9f6dab shared code formatter settings 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1076 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-05-07 13:21:40 +00:00
sjfink 82f285c616 another slicing test, from pavol cerny 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1031 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-05-01 03:08:41 +00:00
sjfink 4d5d40f5c1 enable project-specific compiler settings 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1024 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-04-30 13:46:51 +00:00
sjfink bd76bf1c70 suppress a warning 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@496 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2006-11-22 19:09:46 +00:00
sjfink 68270cad6f mv stuff to trunk 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@492 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2006-11-22 17:45:24 +00:00