DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
5,997 Commits 8 Branches 13 Tags 80 MiB
Commit Graph

47 Commits

Author SHA1 Message Date
Julian Dolby c8cdaf8616 further refactoring to enable more reuse 
eliminate all non-jva 8 compilation
 2018-02-05 15:18:37 -08:00
Ben Liblit ebfd885d22 Use modern for-each loops where possible 
Java sources used as test data have been excluded from this mass
clean-up.
 2017-11-28 14:44:53 -06:00
Ben Liblit e316471d88 Fix nearly all Eclipse warnings about using raw types 
Along the way, I also converted many "for (;;)" loops into modern
"for (:)" loops.  I didn't systematically look for all opportunities
to do this, though.  I merely made this change where I was already
converting raw Iterator uses into modern Iterator<...> uses.

Better use of generics also allowed many casts to become statically
redundant.  I have removed all such redundant casts.

Only three raw-types warnings remain after this batch of fixes.  All
three involve raw uses of CallGraphBuilder.  I've tried to fix these
too, but it quickly snowballs into a cascade of changes that may or
may not eventually reach a statically-type-save fixed point.  I may
give these last few problem areas another go in the future.  For now,
though, the hundreds of other fixes seem worth keeping even if there
are a few stragglers.

This commit may change some public APIs, but only by making weaker
type signatures stronger by replacing raw types with generic types.
For example, we may change something like "Set" into "Set<String>",
but we're not adding new arguments, changing any
underlying (post-generics-erasure) types, etc.
 2017-07-12 10:39:06 -07: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
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 a1bc84356d scandriod merge 2014-10-01 21:32:36 -04: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
Julian Dolby 4c25c40789 type generalization 2014-02-08 22:52:19 -05: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
dolby 72e8dc9098 reorganize stuff for using JavaScript stuff from Eclipse 2012-08-21 09:48:53 -04:00
Manu Sridharan c116f16823 got code to compile again, and wala.core regression tests pass 2012-04-16 22:30:03 -04: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
sjfink 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
msridhar1 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
dolby-oss 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
sjfink 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
sjfink 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
sjfink 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
sjfink 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
sjfink 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
msridhar1 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
sjfink 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
sjfink 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
msridhar1 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
msridhar1 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
msridhar1 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
msridhar1 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
msridhar1 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
msridhar1 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
sjfink d6c5b3bb55 thread IProgressMonitor and CancelException through many APIs 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2578 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-02-13 22:34:50 +00:00
msridhar1 e6713ae685 generalization of memory access maps 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2472 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-01-25 02:22:42 +00:00
sjfink fa2968ca06 move WalaUtil to example driver package 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2468 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-01-24 23:21:47 +00:00
sjfink 0d7f69e274 misc bug fixes 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2439 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-01-24 01:58:34 +00:00
msridhar1 a95c9fd0d1 refactoring to allow for alternative flow graph implementations 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2432 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-01-23 03:17:39 +00:00
sjfink 8729d2e84e significant refactoring and generalization of instance keys and CFA builders 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2285 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-01-04 18:24:42 +00:00
sjfink bfbe4fdd2f clean up and refactor some APIs surrounding file I/O and exclusions files. Needed in order to allow clients to use some APIs with application-specific exclusions. 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2248 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-01-02 22:27:45 +00:00
sjfink aafd03dc5d misc bug fixes and cleanups for new AnalysisScopes 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2173 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-12-13 00:40:14 +00:00
dolby-oss 1d62ddf160 remove EMF 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2162 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-12-12 20:47:35 +00:00
sjfink 0e041c99f2 add CancelException to interact with Eclipse progress monitors and thread it through some APIs 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2004 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-11-13 16:19:01 +00:00
sjfink ffaa299e1f enforce exclusions file 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1918 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-10-22 16:31:42 +00:00
sjfink a6b057f778 clean up TypeInference API 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1907 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-10-19 14:39:12 +00:00
sjfink 7826d12a77 more aggressive exclusions in order to run quickly against Java 6.0 libraries 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1859 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-10-11 16:05:17 +00:00
sjfink dfe352dd32 hide Pair constructor; misc. generics-related cleanups 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1702 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-08-31 23:19:56 +00:00
yahave af19e95cfc fixed bounds of iteration over symbol table using getMaxValueNumber. Loops should be iterating all the way to the MaxValueNumber returned (i.e., <=). 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1654 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-08-22 15:33:52 +00:00
sjfink c220b2964b demandpa tests 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1606 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-08-11 01:17:11 +00:00