Commit Graph

371 Commits

Author SHA1 Message Date
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
Tobias Blaschke 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
Tobias Blaschke 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
Tobias Blaschke 1dc721710f Fix handling of types not in cha
Before the TypeSafeInstructionFactory would throw. Now it ignores.
2014-04-11 17:53:14 +02:00
Tobias Blaschke 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
Tobias Blaschke ece84ddf76 Fix field-handling for Intent-Wrappers
The IntentContextInterpreter always returned an empty set of fields
2014-04-11 17:53:13 +02:00
Tobias Blaschke 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
Tobias Blaschke 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
Tobias Blaschke 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
Tobias Blaschke 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
Tobias Blaschke 964a0d86b9 Debug-Output only
No changes on the inner workings, only provided better Debug-Messages.
2014-04-11 17:50:17 +02:00
Julian Dolby fe5ad51acd 1.6 SE 2014-04-11 09:28:36 -04:00
Julian Dolby 4e9748d4b9 implemented some more featutres. 2014-04-11 09:27:50 -04:00
Julian Dolby f8921c4389 static type for inverter of known numbered graph 2014-04-11 09:26:37 -04:00
Julian Dolby 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
Julian Dolby a3a3e7fbe7 new graph implementation for incremental graph extension 2014-03-17 22:09:58 -04:00
Julian Dolby c0984fd3e5 allow access in subclasses 2014-03-16 18:06:47 -04:00
Julian Dolby 3bc0ad9a2c move java 7 dependent code to core, so util works with java 6 2014-03-03 14:30:19 -05:00
sjfink 6549723da1 fix spelling errors 2014-03-03 11:07:02 -08:00
Julian Dolby 2307c2c1a7 slight generalization of the temporary file support 2014-02-14 20:35:54 -05:00
Julian Dolby b40cf4929b new progress monitor functionality to handle memory limitation 2014-02-08 22:53:02 -05:00
Julian Dolby 81edfcdd9e type generalization for mutable mappings 2014-02-08 21:42:16 -05:00
Julian Dolby 1ccbbbc433 allow filtering to express subtypes 2014-02-08 21:41:34 -05:00
Julian Dolby 823cae8748 a couple of wrappers 2014-01-15 21:58:46 -05:00
sjfink e6fed7efa3 use a more precise (covariant) return type for BitVectorIntSet.intersection 2013-12-18 06:27:43 -08:00
Julian Dolby 51d4b0e462 make urlToFile and streamToFile more flexible 2013-12-13 19:27:22 -05:00
ksrinivs bcc0d23c54 minor fixes 2013-12-03 16:01:28 -05:00
Julian Dolby 436584b51b øMerge branch 'master' of https://github.com/wala/WALA 2013-12-02 15:31:40 -05:00
Julian Dolby 30f2cc4dbe don't put junk in result map 2013-12-02 15:31:36 -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
Cosmin Radoi 7b356cac2b fix for Maven build 2013-12-01 20:09:47 -06:00
Julian Dolby 7948f3b9ae merge 2013-11-26 16:25:43 -05:00
Julian Dolby e77e68c0f5 cleanup 2013-11-26 16:06:22 -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
sjfink 8888d77f97 fix test in PlatformUtil.onMacOSX to use System.getProperty("os.name") 2013-11-18 06:19:39 -08: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
Julian Dolby 080325b5f6 merge 2013-06-25 11:57:37 -04:00
Manu Sridharan 7ca109967d read J2SE jars from bootclasspath if wala.properties cannot be loaded 2013-05-25 16:05:25 -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
sjfink 9d18e9486c fix typo in print statement 2013-05-14 12:18:10 -07: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
Julian Dolby 321e925660 work on CHA 2013-04-03 12:12:43 -04:00
sjfink c9e1b2e587 fix a bug in BitVectorVariable.copyState() involving empty vectors 2013-03-18 08:40:25 -07:00
Juergen Graf b0ada30a31 remove warnings from com.ibm.wala.util 2013-03-12 00:55:26 +01:00
Juergen Graf 80920368ef incorporate changes from other branch
- remove extraneous printing
- fixes for parse errors in JS and HTML
- fixes for handling parse errors in JS and HTML
- update comments
- Change BitVectorRepository to use LinkedLists
- improve javadoc
- fix for for in contexts for NEVER case
- missing VectorKill println method
2013-03-12 00:21:26 +01:00
Manu Sridharan 9112408418 update comments 2013-02-14 09:35:55 -08:00
Manu Sridharan 7579f5644a Change BitVectorRepository to use LinkedLists
This removes a nasty source of non-determinism when using
MutableSharedBitVectorIntSets.
2013-02-13 16:17:23 -08: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
sjfink 583ebd3ce4 publicize method makeClasspath(). deprecate quoteStringIfNeeded() 2013-01-04 13:30:44 -08:00
Manu Sridharan 7cf0baeee3 javadoc 2013-01-04 11:34:02 -08:00
Juergen Graf 9fac9e9a30 Merge branch 'wala' into master 2012-11-30 04:46:24 +01:00
Juergen Graf 56780b5076 treat null as neutral element for intersection, as it is the default value for uninitialized variables 2012-11-30 03:16:17 +01:00
sjfink 10172606bb add project-specific settings to build with 1.6 compiler 2012-11-29 13:47:01 -08:00
Juergen Graf 9503100d8b fix bug in intersection framework - aborted too early 2012-11-29 17:46:38 +01:00
sjfink 846a047aba change handling of vm args to avoid problems with spaces 2012-11-27 22:19:57 -08:00
sjfink 4f06e75e8d fix a logging statement 2012-11-27 22:18:47 -08:00
sjfink d78e8fe25c delete debugging printf statement 2012-11-27 15:18:48 -08:00
sjfink 1448f506eb revamp JavaLauncher sequence to avoid problems with spaces on MacOS 2012-11-27 14:47:09 -08:00
sjfink f2a14ecb52 add a version of spawnProcess() that accepts an array of Strings. This version should be used for commands that involve spaces on MacOSX. 2012-11-27 14:15:23 -08:00
Juergen Graf bb6d890976 explicit cast in InSetVariable - removes compiler error 2012-11-22 14:02:13 +01:00
Max Schaefer d09fc511e2 Added a logging stopwatch for debugging. 2012-11-20 10:45:56 -05:00
Juergen Graf 6990401629 use java 1.6 for wala.util 2012-11-13 18:25:16 +01:00
Juergen Graf b82d5dba90 Merge branch 'wala' into master 2012-11-06 04:23:10 +01:00
Juergen Graf b6ce6673a8 add intersection bitvector operator 2012-11-05 21:30:25 +01:00
Manu Sridharan d5dc65268e don't let nanny thread for timeout prevent JVM exit 2012-10-26 14:29:24 -07:00
Max Schaefer 928c5337f0 Added utility method to filter a collection by element type. 2012-10-11 11:49:39 -04:00
Manu Sridharan 24eb803211 organize imports; no semantic change 2012-09-04 16:24:37 -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
Manu Sridharan 419d1d50cc Merge branch 'github_master' and remove Eclipse dependencies.
Specifically, rewrite ProgressMaster to not depend on Eclipse, and move
to com.ibm.wala.util.  Now, we can use timeout-based code in packages
without introducing an Eclipse dependency.
2012-08-28 12:39:52 -07:00
sjfink 3b2c9afa42 attempted fix for possible Heisenbug caused by misuse of non-blocking I/O API. 2012-08-21 15:03:26 -07:00
sjfink e37d67c7d2 change Launcher logging to level info() 2012-08-21 10:49:33 -07:00
Juergen Graf 4ff1211dad equals for OrdinalSets 2012-07-17 17:44:03 +02: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 1090e59717 Merge branch 'wala' into master 2012-04-04 11:27:23 +02:00
msridhar1 7fe479ee82 extract class for an edge-filtered graph view
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4551 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-04-03 19:09:50 +00:00
Juergen Graf 7477b1730b Merge branch 'wala' into master 2012-03-19 13:33:48 +01:00
dolby-oss a9ec87f360 Changes motivated by analysis issues in JavaScript. The main change is that calls of the form f.x() in JavaScript are now analyzed like 'method calls' so that the 'this' pointer in the receiver functions can be filtered based upon the types that actually have the method being invoked. This requires much more dynamic filtering than in a language like Java, since properties like 'x' are simply properties that happen to hold functions, and so can be assigned in a first-class manner. Thus, the filtering needs to handle variance in both the types and the values of their properties; this is implemented as multiple levels of abstract object directed side effect equations in the dataflow system.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4535 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-03-01 02:45:51 +00:00
msridhar1 8b547b4812 Split up ForInLoopRewriter in preparation for merging changes back into
open-source WALA. The extraction code is now in com.ibm.wala.cast.js,
with some more general stuff moved to com.ibm.wala.cast and
com.ibm.wala.util. The tests are in com.ibm.wala.cast.js.test and
com.ibm.wala.cast.js.rhino.test. ForInLoopRewriter itself only contains
the framework specific tests and the copies of the frameworks
themselves.

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4418 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:52:26 +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 6ff9063a18 suppress compiler warnings from raw types
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4288 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-12-09 19:03:21 +00:00
Juergen Graf bf923dc2b5 progressmonitor can now be used to cancel operations 2011-11-22 14:26:30 +01:00
Juergen Graf f7741c7771 subtasks in monitorutil 2011-10-27 15:15:15 +02:00
Juergen Graf 0f66936790 Merge branch 'wala' into master 2011-10-26 14:34:59 +02:00
dolby-oss e88a7992ba start colors from 0 rather than 1
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4283 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-10-24 15:58:51 +00:00
Juergen Graf 44a3dae093 Merge branch 'wala' into master 2011-10-21 15:15:20 +02:00
sjfink 558f939887 bump up version to 2.0.0.qualifier
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4265 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-08-18 17:38:52 +00:00
dolby-oss a44b8587b5 added copyInto
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4258 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-08-16 21:10:04 +00:00
Juergen Graf c240d41b4f Merge branch 'wala' into master 2011-08-16 22:16:32 +02: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
dolby-oss 646a030127 expose default comparator
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4251 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-08-09 20:12:01 +00:00
Juergen Graf efb729e038 Merge branch 'wala' into master 2011-07-27 01:15:29 +02:00
sjfink af16c5d551 attempt to fix build breakage on Linux
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4221 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-19 21:32:50 +00:00
sjfink c5a5507103 attempt to fix build breakage on Linux
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4220 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-19 21:27:43 +00:00
sjfink 5f7c86eebb attempt to fix build breakage on Linux
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4219 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-19 21:14:29 +00:00
Juergen Graf f5ac0c543f Merge branch 'wala' into master 2011-07-12 19:50:39 +00:00
dolby-oss 1a70dd8f4d refactor to allow custom ordering of nodes to color
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4216 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-11 19:50:39 +00:00
sjfink 46f2a33315 tweak a comment
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4201 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-01 18:12:35 +00:00
sjfink 5181b6789f add method isElementOf()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4199 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-01 14:38:40 +00:00
sjfink 17029a7110 support some migration from deprecated Filter to Predicate
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4198 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-01 14:32:41 +00:00
sjfink 7709561c74 patch from Josh Auerbach
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4185 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-06-20 19:30:08 +00:00
sjfink 03da73a30f delete obsolete ExplicitEdge class
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4181 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-06-09 14:12:00 +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
Juergen Graf f8d6f5b917 Merge branch 'wala' into master 2011-05-27 12:25:53 +02:00
Juergen Graf b84657d1a9 add some new classes from wala 2011-05-26 16:43:36 +02:00
sjfink d6a7828730 attempt to fix compile breakage with generics, manifesting under javac on Linux
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4152 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-27 14:16:08 +00:00
sjfink ebe49342b3 remove unnecessary @SuppressWarning annotation
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4151 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-27 14:06:39 +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
Juergen Graf 2d3052bede intraprocedural nullpointer exception analysis 2011-04-11 16:28:51 +02:00
Juergen Graf 5c43668553 Merge branch 'wala' into master 2011-04-11 16:40:48 +02:00
sjfink 1858943369 a few more os queries, from Rodric
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4078 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-01 14:34:46 +00:00
Juergen Graf d7ebb57ee6 add substasks to progressmonitor 2011-03-30 13:03:16 +02:00
sjfink 0fab9778c3 add a comment about a resource leak problem
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4074 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-03-18 12:46:14 +00:00
dolby-oss 1edb4436f7 utility empty set
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4062 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-17 15:02:19 +00:00
sjfink 6ac8089f74 simpler implementation of recursive delete
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4061 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-10 01:56:54 +00:00
sjfink 35c00c24c6 add a paranoid check for f.exists() in deleteContents()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4059 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-09 14:22:05 +00:00
sjfink df3f3bacd1 squash some compiler warnings. no intended semantic change.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4058 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-09 11:40:00 +00:00
sjfink 03517ec393 add quoteString call in attempt to avoid windows space bug
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4056 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-07 22:49:19 +00:00
sjfink 1b9e48ede5 reduce default sleep interval
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4055 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-07 21:16:08 +00:00
sjfink 0d5cc5940b tweak a comment
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4054 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-04 23:00:10 +00:00
sjfink ac77758d0d tweak default buffer sizes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4053 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-04 22:55:28 +00:00
sjfink c47f3488a0 add some generics. no semantic change
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4052 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-04 22:27:34 +00:00
sjfink d32831b82a suppress some compiler warnings. no semantic change.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4051 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-03 15:40:50 +00:00
sjfink a9e1ef2a4f add a wildcard generic. no semantic change
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4050 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-03 15:24:26 +00:00
sjfink 7cc762c87b fix some compiler warnings. no semantic changes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4049 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-03 15:15:56 +00:00
sjfink 29b114928e minor cleanups. no semantic change
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4047 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-03 15:00:56 +00:00
sjfink c4082442f2 minor cleanups. no intended semantic changes.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4045 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-01 20:36:55 +00:00
sjfink 5025a68116 patch from Josh A., to support Eclipse plugin configuration stuff
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4044 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-28 13:14:53 +00:00
dolby-oss 5a042f3f69 tighten typing for NumberedGraph, using covariance as allowed as of java 1.5
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4042 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-20 16:46:53 +00:00
dolby-oss 1681a4222b added simple factory method make(int[])
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4041 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-20 16:45:17 +00:00
sjfink 129ce380a4 migrate more stuff to wala.util
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4040 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-17 22:57:35 +00:00
sjfink 5bd9c18b20 migrate more stuff to wala.util
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4039 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-17 22:41:32 +00:00
sjfink 5e4e9f010e migrate more stuff to wala.util
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4035 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-17 22:20:30 +00:00
sjfink d7d6b048b6 refactoring and moving the launcher utilities to wala.util
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4032 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-17 21:31:29 +00:00
sjfink 6416445fe4 refactor to move stuff into wala.util
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4031 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-17 21:13:34 +00:00
sjfink e8da3e3d8d move some functionality to wala.util
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4030 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-17 20:56:35 +00:00
sjfink 3cfdabc85b initial revision
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4029 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-17 20:24:29 +00:00