2a5503b9aa
Exclude Maven-generated HTML pages from validation
...
Eclipse validation warns about invalid HTML content in all
Maven-generated "target/site/dependency-convergence.html" files. The
warnings are legitimate: these HTML files are indeed invalid.
However, we don't maintain the tool that generates these files, so we
are not in a position to fix them. Better, therefore, to suppress
these warnings so that we can notice and fix other problems over which
we do have control.
2016-11-27 21:24:03 -06:00
dace7b709f
Ignore missing non-null-by-default annotations in Eclipse
...
In general, the WALA code base is not really ready for nullness
checking. It would be nice if we got there some day, but I'm not
planning to take that on now or any time soon. Until then, it's not
useful to warn about missing @NonNullByDefault declarations on WALA
packages.
See also older commit 7b6811b
2016-11-26 18:47:35 -06:00
8855f80c97
allow notion od edge labels to be overridden in the CDG
2016-09-26 19:42:19 -04:00
f3b5d41af9
refactor CFG to separate instructions from CFGs; this is to allow code like CDGs to be reused without an IR.
2016-09-26 13:37:51 -04:00
83799f0fea
dd edge labels when printing labeled graphs
2016-09-20 21:41:03 -04:00
315d836d18
Fix building jars with JDK 7
2016-07-22 14:46:35 -07:00
373a4d8aa4
Update Maven Central files to allow building under Java 8
2016-07-22 12:32:51 -07:00
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
be6eec72a0
more temp file APIs
2016-07-01 10:51:30 -04:00
e8dfe604a5
fix bug in pull
2016-06-29 22:08:33 -04:00
22ce3d1144
Merge https://github.com/steohan/WALA
2016-06-29 13:03:50 -04:00
c1aaec592c
Accidental "warning" setting should be "ignore"
...
The original intent was to ignore this potential problem in all projects in which it occurs; this one escaped my attention.
2016-06-28 16:54:19 -05:00
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
cd560b3b2b
switch version to 1.3.10-SNAPSHOT
2016-05-10 22:53:28 +09:00
158a5deeb0
Version 1.3.9
2016-05-10 21:59:26 +09:00
715b1e86fe
Merge pull request #1 from wala/master
...
Pull from Wala
2016-01-13 02:23:04 +01:00
c5c4799b35
Added minimalistic implementation of an exceptio analyisis. (Not fully
...
functional yet.)
2015-11-20 21:19:41 +01:00
e46bb81081
Update version to 1.3.9-SNAPSHOT
2015-10-09 12:55:49 -07:00
ed5093d6db
Properly update version to 1.3.8
...
Other changes were accidentally committed last time.
2015-10-09 11:06:03 -07:00
077cabc4eb
Revert "update version to 1.3.8"
...
This reverts commit 4aac703ee5
2015-10-09 11:03:46 -07:00
4aac703ee5
update version to 1.3.8
2015-10-09 10:45:57 -07:00
045537274f
merge
2015-08-13 11:26:48 -04:00
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
5aae6234e8
give BasicNullaryStatements a toString() method
...
Before, fixed-point systems containing BasicNullaryStatements
caused crashes when trying to output them (because toString()
method of AbstractStatement assumes that there is Right-Hand-Side,
but BasicNullaryStatements throw an UnsupportedOperationException
when trying to get them).
Why shouldn't BasicNullaryStatements have a string representation?
2015-07-30 17:19:34 +02:00
8d143dbf20
remove 'Custom Change' markers
2015-06-25 09:12:37 +02:00
620dd15d00
allow comments in exclusion files
2015-06-25 08:59:21 +02:00
e1beb6aa90
add non-recursive dfs solution to compute backedges for large methods
2015-06-14 23:30:41 -07:00
052023581d
update version to 1.3.8-SNAPSHOT
2015-05-31 13:53:07 -07:00
f2f65bfbc5
oops, version should be 1.3.7
2015-05-29 13:20:25 -07:00
894f010ff9
version 1.3.8
2015-05-29 12:20:53 -07:00
7ad8700064
update version numbers to 1.3.7-SNAPSHOT everywhere
2015-05-28 10:37:01 -07:00
48711a4e3e
Merge branch 'master' of https://github.com/wala/WALA
2015-05-26 08:53:06 -04:00
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
56909ee153
bug fix: add unary and nullary statements to equations set
2015-05-18 19:23:29 -07:00
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
e4ed9d1b4f
file map
2015-02-26 11:50:41 -05:00
853b5fc37a
replace Filter with Predicate
2014-11-25 13:23:47 -06:00
05899aa774
Merge pull request #62 from aaandrewww/upstream
...
Off by one error in toString, the last node is at index maxNumber-1.
2014-11-20 10:57:12 -08:00
22b0643c97
Off by one error in toString, the last node is at index maxNumber-1.
2014-11-20 11:56:30 -05:00
a762e17db5
build file to deploy jars to Maven Central
2014-10-27 16:19:17 -07:00
1bb7610011
work toward pointer analysis based on the flowgraph from field-based
...
call graph builder
2014-10-19 22:44:03 -04:00
14c9c96515
merge of java 7 changes.
...
fixes for Dalvik commit.
2014-10-06 17:41:58 -04:00
a1bc84356d
scandriod merge
2014-10-01 21:32:36 -04:00
774be73672
Merge https://github.com/jgf/wala-mirror
2014-09-11 10:43:13 -04:00
53af910339
make return type more precise
2014-08-07 15:43:29 -04:00
c05415720e
remove custom change markers for code that will be merged to main branch
2014-08-01 12:27:22 +02:00
eb9e74f442
add/remove @SuppressWarnings to keep in sync with wala main branch
2014-07-30 16:17:37 +02:00
8f6ec6bc54
cleanup
2014-07-30 15:05:15 +02:00
6f8aee80c6
Merge branch 'wala' into master
2014-07-28 17:09:02 +02:00
02fdb60519
use cancel message
2014-07-11 11:33:11 -04:00
40d5906e48
more shortcuts in OrdinalSet.equals
2014-07-10 17:28:54 +02:00
beb3948df9
adjust comments
2014-07-05 08:26:39 -07:00
ea40719069
Merge branch 'master' of https://github.com/wala/WALA into development
2014-06-26 17:52:47 +02:00
0bb5e6998e
Remove redundant casts and imports, improve doc comments
2014-06-26 17:51:26 +02:00
a739a71c6a
make Drainer class protected
2014-06-05 09:01:50 -04:00
ef4513d377
revert PointerAnalysis hack that makes containsAny() and contains() methods in OrdinalSet unusable
2014-05-20 19:52:01 +02:00
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
45fe53a8bf
make NodeDecorator generic
2014-05-20 13:12:03 +02:00
d92175e098
new helper method
2014-05-20 13:11:49 +02:00
e5303a7167
1.6 SE
2014-05-20 13:11:30 +02:00
9b7ceb2032
implemented some more featutres.
2014-05-20 13:11:27 +02:00
6673f18db1
static type for inverter of known numbered graph
2014-05-20 13:11:24 +02:00
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
3e55f0b370
new graph implementation for incremental graph extension
2014-05-20 13:11:19 +02:00
732b50d7e5
allow access in subclasses
2014-05-20 13:11:00 +02:00
6511d6acc3
move java 7 dependent code to core, so util works with java 6
2014-05-20 13:10:49 +02:00
a22c550398
fix spelling errors
2014-05-20 13:10:44 +02:00
b8154bf2d9
slight generalization of the temporary file support
2014-05-20 13:10:41 +02:00
5c45dde3d8
new progress monitor functionality to handle memory limitation
2014-05-20 13:10:25 +02:00
b0bc00e276
type generalization for mutable mappings
2014-05-20 13:10:03 +02:00
d962543b87
allow filtering to express subtypes
2014-05-20 13:10:01 +02:00
e4d8380dc8
a couple of wrappers
2014-05-20 13:09:21 +02:00
6a835c908e
use a more precise (covariant) return type for BitVectorIntSet.intersection
2014-05-20 13:08:56 +02:00
cf9d623b40
change to compile in eclipse - move files from util to core due to dependencies
2014-05-19 13:24:47 +02:00
a7c44d4789
new helper method
2014-04-29 11:17:38 -04:00
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
cc2ffec023
Additional check in ParameterAccessor
...
getThisAs tests for supertype now
2014-04-11 17:59:09 +02:00
1857121a44
Add "Custom Change" where applicable
...
Added the lines
BEGIN Custom Change
END Custom Change
2014-04-11 17:58:33 +02:00
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
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
1dc721710f
Fix handling of types not in cha
...
Before the TypeSafeInstructionFactory would throw. Now it ignores.
2014-04-11 17:53:14 +02:00
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
ece84ddf76
Fix field-handling for Intent-Wrappers
...
The IntentContextInterpreter always returned an empty set of fields
2014-04-11 17:53:13 +02:00
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
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
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
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
964a0d86b9
Debug-Output only
...
No changes on the inner workings, only provided better Debug-Messages.
2014-04-11 17:50:17 +02:00
fe5ad51acd
1.6 SE
2014-04-11 09:28:36 -04:00
4e9748d4b9
implemented some more featutres.
2014-04-11 09:27:50 -04:00
f8921c4389
static type for inverter of known numbered graph
2014-04-11 09:26:37 -04:00
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
a3a3e7fbe7
new graph implementation for incremental graph extension
2014-03-17 22:09:58 -04:00
c0984fd3e5
allow access in subclasses
2014-03-16 18:06:47 -04:00
3bc0ad9a2c
move java 7 dependent code to core, so util works with java 6
2014-03-03 14:30:19 -05:00
6549723da1
fix spelling errors
2014-03-03 11:07:02 -08:00
2307c2c1a7
slight generalization of the temporary file support
2014-02-14 20:35:54 -05:00
b40cf4929b
new progress monitor functionality to handle memory limitation
2014-02-08 22:53:02 -05:00
81edfcdd9e
type generalization for mutable mappings
2014-02-08 21:42:16 -05:00
1ccbbbc433
allow filtering to express subtypes
2014-02-08 21:41:34 -05:00
823cae8748
a couple of wrappers
2014-01-15 21:58:46 -05:00
e6fed7efa3
use a more precise (covariant) return type for BitVectorIntSet.intersection
2013-12-18 06:27:43 -08:00
51d4b0e462
make urlToFile and streamToFile more flexible
2013-12-13 19:27:22 -05:00
bcc0d23c54
minor fixes
2013-12-03 16:01:28 -05:00
436584b51b
øMerge branch 'master' of https://github.com/wala/WALA
2013-12-02 15:31:40 -05:00
30f2cc4dbe
don't put junk in result map
2013-12-02 15:31:36 -05:00
639c876fe5
partial coloring
2013-12-02 14:42:51 -05:00
3d91075842
partial coloring
2013-12-02 14:37:28 -05:00
7b356cac2b
fix for Maven build
2013-12-01 20:09:47 -06:00
7948f3b9ae
merge
2013-11-26 16:25:43 -05:00
e77e68c0f5
cleanup
2013-11-26 16:06:22 -05:00
c1a923d0ba
allow partial coloring
2013-11-26 15:04:09 -05:00
dedbc2d443
coloring now requires numbered graphs. a performance hack.
2013-11-21 14:27:27 -05:00
8888d77f97
fix test in PlatformUtil.onMacOSX to use System.getProperty("os.name")
2013-11-18 06:19:39 -08:00
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
cdaaddf88b
Merge branch 'wala' into master
2013-07-02 14:23:24 +02:00
080325b5f6
merge
2013-06-25 11:57:37 -04:00
7ca109967d
read J2SE jars from bootclasspath if wala.properties cannot be loaded
2013-05-25 16:05:25 -07:00
3b1889121b
add missing copyright headers
2013-05-22 15:39:19 -07:00
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
9d18e9486c
fix typo in print statement
2013-05-14 12:18:10 -07:00
7c2d18cd58
[releng] added preliminary maven tycho build support
2013-04-29 13:13:22 +02:00
00eb1d2bd2
Set all projects to build against Java 6; no semantic change. Fixes #20
2013-04-10 16:01:27 -07:00
321e925660
work on CHA
2013-04-03 12:12:43 -04:00
c9e1b2e587
fix a bug in BitVectorVariable.copyState() involving empty vectors
2013-03-18 08:40:25 -07:00
b0ada30a31
remove warnings from com.ibm.wala.util
2013-03-12 00:55:26 +01:00
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
9112408418
update comments
2013-02-14 09:35:55 -08:00
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
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
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
583ebd3ce4
publicize method makeClasspath(). deprecate quoteStringIfNeeded()
2013-01-04 13:30:44 -08:00
7cf0baeee3
javadoc
2013-01-04 11:34:02 -08:00
9fac9e9a30
Merge branch 'wala' into master
2012-11-30 04:46:24 +01:00
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
10172606bb
add project-specific settings to build with 1.6 compiler
2012-11-29 13:47:01 -08:00
9503100d8b
fix bug in intersection framework - aborted too early
2012-11-29 17:46:38 +01:00
846a047aba
change handling of vm args to avoid problems with spaces
2012-11-27 22:19:57 -08:00
4f06e75e8d
fix a logging statement
2012-11-27 22:18:47 -08:00
d78e8fe25c
delete debugging printf statement
2012-11-27 15:18:48 -08:00
1448f506eb
revamp JavaLauncher sequence to avoid problems with spaces on MacOS
2012-11-27 14:47:09 -08:00
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
bb6d890976
explicit cast in InSetVariable - removes compiler error
2012-11-22 14:02:13 +01:00
d09fc511e2
Added a logging stopwatch for debugging.
2012-11-20 10:45:56 -05:00
6990401629
use java 1.6 for wala.util
2012-11-13 18:25:16 +01:00
b82d5dba90
Merge branch 'wala' into master
2012-11-06 04:23:10 +01:00
b6ce6673a8
add intersection bitvector operator
2012-11-05 21:30:25 +01:00
d5dc65268e
don't let nanny thread for timeout prevent JVM exit
2012-10-26 14:29:24 -07:00
928c5337f0
Added utility method to filter a collection by element type.
2012-10-11 11:49:39 -04:00
24eb803211
organize imports; no semantic change
2012-09-04 16:24:37 -07:00
56f3d847a5
more conversion to Unix line endings
2012-09-04 15:59:50 -07:00
256cd06460
Convert all Java source files to use Unix line endings; no semantic change
2012-09-04 15:56:05 -07:00
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
3b2c9afa42
attempted fix for possible Heisenbug caused by misuse of non-blocking I/O API.
2012-08-21 15:03:26 -07:00
e37d67c7d2
change Launcher logging to level info()
2012-08-21 10:49:33 -07:00
4ff1211dad
equals for OrdinalSets
2012-07-17 17:44:03 +02:00
4648f0404a
Merge branch 'wala' into master
2012-07-17 13:57:43 +02:00
4b3cba710d
changes from upstream
2012-06-29 15:47:54 -04:00
1090e59717
Merge branch 'wala' into master
2012-04-04 11:27:23 +02:00
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
7477b1730b
Merge branch 'wala' into master
2012-03-19 13:33:48 +01:00
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
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
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
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
bf923dc2b5
progressmonitor can now be used to cancel operations
2011-11-22 14:26:30 +01:00
f7741c7771
subtasks in monitorutil
2011-10-27 15:15:15 +02:00
0f66936790
Merge branch 'wala' into master
2011-10-26 14:34:59 +02:00
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
44a3dae093
Merge branch 'wala' into master
2011-10-21 15:15:20 +02:00
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
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
c240d41b4f
Merge branch 'wala' into master
2011-08-16 22:16:32 +02:00
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
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
efb729e038
Merge branch 'wala' into master
2011-07-27 01:15:29 +02:00
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
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
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
f5ac0c543f
Merge branch 'wala' into master
2011-07-12 19:50:39 +00:00
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
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
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
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
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
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
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
f8d6f5b917
Merge branch 'wala' into master
2011-05-27 12:25:53 +02:00
b84657d1a9
add some new classes from wala
2011-05-26 16:43:36 +02:00
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
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
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
2d3052bede
intraprocedural nullpointer exception analysis
2011-04-11 16:28:51 +02:00
5c43668553
Merge branch 'wala' into master
2011-04-11 16:40:48 +02:00
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
d7ebb57ee6
add substasks to progressmonitor
2011-03-30 13:03:16 +02:00
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
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
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
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
Ben Liblit
Julian Dolby
Manu Sridharan
Manu Sridharan
Julian Dolby
steohan
Stephan Gocht
Martin Mohr
Juergen Graf
Cosmin Radoi
Andrew Johnson
Michael Heilmann
sjfink
Tobias Blaschke
ksrinivs
Manu Sridharan
Marcel Bruch
Max Schaefer
msridhar1
dolby-oss
sjfink