DASCA/WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
4,913 Commits 8 Branches 13 Tags 81 MiB
6cdeedd5e9
Commit Graph

4913 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Julian Dolby
6cdeedd5e9 changes for analysis cache view 2017-03-15 22:06:19 -04:00
Julian Dolby
7e3066b6cd bug 144 2017-03-14 10:05:18 -04:00
Julian Dolby
bb0f38338e Merge branch 'warning-fixes-resource-management' of https://github.com/liblit/WALA 2017-03-13 10:44:38 -04:00
Julian Dolby
47f29192e6 Merge branch 'warning-fixes-generics-inference' of https://github.com/liblit/WALA 2017-03-13 10:42:52 -04:00
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
7a3a23b2b4 When using Maven, compile using Java 1.7, not 1.6 
We already switched to using Java 1.7 in the Eclipse settings.  This
applies the corresponding change to Maven-managed builds.
 2017-03-12 21:38:43 -05:00
Julian Dolby
d890045a60 Merge branch 'master' of https://github.com/wala/WALA 2017-03-12 19:46:01 -04:00
Julian Dolby
774db6978a nodejs support updated to latest WALA and now on Travis 2017-03-12 19:45:19 -04:00
Manu Sridharan
064fa9a503 Merge pull request #140 from liblit/remove-execute-bits-from-non-scripts 
Remove execute bits from many non-executable (i.e., non-script) files
 2017-03-12 10:27:08 -07:00
Ben Liblit
32ab3aaa9b When using Maven, compile using Java 1.7, not 1.6 
We already switched to using Java 1.7 in the Eclipse settings.  This
applies the corresponding change to Maven-managed builds.
 2017-03-11 22:19:43 -06: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
Ben Liblit
1cf7f0f3d3 Merge branch 'master' of github.com:wala/WALA 2017-03-11 20:21:51 -06:00
Julian Dolby
a1dd19b8d0 Merge branch 'pull-request__android-bugfixes' of https://github.com/joana-team/WALA 2017-03-11 16:56:09 -05:00
Julian Dolby
605e7373ce Merge branch 'pull-request__exception-pruning-for-safe-array-creation' of https://github.com/joana-team/WALA 2017-03-11 16:38:03 -05:00
Julian Dolby
ef1994e146 Merge branch 'master' of https://github.com/wala/WALA 2017-03-11 16:21:16 -05: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
6a8696e6e1 Merge pull request #118 from joana-team/pull-request__dalvik_typeinference 
Make a variant of TypeInference which supports dalvik bytecode
 2017-03-11 16:12: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
5c6cf9724a Merge branch 'warning-fixes-java-versions' of https://github.com/liblit/WALA 2017-03-11 13:46:06 -05:00
Julian Dolby
ffe355bc74 Merge branch 'warning-fixes-model-behavior-class' of https://github.com/liblit/WALA 2017-03-11 13:45:20 -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
a1f8894ba1 Merge branch 'master' of https://github.com/wala/WALA 2017-03-10 13:49:09 -05:00
Julian Dolby
0545060886 merge 2017-03-10 13:49:07 -05:00
Julian Dolby
a2c388b83d Merge branch 'nodejs' of https://github.com/Pfarrer/WALA 2017-03-09 09:02:28 -05:00
Julian Dolby
016c3940e8 Merge branch 'pull-request__misc-bugfixes' of https://github.com/joana-team/WALA 2017-03-09 08:59:40 -05:00
Julian Dolby
f5c36d7411 Merge branch 'master' of https://github.com/d2an3/WALA 2017-03-09 08:53:30 -05:00
Julian Dolby
0784a9da6a Merge pull request #124 from joana-team/slightly-more-informative-output 
display which classes each handler catches when outputting IR
 2017-03-09 08:51:06 -05:00
Julian Dolby
3be77aeb3b Merge pull request #139 from GrammaTech/intstackget 
Add int size() and int get(int index) methods to IntStack.
 2017-03-09 08:50:03 -05:00
Brian Alliet
9c854a4be6 Add int size() and int get(int index) methods to IntStack. 
Accrue (http://people.seas.harvard.edu/~chong/accrue.html) uses IntStack
internally for various things and found these convenient.
 2017-03-07 12:00:02 -05:00
Julian Dolby
017a715cd5 build new code 2017-02-24 22:43:31 -05:00
Julian Dolby
7b393a7da2 fix for missing Java 8 feature 2017-02-24 22:29:14 -05:00
Julian Dolby
583cf37e59 type cleanups 2017-02-23 10:15:59 -05:00
Julian Dolby
a8a3699ee1 type cleanups 2017-02-23 10:10:39 -05:00
Ben Liblit
5a5cccc062 Strip execute bits from many non-executable (i.e., non-script) files 2017-02-23 06:10:08 -06:00
Andrei Dan
df99517df0 IFDS Null Analysis files 2017-02-11 18:36:28 +01:00
Julian Dolby
96be295500 grr. commit -a does not find new files. 2017-02-02 20:46:34 -05:00
Julian Dolby
b65517b958 forgot some files 2017-02-02 20:44:27 -05: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
Manu Sridharan
71b505cfc8 Merge pull request #134 from joana-team/pull-request__getridofhashcodecomparator 
get rid of HashCodeComparator and all its usages
 2017-01-26 08:17:08 -08:00
Martin Mohr
467bf8038d implement hashCode() and equals() for DexModuleEntry 2017-01-26 15:41:42 +01:00
Martin Mohr
64823846c0 get rid of HashCodeComparator and all its usages 
This addresses both https://github.com/wala/WALA/issues/133 and
https://github.com/wala/WALA/issues/88
 2017-01-26 14:16:48 +01:00
Julian Dolby
50ce960170 fix to rewriter creation 2017-01-19 22:13:53 -05:00
Julian Dolby
2396d0fad3 Revert "Revert "fixes to getting source positions from JVML"" 
This reverts commit 619df0a83d.
 2017-01-19 19:12:22 -05:00
Julian Dolby
619df0a83d Revert "fixes to getting source positions from JVML" 
This reverts commit 9e35099326.
 2017-01-19 18:49:02 -05:00
Julian Dolby
9e35099326 fixes to getting source positions from JVML 
CAst rewriter abstraction
 2017-01-19 17:52:42 -05:00
Julian Dolby
74cc8454e3 make more of WALA run on TeaVM 2017-01-17 13:14:56 -05:00
Julian Dolby
46dddcfb66 Bug fix for CAst translation. When translating if statements, the system has a case where code to detect dead blocks mistakenly triggers even though the needed CFG edge will be added later. The if processing code now tells the CFG that the block is not dead, which prevents it from being prematurely removed. 2017-01-16 21:57:12 -05:00
Julian Dolby
8d04766aa9 more changes for CHAs 2017-01-12 16:36:26 -05:00