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