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
|
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 |
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
|
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
|
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
|
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 |
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 |