Ben Liblit
0165605c19
Simplify resource management using try-with-resource
...
This fixes the remaining 34 Eclipse "Resource '...' should be managed
by try-with-resource" warnings that were still left after the previous
commit.
Unlike the fixes in that previous commit, the changes here are *not*
plugging potential resource leaks. However, in many cases that is
simply because the code before the close() call cannot currently throw
exceptions. If exceptions became possible in the future, leaks could
result. Using try-with-resource preemptively avoids that.
Furthermore, in code that was already dealing with exceptions, the
try-with-resource style is usually considerably simpler.
2017-03-12 21:38:43 -05:00
Ben Liblit
b1678882b3
Plug numerous potential resource leaks
...
This fixes 33 out of 37 Eclipse "Potential resource leak: '...' may
not be closed" warnings. It also fixes 3 out of 37 Eclipse "Resource
'...' should be managed by try-with-resource" warnings, although that
was not the main focus of this effort.
The remaining 4 warnings about potential resource leaks all involve a
leaked JarFile instance that is passed to a JarFileModule constructor
call. JarFileModile never attempts to close its underlying JarFile;
this code is written as though JarFile cleanup were the caller's
responsibility. However, the JarFile often cannot be closed by the
code that creates the JarFileModule either, since the JarFile needs to
remain open while the JarFileModule is in use, and some of these
JarFileModules stay around beyond the lifetime of the code that
created them. Truly fixing this would essentially require making
JarFileModule implement Closeable, which in turn would probably
require that Module implement Closeable, which in turn would require
changes to lots of code that deals with Module instances to arrange
for them to be properly closed. That's more invasive than I'm
prepared to take on right now.
2017-03-12 21:38:43 -05:00
Ben Liblit
994a70500f
Remove redundant generic type parameters where possible
...
Instead, rely on Java's ability to infer type parameters in many
contexts. This removes 665 Eclipse warnings.
Note: a few of these changes are to files under "test" subdirectories.
Presumably those are files that serve as test inputs rather than being
part of WALA code proper. As far as I can tell, these changes do not
break any WALA tests. But if any of those tests were specifically
intended to exercise WALA on code with non-inferred generic type
parameters, then I really should be leaving those alone.
2017-03-11 21:20:51 -06:00
Julian Dolby
db65c16863
Merge branch 'pull-request__typeannotations' of https://github.com/joana-team/WALA
2017-03-11 16:19:50 -05:00
Julian Dolby
2a4d24dc6f
Merge branch 'pull-request__nullpointer-bugfixes' of https://github.com/joana-team/WALA
2017-03-11 14:48:13 -05:00
Julian Dolby
70501da941
Revert "IFDS Null Analysis files"
...
This reverts commit df99517df0
.
2017-03-11 13:25:19 -05:00
Julian Dolby
f595eb357e
add some abstraction to IR, using IRView
2017-03-11 13:22:45 -05:00
Julian Dolby
f5c36d7411
Merge branch 'master' of https://github.com/d2an3/WALA
2017-03-09 08:53:30 -05:00
Julian Dolby
7b393a7da2
fix for missing Java 8 feature
2017-02-24 22:29:14 -05:00
Andrei Dan
df99517df0
IFDS Null Analysis files
2017-02-11 18:36:28 +01:00
Julian Dolby
d24519e974
cross-cutting changes to make more of WALA runnable with TeaVM. The biggest change is refactoring to AnalysisCache and friends; since TeaVM does not support SoftReference, I needed to add a layer of interfaces so that I can use a more simpleminded caching implementation for TeaVM. There are other changes to Module and friends to break connections with File and URL, which also cause TeaVM grief. I also organized imports in many places to remove unused types that caused trouble.
2017-02-02 20:33:27 -05:00
Julian Dolby
c9b1006305
changes for allowing seq. and conc. CHAs
2017-01-12 16:34:54 -05:00
Julian Dolby
137fed6e62
optionally dump CG
2017-01-05 14:10:11 -05:00
Julian Dolby
15c8d711db
changes for working with TeaVM and compilation to JavaScript
2017-01-03 20:58:16 -05:00
Martin Hecker
4905695e4a
more interprocedural NullPointerException test cases
2016-12-07 17:56:59 +01:00
Martin Hecker
7293d18a89
another test case for the NullPointerException analysis
2016-12-07 17:56:59 +01:00
Martin Hecker
c7f618eb6f
add some tests both for intra and inter-procedural NullPointerException Analysis
2016-12-07 17:56:59 +01:00
Martin Hecker
4fca71c595
some more simple tests for intraprocedurel NullPointerException Analysis
2016-12-07 17:56:59 +01:00
Martin Hecker
5f617c19e3
Tests for the new JSR 308 type annotations implementation.
2016-12-05 18:52:38 +01:00
Martin Hecker
1b74b906fc
Add some tests that are meant to check both for precision and soundness of the intraprocedural NullPointer analyses.
2016-12-05 18:24:39 +01:00
Ben Liblit
e35b205bc2
Fix numerous unescaped "<" and ">" in Javadoc @author tags
...
The contents of @author go straight into HTML, just like most other
Javadoc material. So if you want to have a "<foo@bar.com>" e-mail
address as part of the author information, the angle brackets must be
escaped. Here I've opted to do that using "{@code <foo@bar.com>}",
which has some additional styling effects that seem appropriate for
e-mail addresses. We could also have used "<foo@bar.com>" for
escaping without code styling.
2016-11-27 21:24:03 -06:00
Julian Dolby
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
Julian Dolby
d10a50fc32
CPA smoke test
2016-09-15 21:33:51 -04:00
Julian Dolby
22ce3d1144
Merge https://github.com/steohan/WALA
2016-06-29 13:03:50 -04:00
Julian Dolby
76286a330c
make Android entrypoint locator work for source code
2016-06-10 21:21:08 -04:00
Andreas Sewe
e2e5bcf435
SecurityExceptions when analyzing JARs with broken/expired signatures
...
See <https://github.com/wala/WALA/issues/100 >
2016-06-08 11:08:10 +02:00
Julian Dolby
065a3ff767
pruned call graph takes edges as well as nodes
2016-06-06 14:17:12 -04:00
steohan
715b1e86fe
Merge pull request #1 from wala/master
...
Pull from Wala
2016-01-13 02:23:04 +01:00
Stephan Gocht
672876c595
Added Testcases for ExceptionAnalysis and ExceptionAnalysis2EdgeFilter.
2016-01-13 02:07:58 +01:00
Stephan Gocht
0387bd1591
Removed Warning
2016-01-10 15:34:10 +01:00
Stephan Gocht
b75d93cb1c
Changed pi policy to only create pi nodes for integer variables.
2016-01-08 14:10:55 +01:00
Manu Sridharan
0eabfa2d05
Add slicer test
...
This test relates to a mailing list question from
Gebrehiwet Biyane Welearegai:
https://groups.google.com/forum/#!topic/wala-sourceforge-net/lS7lyCHfAaw
2015-12-14 10:34:10 -08:00
Stephan Gocht
3acd97ebfb
Fixed assertion fault, in case of multidimensional arrays.
2015-11-15 21:05:39 +01:00
Stephan Gocht
dfaa44d111
Added quicksort example, and made larger change as it wasn't as expected
...
first. This change should improve the results of the analysis.
2015-11-06 18:52:11 +01:00
Stephan Gocht
7d7e236fd6
Added test for exception pruning (including example for usage).
2015-10-23 14:56:33 +02:00
Stephan Gocht
851f9b2ef3
Added comments.
2015-10-23 14:56:02 +02:00
Stephan Gocht
f8cae1b509
Added Tests and Testdata for array bounds analysis.
2015-10-19 23:20:36 +02:00
Manu Sridharan
077cabc4eb
Revert "update version to 1.3.8"
...
This reverts commit 4aac703ee5
.
2015-10-09 11:03:46 -07:00
Manu Sridharan
4aac703ee5
update version to 1.3.8
2015-10-09 10:45:57 -07:00
Julian Dolby
26b126203d
fix imports; restructure annotations tests
2015-09-16 13:25:21 -04:00
Julian Dolby
671bd98977
Java 8 suport enhancements, mostly to model lambdas compiled to
...
invokedynamic
2015-08-12 15:20:21 -04:00
Julian Dolby
b1538aece6
Merge branch 'master' of https://github.com/wala/WALA
2015-08-09 13:47:01 -04:00
Julian Dolby
8470091225
Java 8 default methods
2015-08-09 13:46:03 -04:00
Julian Dolby
3f5ce89cb6
finalizer test
2015-08-09 13:43:40 -04:00
Manu Sridharan
13a46d8ea3
Fixes #82
...
PrunedCFG had been changed to always include an entry and exit node.
The logic for detecting an "empty" ExceptionPrunedCFG inside the PDG
construction code had not been updated appropriately.
2015-08-06 11:08:27 -07:00
Julian Dolby
b721a3ceb0
updates to dynamic call graphs to better match static ones
2015-07-10 09:44:01 +02:00
Julian Dolby
a6a060ed25
changes for handling of 'callbacks' in dynamic CGs
2015-06-28 17:06:21 -04:00
Julian Dolby
31f9f1b0b5
more exclusions
...
allow 1.8 libs
2015-06-04 15:51:46 -04:00
Julian Dolby
58b7c7324c
test for reading java 8
2015-06-04 13:53:25 -04:00
Julian Dolby
b34fe4d21f
Merge branch 'master' of https://github.com/wala/WALA
...
Conflicts:
com.ibm.wala.ide.jsdt.tests/META-INF/MANIFEST.MF
2015-06-02 23:00:32 -04:00
Julian Dolby
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
Julian Dolby
b7cf88e214
mobile tests changes
2015-04-07 19:34:27 -04:00
Julian Dolby
0975441a43
changes for hybrid analysis
2015-04-05 21:19:56 -04:00
Julian Dolby
de26484098
java annotations support for dalvik
2015-03-04 13:49:58 -05:00
Julian Dolby
5cc870dd77
fixes to Dalvik support, and work on running Dalvik tests on Travis
2015-02-26 09:34:03 -05:00
Cosmin Radoi
853b5fc37a
replace Filter with Predicate
2014-11-25 13:23:47 -06:00
Julian Dolby
e14a5b4c08
try -noverify to silence travis ci errors
2014-11-18 23:21:58 -05:00
Julian Dolby
bf7dbe6359
misc fixes
2014-11-18 22:37:51 -05:00
Manu Sridharan
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
Julian Dolby
71f16d4f1b
try not using URLClassLoader
2014-11-11 20:03:09 -05:00
Cosmin Radoi
a97df8ceec
test revealing SSA cache problem
2014-11-10 11:59:06 -06:00
Julian Dolby
6c47da8091
Merge branch 'master' of https://github.com/wala/WALA
...
Conflicts:
com.ibm.wala.core.tests/src/com/ibm/wala/core/tests/shrike/DynamicCallGraphTestBase.java
com.ibm.wala.ide.jdt.test/launchers/JDTJava15IRTests.launch
2014-10-06 15:43:42 -04:00
Julian Dolby
36709b9d1a
java 7 support, with much pain for stack maps :)
2014-10-06 15:34:16 -04:00
Julian Dolby
a1bc84356d
scandriod merge
2014-10-01 21:32:36 -04:00
Julian Dolby
774be73672
Merge https://github.com/jgf/wala-mirror
2014-09-11 10:43:13 -04:00
Julian Dolby
26f5254e3e
more support for Java 7:
...
analysis now understands and propagates MethodHandle objects
fixes to Shrike InvokeDynamic instruction
Former-commit-id: fb826f124423bcbca08f729cee1794fbda711d16
2014-08-07 16:02:48 -04:00
Juergen Graf
6f8aee80c6
Merge branch 'wala' into master
2014-07-28 17:09:02 +02:00
Julian Dolby
861bf48c7f
remove hard-coded refs to /tmp
2014-06-29 15:07:09 +02:00
Michael Heilmann
0bb5e6998e
Remove redundant casts and imports, improve doc comments
2014-06-26 17:51:26 +02:00
Juergen Graf
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
Juergen Graf
ef4513d377
revert PointerAnalysis hack that makes containsAny() and contains() methods in OrdinalSet unusable
2014-05-20 19:52:01 +02:00
Juergen Graf
428a3975ed
Merge branch 'wala' into master
...
Conflicts:
com.ibm.wala.cast.java/src/com/ibm/wala/cast/java/loader/JavaSourceLoaderImpl.java
com.ibm.wala.cast.java/src/com/ibm/wala/cast/java/ssa/AstJavaInstructionFactory.java
com.ibm.wala.cast.java/src/com/ibm/wala/cast/java/ssa/AstJavaInvokeInstruction.java
com.ibm.wala.cast.js.test/harness-src/com/ibm/wala/cast/js/test/TestSimpleCallGraphShape.java
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/html/WebPageLoaderFactory.java
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/loader/JavaScriptLoader.java
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/ssa/JSInstructionFactory.java
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/ssa/JavaScriptInvoke.java
com.ibm.wala.cast/source/java/com/ibm/wala/cast/ipa/callgraph/AstCallGraph.java
com.ibm.wala.cast/source/java/com/ibm/wala/cast/ir/ssa/AbstractLexicalInvoke.java
com.ibm.wala.cast/source/java/com/ibm/wala/cast/ir/ssa/AstInstructionFactory.java
com.ibm.wala.cast/source/java/com/ibm/wala/cast/ir/ssa/AstLexicalRead.java
com.ibm.wala.cast/source/java/com/ibm/wala/cast/ir/ssa/AstLexicalWrite.java
com.ibm.wala.cast/source/java/com/ibm/wala/cast/ir/ssa/FixedParametersInvokeInstruction.java
com.ibm.wala.cast/source/java/com/ibm/wala/cast/ir/translator/AstTranslator.java
com.ibm.wala.core/.classpath
com.ibm.wala.core/.settings/org.eclipse.jdt.core.prefs
com.ibm.wala.ide/src/com/ibm/wala/ide/util/ProgressMonitorDelegate.java
com.ibm.wala.util/src/com/ibm/wala/util/NullProgressMonitor.java
com.ibm.wala.util/src/com/ibm/wala/util/ProgressMaster.java
2014-05-20 17:59:16 +02:00
Michael Heilmann
efdd337dee
add and enable GetMethod context, interpreter and selector and associated unit tests
2014-05-20 13:12:06 +02:00
Michael Heilmann
45fe53a8bf
make NodeDecorator generic
2014-05-20 13:12:03 +02:00
Julian Dolby
3e55f0b370
new graph implementation for incremental graph extension
2014-05-20 13:11:19 +02:00
Julian Dolby
50c4ae2faa
try new way to find classpath entries for travis ci
2014-05-20 13:11:16 +02:00
Julian Dolby
5b22c3dba4
avoid running on travis for now
2014-05-20 13:11:12 +02:00
Julian Dolby
d0f099edb6
try to find jar file for travis tests
2014-05-20 13:11:07 +02:00
Julian Dolby
eb8f94c61c
try to find jar file for travis tests
2014-05-20 13:11:05 +02:00
Julian Dolby
8f376ffe71
rename dynamic cg test
2014-05-20 13:10:54 +02:00
Julian Dolby
dbd9c60d4f
type generalization
2014-05-20 13:10:22 +02:00
Julian Dolby
51ea9dee0e
test new mechanisms
2014-05-20 13:09:19 +02:00
Julian Dolby
2750f8e67b
1) use less verbose instrumentation to reduce problems with methods
...
getting too big
2) handle issues with exceptional control flow not being followed
properly sometimes
2014-05-20 13:09:13 +02:00
Julian Dolby
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
Michael Heilmann
63ed63e7fa
add test for GetMethod context, interpreter and selector
2014-05-20 13:08:32 +02:00
Julian Dolby
a3a3e7fbe7
new graph implementation for incremental graph extension
2014-03-17 22:09:58 -04:00
Julian Dolby
b04a3f9b35
try new way to find classpath entries for travis ci
2014-03-17 10:09:48 -04:00
Julian Dolby
371695506d
avoid running on travis for now
2014-03-16 22:29:54 -04:00
Julian Dolby
b422fd500e
try to find jar file for travis tests
2014-03-16 22:14:36 -04:00
Julian Dolby
95c13203de
try to find jar file for travis tests
2014-03-16 22:01:02 -04:00
Julian Dolby
bfd999e03b
rename dynamic cg test
2014-03-16 18:04:21 -04:00
Julian Dolby
4c25c40789
type generalization
2014-02-08 22:52:19 -05:00
Julian Dolby
b5627bbe81
test new mechanisms
2014-01-07 22:36:23 -05:00
Julian Dolby
1914f016dd
1) use less verbose instrumentation to reduce problems with methods
...
getting too big
2) handle issues with exceptional control flow not being followed
properly sometimes
2014-01-07 17:35:44 -05:00
Julian Dolby
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
ksrinivs
bcc0d23c54
minor fixes
2013-12-03 16:01:28 -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
Julian Dolby
b057e35e2c
for now, ignore tests impacted by library change
2013-11-26 19:26:52 -05:00
Julian Dolby
7948f3b9ae
merge
2013-11-26 16:25:43 -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
Julian Dolby
bdc742f558
shrike cg tests
2013-11-14 21:48:04 -05:00
Julian Dolby
0ccaae3b2c
pull exclusions file support into util project and then share it with
...
the shrike-based dynamic call graph builder so that static and dynamic
graphs can be built consistently more easily.
2013-11-14 13:02:56 -05:00
Juergen Graf
cdaaddf88b
Merge branch 'wala' into master
2013-07-02 14:23:24 +02:00
Manu Sridharan
b984760100
support for reading method parameter annotations from Java bytecodes
2013-06-28 11:44:47 -04:00
Julian Dolby
080325b5f6
merge
2013-06-25 11:57:37 -04:00
Manu Sridharan
38d0c3cc12
re-enable test
2013-05-27 11:07:32 -07:00
Manu Sridharan
119fd841af
more manifest hacks. Also, temporary disable CG IO test
2013-05-27 10:35:55 -07:00
Manu Sridharan
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
Manu Sridharan
878cfa615d
changes to get tests passing on Java 7
2013-05-26 10:07:46 -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
Manu Sridharan
c0e3cb9831
fix for handling of static methods in ContainerContextSelector
2013-05-14 14:17:26 -07:00
Manu Sridharan
16a0e02fa0
add utility methods for creating n-CFA call graph builders
2013-05-10 20:55:13 -07:00
Manu Sridharan
30686135da
Fix for bug with pi nodes reported by Andreas Sewe
...
We weren't handling the case where the val of the pi instruction
had an implicit points-to set.
2013-05-07 14:43:49 -07:00
Manu Sridharan
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
Cosmin Radoi
edbdf989a9
right classloader for call graph tests
2013-04-29 13:13:23 +02:00
Manu Sridharan
9549da9954
read runtime-visible annotations for fields
2013-04-08 13:50:26 -07:00
Julian Dolby
321e925660
work on CHA
2013-04-03 12:12:43 -04: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
182363bf88
fix bug involving paths with spaces
2013-01-30 17:29:41 -08:00
Manu Sridharan
72f85ba2a9
add a simple driver for building a call graph via a scope file
2013-01-25 10:41:11 -08:00
Manu Sridharan
ba228963bf
better handling of missing bytecodes
...
In some cases, class files will have non-abstract methods with no
bytecodes (e.g., stubs for compilation purposes). While such a class
file is invalid, we want to enable clients to handle such an error.
With these changes, Shrike will throw an InvalidClassFileException for
such cases, and WALA's IR construction code will throw a
WalaRuntimeException.
2013-01-21 15:27:13 -08:00
Juergen Graf
b82d5dba90
Merge branch 'wala' into master
2012-11-06 04:23:10 +01:00
Manu Sridharan
256cd06460
Convert all Java source files to use Unix line endings; no semantic change
2012-09-04 15:56:05 -07:00
Julian Dolby
4a850a9510
added the com.ibm.wala.ide.jdt project
2012-08-21 18:52:09 -04:00
dolby
72e8dc9098
reorganize stuff for using JavaScript stuff from Eclipse
2012-08-21 09:48:53 -04:00
Juergen Graf
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
Manu Sridharan
3317c1ccf6
basic compatibility with Java 7 (i.e., don't crash immediately)
2012-08-03 15:41:09 -07:00
dolby
4b3cba710d
changes from upstream
2012-06-29 15:47:54 -04:00
Juergen Graf
42c1016d96
remove duplicate class from wrong package
2012-05-21 11:25:26 +02:00
Juergen Graf
1bf5b73e74
static initializer order detection stuff from Martin Seidel
2012-05-18 15:58:47 +02:00
Juergen Graf
627fbc15c3
static initializer tests
2012-05-16 14:02:29 +02:00
Manu Sridharan
c415f3e0fd
Enhanced pointer analysis to reason that arrays known to be of zero length
...
cannot have any contents.
2012-05-09 15:35:54 -06:00
Manu Sridharan
c116f16823
got code to compile again, and wala.core regression tests pass
2012-04-16 22:30:03 -04:00
Manu Sridharan
2edb070437
changed FileProvider to have instance methods
2012-04-16 14:57:14 -04:00
msridhar1
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
msridhar1
1d28b2dc26
fix for bug reported by Juergen Graf: handle multiple fields with the same name in a JVM class
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4552 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-04-03 22:26:12 +00:00
msridhar1
7630cd79c9
Revamped support for reading Java annotation information from .class files.
...
The code should handle all cases now, and the APIs are improved.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4422 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-11 17:11:59 +00:00
msridhar1
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
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
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
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
msridhar1
253444a6ad
make demand pointer analysis tests less dependent on standard library implementation
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4234 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-25 18:10:31 +00:00
msridhar1
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
msridhar1
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
msridhar1
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
msridhar1
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
dolby-oss
15c202f8e6
Welsh-Powell graph coloring
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4180 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-06-01 21:47:15 +00:00