7d7e236fd6
Added test for exception pruning (including example for usage).
2015-10-23 14:56:33 +02:00
851f9b2ef3
Added comments.
2015-10-23 14:56:02 +02:00
f8cae1b509
Added Tests and Testdata for array bounds analysis.
2015-10-19 23:20:36 +02: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
26b126203d
fix imports; restructure annotations tests
2015-09-16 13:25:21 -04:00
671bd98977
Java 8 suport enhancements, mostly to model lambdas compiled to
...
invokedynamic
2015-08-12 15:20:21 -04:00
b1538aece6
Merge branch 'master' of https://github.com/wala/WALA
2015-08-09 13:47:01 -04:00
8470091225
Java 8 default methods
2015-08-09 13:46:03 -04:00
3f5ce89cb6
finalizer test
2015-08-09 13:43:40 -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
b721a3ceb0
updates to dynamic call graphs to better match static ones
2015-07-10 09:44:01 +02:00
a6a060ed25
changes for handling of 'callbacks' in dynamic CGs
2015-06-28 17:06:21 -04:00
31f9f1b0b5
more exclusions
...
allow 1.8 libs
2015-06-04 15:51:46 -04:00
58b7c7324c
test for reading java 8
2015-06-04 13:53:25 -04:00
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
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
d2b30fd7f0
use Java 7 execution environment
2015-05-18 19:22:41 -07:00
b7cf88e214
mobile tests changes
2015-04-07 19:34:27 -04:00
65edd0071a
juno stuff
2015-04-06 10:22:09 -04:00
eea6b2fc78
newer junit
2015-04-06 10:05:52 -04:00
c2b62f2ddc
newer junit
2015-04-06 10:00:44 -04:00
0975441a43
changes for hybrid analysis
2015-04-05 21:19:56 -04: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
de26484098
java annotations support for dalvik
2015-03-04 13:49:58 -05:00
5cc870dd77
fixes to Dalvik support, and work on running Dalvik tests on Travis
2015-02-26 09:34:03 -05:00
853b5fc37a
replace Filter with Predicate
2014-11-25 13:23:47 -06:00
e14a5b4c08
try -noverify to silence travis ci errors
2014-11-18 23:21:58 -05:00
bf7dbe6359
misc fixes
2014-11-18 22:37:51 -05:00
4a67dacfd8
Merge pull request #59 from cos/ssa-equals-based-on-id
...
`SSAInstruction` equals based on its `iindex`
2014-11-11 20:02:13 -08:00
97c368f247
relax ant version for travis
2014-11-11 20:17:35 -05:00
71f16d4f1b
try not using URLClassLoader
2014-11-11 20:03:09 -05:00
a97df8ceec
test revealing SSA cache problem
2014-11-10 11:59:06 -06:00
c9ad359d65
new test to remind me that prototype no longer works with correlation tracking:
...
com.ibm.wala.cast.js.rhino.test/harness-src/com/ibm/wala/cast/js/test/TestPrototypeCallGraphShapeRhino.java
com.ibm.wala.cast.js.test/harness-src/com/ibm/wala/cast/js/test/TestPrototypeCallGraphShape.java
com.ibm.wala.cast.js.test.data/examples-src/pages/prototype.html
work (not yet finished) on fixes to property accesses for JavaScript:
com.ibm.wala.cast/source/java/com/ibm/wala/cast/ipa/callgraph/AstSSAPropagationCallGraphBuilder.java
com.ibm.wala.cast.java/src/com/ibm/wala/cast/java/ipa/callgraph/AstJavaSSAPropagationCallGraphBuilder.java
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/ipa/callgraph/JSSSAPropagationCallGraphBuilder.java
currently unused tests to remind me to fix bugs:
com.ibm.wala.cast.js.test/harness-src/com/ibm/wala/cast/js/test/TestSimpleCallGraphShape.java
com.ibm.wala.cast.js.test.data/examples-src/tests/loops.js
com.ibm.wala.cast.js.test.data/examples-src/tests/primitive_strings.js
fixes to exception handler code generation in JavaScript:
com.ibm.wala.cast.js.rhino/source/com/ibm/wala/cast/js/translator/RhinoToAstTranslator.java
com.ibm.wala.cast.js.test.data/examples-src/tests/try.js
com.ibm.wala.cast.js.test/harness-src/com/ibm/wala/cast/js/test/TestSimpleCallGraphShape.java
fixes to make the system build on both juno and luna
com.ibm.wala.cast.js.test.data/pom.xml
pom.xml
targets/e42/e42.target
targets/e44/e44.target
targets/pom.xml
com.ibm.wala.core.tests/META-INF/MANIFEST.MF
com.ibm.wala.dalvik.test/META-INF/MANIFEST.MF
com.ibm.wala.ide.jdt.test/META-INF/MANIFEST.MF
com.ibm.wala.ide.jdt/source/com/ibm/wala/cast/java/translator/jdt/FakeExceptionTypeBinding.java
com.ibm.wala.ide.jdt/source/com/ibm/wala/ide/util/JavaEclipseProjectPath.java
com.ibm.wala.ide.jsdt.tests/META-INF/MANIFEST.MF
com.ibm.wala.ide.jsdt.tests/src/com/ibm/wala/ide/jsdt/tests/AbstractJSProjectScopeTest.java
com.ibm.wala.ide/src/com/ibm/wala/ide/util/EclipseProjectPath.java
com.ibm.wala.ide/src/com/ibm/wala/ide/util/ProgressMonitorDelegate.java
beginnings of "pointer analysis" on top of field-based analysis
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/callgraph/fieldbased/flowgraph/FlowGraph.java
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/callgraph/fieldbased/flowgraph/vertices/PropVertex.java
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/callgraph/fieldbased/flowgraph/vertices/RetVertex.java
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/callgraph/fieldbased/flowgraph/vertices/VarVertex.java
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/callgraph/fieldbased/flowgraph/vertices/VertexFactory.java
com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/PointerAnalysis.java
com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/cfa/ExceptionReturnValueKey.java
fixes for crashes in correlartion tracking
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/ipa/callgraph/correlations/extraction/ClosureExtractor.java
fixes for Dalvik IR generation
com.ibm.wala.core/src/com/ibm/wala/cfg/BytecodeCFG.java
com.ibm.wala.core/src/com/ibm/wala/cfg/ShrikeCFG.java
com.ibm.wala.core/src/com/ibm/wala/ssa/SSACFG.java
com.ibm.wala.dalvik.test/source/com/ibm/wala/dalvik/drivers/APKCallGraphDriver.java
com.ibm.wala.dalvik.test/source/com/ibm/wala/dalvik/test/callGraph/JVMLDalvikComparison.java
com.ibm.wala.dalvik/src/com/ibm/wala/dalvik/classLoader/DexCFG.java
com.ibm.wala.dalvik/src/com/ibm/wala/dalvik/dex/instructions/UnaryOperation.java
com.ibm.wala.dalvik/src/com/ibm/wala/dalvik/ssa/AbstractIntRegisterMachine.java
com.ibm.wala.dalvik/src/com/ibm/wala/dalvik/ssa/DexSSABuilder.java
fixes to stack map generation when instrumenting for Java 7
com.ibm.wala.shrike/src/com/ibm/wala/shrike/cg/DynamicCallGraph.java
com.ibm.wala.shrike/src/com/ibm/wala/shrikeBT/ConstantInstruction.java
com.ibm.wala.shrike/src/com/ibm/wala/shrikeBT/analysis/Analyzer.java
com.ibm.wala.shrike/src/com/ibm/wala/shrikeBT/analysis/ClassHierarchy.java
com.ibm.wala.shrike/src/com/ibm/wala/shrikeBT/analysis/Verifier.java
com.ibm.wala.shrike/src/com/ibm/wala/shrikeBT/shrikeCT/ClassInstrumenter.java
com.ibm.wala.shrike/src/com/ibm/wala/shrikeCT/StackMapConstants.java
com.ibm.wala.shrike/src/com/ibm/wala/shrikeCT/StackMapTableReader.java
com.ibm.wala.shrike/src/com/ibm/wala/shrikeCT/StackMapTableWriter.java
2014-10-15 16:01:38 +09:00
ef2e2c5ade
adapt to eclipse luna
2014-10-10 17:57:03 -04:00
f4f6f06d93
remove use-split-verifier hack
2014-10-06 19:31:18 -04:00
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
36709b9d1a
java 7 support, with much pain for stack maps :)
2014-10-06 15:34:16 -04:00
df38dade70
revert java_cup version
2014-10-01 22:11:35 -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
9c43798c37
add missing file
2014-08-08 08:44:52 -04:00
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
6f8aee80c6
Merge branch 'wala' into master
2014-07-28 17:09:02 +02:00
861bf48c7f
remove hard-coded refs to /tmp
2014-06-29 15:07:09 +02:00
0bb5e6998e
Remove redundant casts and imports, improve doc comments
2014-06-26 17:51:26 +02:00
4772f36d47
add standard type parameter to most pointer analysis references. When it breaks we move back to ? extends InstanceKey.
2014-05-20 22:00:06 +02:00
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
efdd337dee
add and enable GetMethod context, interpreter and selector and associated unit tests
2014-05-20 13:12:06 +02:00
45fe53a8bf
make NodeDecorator generic
2014-05-20 13:12:03 +02:00
3e55f0b370
new graph implementation for incremental graph extension
2014-05-20 13:11:19 +02:00
50c4ae2faa
try new way to find classpath entries for travis ci
2014-05-20 13:11:16 +02:00
5b22c3dba4
avoid running on travis for now
2014-05-20 13:11:12 +02:00
d0f099edb6
try to find jar file for travis tests
2014-05-20 13:11:07 +02:00
eb8f94c61c
try to find jar file for travis tests
2014-05-20 13:11:05 +02:00
8f376ffe71
rename dynamic cg test
2014-05-20 13:10:54 +02:00
dbd9c60d4f
type generalization
2014-05-20 13:10:22 +02:00
51ea9dee0e
test new mechanisms
2014-05-20 13:09:19 +02:00
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
837cb5aee5
1) compress dumped call graph edges
...
2) make instrumentor preserve the names of jar entries and classes as
they are input, rather than recomputing class names when writing the
output jar. This usually makes no difference, but can preserve broken
structures when the input jar file has mismatches between class names
and its entry names.
2014-05-20 13:09:07 +02:00
63ed63e7fa
add test for GetMethod context, interpreter and selector
2014-05-20 13:08:32 +02:00
a3a3e7fbe7
new graph implementation for incremental graph extension
2014-03-17 22:09:58 -04:00
b04a3f9b35
try new way to find classpath entries for travis ci
2014-03-17 10:09:48 -04:00
371695506d
avoid running on travis for now
2014-03-16 22:29:54 -04:00
b422fd500e
try to find jar file for travis tests
2014-03-16 22:14:36 -04:00
95c13203de
try to find jar file for travis tests
2014-03-16 22:01:02 -04:00
bfd999e03b
rename dynamic cg test
2014-03-16 18:04:21 -04:00
4c25c40789
type generalization
2014-02-08 22:52:19 -05:00
b5627bbe81
test new mechanisms
2014-01-07 22:36:23 -05:00
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
1259ab929f
1) compress dumped call graph edges
...
2) make instrumentor preserve the names of jar entries and classes as
they are input, rather than recomputing class names when writing the
output jar. This usually makes no difference, but can preserve broken
structures when the input jar file has mismatches between class names
and its entry names.
2014-01-03 10:10:03 -05:00
bcc0d23c54
minor fixes
2013-12-03 16:01:28 -05:00
639c876fe5
partial coloring
2013-12-02 14:42:51 -05:00
3d91075842
partial coloring
2013-12-02 14:37:28 -05:00
b057e35e2c
for now, ignore tests impacted by library change
2013-11-26 19:26:52 -05:00
7948f3b9ae
merge
2013-11-26 16:25:43 -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
bdc742f558
shrike cg tests
2013-11-14 21:48:04 -05: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
b984760100
support for reading method parameter annotations from Java bytecodes
2013-06-28 11:44:47 -04:00
080325b5f6
merge
2013-06-25 11:57:37 -04:00
c13dad9057
try redirecting excessive test output
2013-05-27 11:37:10 -07:00
38d0c3cc12
re-enable test
2013-05-27 11:07:32 -07:00
5de33324fa
another maven tweak
2013-05-27 11:06:21 -07:00
119fd841af
more manifest hacks. Also, temporary disable CG IO test
2013-05-27 10:35:55 -07:00
89c04ead32
tweaks to test config
2013-05-27 10:11:18 -07:00
0a7a3092b1
trying to get around classloading issues
2013-05-27 09:45:50 -07:00
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
9bc5bcbb3c
Disable certain tests when analyzed classes are in a jar file.
...
These tests create FileModules for certain class / source files,
and hence assume those files are sitting in the filesystem. We
should come up with a better fix here.
2013-05-26 14:45:50 -07:00
b23756924e
pass appropriate VM args when running tests
2013-05-26 14:45:24 -07:00
878cfa615d
changes to get tests passing on Java 7
2013-05-26 10:07:46 -07:00
8f9e988cef
enable running wala.core.tests in maven build
2013-05-25 16:14:04 -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
c0e3cb9831
fix for handling of static methods in ContainerContextSelector
2013-05-14 14:17:26 -07:00
16a0e02fa0
add utility methods for creating n-CFA call graph builders
2013-05-10 20:55:13 -07:00
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
d149ca2c73
Revert fix for tests; we need to figure out the right fix here.
...
This reverts commit cab3c6c0c4
2013-05-02 10:55:45 -07:00
edbdf989a9
right classloader for call graph tests
2013-04-29 13:13:23 +02: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
9549da9954
read runtime-visible annotations for fields
2013-04-08 13:50:26 -07:00
321e925660
work on CHA
2013-04-03 12:12:43 -04: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
182363bf88
fix bug involving paths with spaces
2013-01-30 17:29:41 -08:00
72f85ba2a9
add a simple driver for building a call graph via a scope file
2013-01-25 10:41:11 -08: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
b82d5dba90
Merge branch 'wala' into master
2012-11-06 04:23:10 +01:00
60db861a5f
complete conversion to Unix line endings
2012-09-04 16:05:49 -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
4a850a9510
added the com.ibm.wala.ide.jdt project
2012-08-21 18:52:09 -04:00
72e8dc9098
reorganize stuff for using JavaScript stuff from Eclipse
2012-08-21 09:48:53 -04:00
b8477d2144
incorporate changes from other branch
...
- basic compatibility with Java 7 (i.e., don't crash immediately)
- Added utility class for converting call graphs to JSON.
- add edgeExists CLI option to check if some edge exists in the call graph
2012-08-06 12:49:03 +02:00
3317c1ccf6
basic compatibility with Java 7 (i.e., don't crash immediately)
2012-08-03 15:41:09 -07: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
42c1016d96
remove duplicate class from wrong package
2012-05-21 11:25:26 +02:00
1bf5b73e74
static initializer order detection stuff from Martin Seidel
2012-05-18 15:58:47 +02:00
627fbc15c3
static initializer tests
2012-05-16 14:02:29 +02:00
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
c116f16823
got code to compile again, and wala.core regression tests pass
2012-04-16 22:30:03 -04:00
2edb070437
changed FileProvider to have instance methods
2012-04-16 14:57:14 -04:00
d81d8569eb
fix test
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4554 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-04-03 22:43:34 +00:00
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
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
cbd8b63142
undo change to SlicerTest
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4291 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-12-28 17:03:42 +00:00
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
6c4fcdcbee
bug fix from David Young: use File.pathSeparator
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4280 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-10-10 13:03:00 +00:00
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
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
e9199401c9
change to remove time blowup in test on recent Java versions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4231 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-22 21:48:15 +00:00
deddf6ecbe
make the condition checked by a couple of tests more specific, to avoid issues with different Java library versions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4230 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-22 21:29:57 +00:00
981e04f243
update to work on Windows
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4229 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-22 20:26:04 +00:00
25b0e33015
fix test to be less dependent on library code
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4228 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-22 20:24:35 +00:00
214e541ed0
added more exclusions to get tests to run in a reasonable amount of time
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4227 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-22 19:45:41 +00:00
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
f8197b4f2c
patch to fix FileProvider bug from Marcel Bruch
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4177 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-05-27 19:50:33 +00:00
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
857e456806
organize imports
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4081 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-03 04:08:05 +00:00
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
e3564dce02
change ClassHierarchy to IClassHierarchy
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4076 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-03-21 16:04:45 +00:00
fb10bd4611
uncomment test and indicate why we don't currently run it
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4063 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-03-01 18:15:17 +00:00
c0b30598f4
added another test
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4060 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-10 00:01:32 +00:00
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
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
6bd8363503
refactor to isolate core utilities from dependence on Eclipse IProgressMonitor
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4034 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-17 22:06:58 +00:00
fa825de846
refactoring of fixpoint API
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4033 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-17 21:43:18 +00:00
b3df24132f
move BitVectorKillAll to wala.core
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4023 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-03 21:09:21 +00:00
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
2ed3b05257
bug fix
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3986 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-11-03 17:49:06 +00:00
7a5d3baacd
bug fix for CFGSanitizer
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3984 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-10-20 20:38:44 +00:00
d4ee31ad9e
added clear() method to mutable int sets
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3981 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-10-15 02:10:44 +00:00
502db2afb9
make some stuff static
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3977 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-10-11 14:35:08 +00:00
48ff32f2e3
copyright comment update
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3975 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-10-11 14:29:47 +00:00
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
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
ed889de199
added Floyd-Warshall all pairs shortest path implementation
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3964 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-10-04 17:27:56 +00:00
9cae049830
Added viewer for CHA/CG/PA for Java/JavaScript.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3954 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-09-28 17:11:12 +00:00
a0cd2bc66d
Use default JRE in launcher
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3946 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-09-28 08:08:55 +00:00
ab142b7cbd
fix documentation
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3898 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-09-01 15:50:53 +00:00
fdcd232490
small change for case of missing calls
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3850 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-06-01 16:08:24 +00:00
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
460477e074
fix bug in PDG contruction for a case involving infeasible bytecodes; add corresponding test
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3843 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-05-17 16:57:52 +00:00
f8b56e13ec
more launcher fixes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3840 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-05-13 22:10:18 +00:00
64db83538f
delete duplicate launchers. Fix SWTTypeHierarchy launcher.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3839 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-05-13 21:58:58 +00:00
248db587a9
add IFDSExplorerExample
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3836 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-05-12 22:58:32 +00:00
f76602dbfb
clean up interface for creating a DemandRefinementPointsTo class, and make the internal ThisFilteringHeapModel package visible
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3827 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-04-30 17:13:14 +00:00
f01fae7482
delete some commented code
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3826 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-04-30 17:12:17 +00:00
e25b29ed48
added documentation
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3824 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-04-28 20:00:20 +00:00
be5edcae8b
use latest cache interface
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3821 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-04-28 19:36:22 +00:00
f2a390d485
adapt to checkcast change
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3820 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-04-28 19:35:53 +00:00
3c8c5e2059
clean up @author
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3819 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-04-28 19:35:34 +00:00
e0ef61507c
fix for 1.6 on mac
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3818 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-04-28 19:35:14 +00:00
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
b7a6299afb
change a test to handle differing heap deps in different versions of the std lib
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3808 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-04-21 14:46:12 +00:00
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
6b9ec42cb8
javadoc / formatting fixes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3806 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-04-07 17:11:13 +00:00
cab2bcfd07
add an example of constructing IRs and use of ReferenceCleanser
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3805 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-03-15 22:58:41 +00:00
cea1d68710
exlude org.netbeans.* and org.openide.*
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3802 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-02-11 15:19:27 +00:00
23f99d6101
fixed path to example (moved from com.ibm.wala.core.tests to com.ibm.wala.ide.tests)
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3778 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-12-20 21:55:50 +00:00
db3c03dbce
fix comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3775 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-12-03 16:38:28 +00:00
9fc5e5f016
one more flows-to test
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3767 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-11-19 17:12:21 +00:00
4b34785700
bug fixes for flows-to
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3766 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-11-19 17:09:20 +00:00
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
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
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
24d28210e8
more caching of class hierarchies
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3750 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-07-28 02:26:03 +00:00
ab47cddadf
more speedups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3749 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-07-28 01:47:06 +00:00
93a4571961
undo WalaTestCase extending TestCase; dependent projects will have to be switched to JUnit 4. Also, more optimizations.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3742 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-07-27 22:43:06 +00:00
f8c06cc6ef
maintain JUnit 3 compatibility, e.g., for CAst
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3741 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-07-27 21:14:59 +00:00
105a263cc5
cached class hierarchy to speed things up
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3740 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-07-27 21:03:33 +00:00
02e7bf2894
switch to jUnit 4
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3739 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-07-27 20:38:48 +00:00
4a80ac1984
tweak comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3726 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-07-13 18:01:00 +00:00
e39897e619
tweak comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3724 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-07-13 17:58:45 +00:00
bf740fb945
add some comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3713 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-07-02 18:19:24 +00:00
fde4a16a23
refactor: move Predicate to com.ibm.wala.util
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3705 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-06-26 13:06:16 +00:00
a0efbee8ff
Major refactoring to introduce com.ibm.wala.ide. Many related changes and patches from Marcelo Paternostro.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3693 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-06-22 15:06:12 +00:00
f85b2506d8
fix bugs in launcher
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3681 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-06-18 13:59:41 +00:00
6fb883c0da
change declared WalaException to IllegalStateException
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3656 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-06-12 14:31:33 +00:00
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
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
f229e9c2ac
mostly comments. A few new type parameters. No semantic changes.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3620 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-05-29 15:26:35 +00:00
f39b9cf43a
revert previous checkin (a major API change to IClass.getSourceFile())
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3584 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-05-07 14:38:07 +00:00
2113f3e601
REFACTOR: - code changes to accommodate .NET into WALA. A .NET class maps onto multiple source files, and thus these changes.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3583 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-05-07 14:14:28 +00:00
db1bc2fadc
fix broken CAst builds.
...
deprecate Internal and NonNull annotations
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3577 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-05-07 13:51:24 +00:00
de6adbc4d7
more migration to Java assertions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3559 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-05-01 17:42:28 +00:00
9939142eae
switch from Assertions._assert to Java assertions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3555 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-30 13:16:52 +00:00
3fb8781d9d
comments and deprecate some unused code
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3522 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-22 19:11:18 +00:00
26e9f2a0b0
comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3508 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-22 16:47:27 +00:00
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
e80dc6ef8c
refactor handling of constants in Shrike to abstract away from Java bytecode
...
introduce factories to create SSAInstruction objects
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3433 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-10 18:33:07 +00:00
957cb2b8ca
deprecate Trace
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3432 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-09 20:31:14 +00:00
9490bbd26f
tweak launchers
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3431 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-09 20:08:16 +00:00
e08ed2663f
Deprecate Iterator2Collection.toCollection(); use toSet() or toList() instead.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3421 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-09 15:24:42 +00:00
98c651fee4
rename a bunch of things from GV to PDF. Fix up example launchers to take input from workspace_loc instead of c:\temp.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3412 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-03 18:25:05 +00:00
002e29dcb0
start renaming things from GV/ghostview to pdf
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3411 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-03 17:34:40 +00:00
ced43326b1
change to reflect PDF output
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3409 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-03 15:57:33 +00:00
dd714660f4
more comment fixes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3408 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-03 15:57:01 +00:00
d790f5a52c
update max heap to be consistent with wiki
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3406 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-03 14:47:40 +00:00
ae40af3a62
update comments for Mac
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3405 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-03 14:46:50 +00:00
7fdacaef22
more IllegalArgument checks
...
propagate IOExceptions when reading AnalysisScopes from files
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3396 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-03-31 20:16:52 +00:00
b70fb523cb
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3375 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-03-26 22:33:32 +00:00
ddbbcac07b
Added support for reading runtime visible annotations
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3360 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-03-22 07:51:11 +00:00
16bc6fa6e2
non-windows launcher; just changed where console output is stored
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3356 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-03-19 15:14:45 +00:00
656bafa923
fix weird build issue
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3304 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-03-13 16:05:37 +00:00
993ac3264f
mostly new IllegalArgumentExceptions
...
a few minor cleanups
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3270 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-03-10 16:12:40 +00:00
94224b40b8
small cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3268 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-03-09 18:11:50 +00:00
5afbe456b6
fix execution environment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3243 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-02-26 18:23:24 +00:00
7118bd6573
adapt to core changes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3232 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-02-19 16:01:24 +00:00
407ced0a18
export the com.ibm.wala.core.tests.plugin package
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3210 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-02-03 20:42:44 +00:00
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
7efbde9f91
fix path
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3176 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-01-19 19:18:53 +00:00
b1f300156e
patch from yinnon to make analysis scopes obey list order
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3144 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-12-17 19:52:27 +00:00
884d1b9017
allow use of progress monitors in importing projects into test workspaces
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3132 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-12-16 14:26:11 +00:00
69e2ff9589
added activation class to ease use of stuff by other plugin projects in a running Eclipse
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3131 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-12-16 14:23:04 +00:00
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
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
4c37cfc4dd
moved primordial.txt to wala.core, to avoid implicit dependence from core to core.tests
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3088 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-11-20 01:50:55 +00:00
2fa95eb600
fix classpath
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3024 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-09-04 13:31:42 +00:00
b82c58ee03
fix path
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3009 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-08-25 14:20:35 +00:00
3aefc3e1ea
support for reading InnerClass attributes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2992 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-08-15 14:49:53 +00:00
48170df6c4
tweak semantics of multinewarry length parameters ... don't use 0 to indicate missing dimensions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2978 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-07-28 21:02:23 +00:00
c74560050e
fix multinewarray bug
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2975 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-07-28 18:43:02 +00:00
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
17b4762ec6
add test for control dependence of phi nodes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2969 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-07-27 21:39:00 +00:00
9d0131b0be
add test for control dependence of phi nodes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2968 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-07-27 21:38:50 +00:00
4caea6dc84
tweak code format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2944 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-07-04 01:56:38 +00:00
9f96656dc2
bug fixes for ExplodedCFG for some synthetic methods
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2924 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-06-27 18:43:01 +00:00
677927e83d
tweak code format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2910 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-06-25 14:58:40 +00:00
7cd9b4cfcc
ClassHierarchy to IClassHierarchy
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2899 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-06-20 17:10:26 +00:00
e3546de635
migrate from deprecated API
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2875 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-06-01 22:29:25 +00:00
de96729255
fix typo
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2873 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-29 20:07:37 +00:00
6c9d18f326
switch to short profile
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2872 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-29 19:56:34 +00:00
a123ca68f1
more cruise stuff
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2870 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-29 19:33:58 +00:00
ecac33ec5c
more cruisecontrol support
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2869 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-29 19:28:36 +00:00
e6b0f3fadb
more ant tweaks
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2867 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-29 16:54:31 +00:00
04b9dff056
generate linux build file
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2866 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-29 15:34:20 +00:00
95a36cedd9
more UTF-8
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2864 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-29 12:04:31 +00:00
6a6ab3346c
use UTF-8 in comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2859 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-28 18:03:34 +00:00
63df214916
set javacFailOnError
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2856 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-28 17:51:02 +00:00
e7db05a66c
hide generics warnings
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2854 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-28 17:49:38 +00:00
3e4e738a39
remove dependence from cast.java.test to eclipse.tests
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2851 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-27 13:30:18 +00:00
ed8a7159e6
remove dependence from cast.java.test to eclipse.tests
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2850 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-27 13:29:35 +00:00
0f43338813
fix a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2848 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-25 19:26:25 +00:00
796eb7a879
another example program requested by Amer Diwan
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2847 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-25 19:23:31 +00:00
8c83635562
a new example program, requested by Amer Diwan
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2846 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-25 19:16:15 +00:00
8fe9467be8
remove references to Trace
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2830 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-22 19:17:23 +00:00
7f240b4c4d
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2822 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-18 14:03:05 +00:00
aa07659a5d
new method pointsToPassesPred() for demand points-to analysis; various refactorings; some new tests
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2820 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-16 19:19:53 +00:00
5569d461af
switch demandpa tests to use PABasedMemoryAccessMap
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2818 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-15 18:32:23 +00:00
3ee24d710e
added PABasedMemoryAccessMap; added getHeapModel() to MemoryAccessMap
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2817 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-15 18:04:43 +00:00
2b1fae8f1a
set Version as requested by Ashish Patel
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2780 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-04 15:24:26 +00:00
2fc776af9c
minor change to demand points-to interface
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2775 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-04-30 17:18:11 +00:00
c10084093a
initial check-in
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2763 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-04-22 12:15:03 +00:00
3f293dcc60
various refactorings for demand points-to analysis
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2758 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-04-12 21:58:39 +00:00
a8b09bef6b
remove a bunch of junk
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2757 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-04-11 15:19:41 +00:00
f18e69848a
added code to use progress monitor, other small changes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2753 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-04-08 16:46:58 +00:00
30f9303ee1
delete half-baked logic package
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2749 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-04-04 21:05:28 +00:00
2197b8237a
Added support for additional reflective methods
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2746 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-04-04 19:45:56 +00:00
cbcee6624f
change getPossibleTargets() to handle <init> methods specially
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2745 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-04-04 17:54:00 +00:00
4bb4e509ff
add logic that arrays implement Cloneable and Serializable
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2740 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-04-01 21:50:45 +00:00
bf8e4d8b58
more reflection tests
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2726 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-21 14:58:58 +00:00
bf3d1514d0
make it compile
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2719 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-19 20:31:50 +00:00
7de7e64f05
fix some bitrot, other small changes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2717 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-19 20:21:28 +00:00
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
3085b16ae6
more reflection support
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2672 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-04 19:48:37 +00:00
f591d8a309
updated some values for 0-CFA call graph
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2669 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-04 17:32:47 +00:00
bb2d20cba4
switched to 0-CFA call graphs
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2668 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-04 17:32:26 +00:00
511afd1dec
tweak expected points-to set sizes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2658 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-04 03:36:22 +00:00
Stephan Gocht
Manu Sridharan
Julian Dolby
Cosmin Radoi
Manu Sridharan
Juergen Graf
Michael Heilmann
ksrinivs
Manu Sridharan
Marcel Bruch
msridhar1
sjfink
dolby-oss
yinnon_haviv
yahave
omertripp
egeay
pistoia