sjfink
|
16110c8b1c
|
ModRef factory
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1960 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-26 14:54:02 +00:00 |
sjfink
|
098ab6e07d
|
bug fixes and cleanup of TypeBasedPointerAnalysis
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1959 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-26 14:53:39 +00:00 |
sjfink
|
9915d91b5f
|
add an assertion
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1958 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-26 14:53:07 +00:00 |
sjfink
|
a5138ff7f3
|
nuke WalaException from CommandLine
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1957 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-26 14:52:48 +00:00 |
sjfink
|
a92dc921a8
|
some optimizations
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1955 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-25 15:03:06 +00:00 |
sjfink
|
0055ba00ed
|
add a debug statement
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1954 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-25 14:07:05 +00:00 |
sjfink
|
59241d6dab
|
a new factory for MutableMapping and some logic cleanups
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1943 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-24 20:20:07 +00:00 |
sjfink
|
9d2dd66260
|
more logic cleanup
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1942 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-24 19:26:31 +00:00 |
sjfink
|
266867a0ab
|
add getVariables() to IVocabulary
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1940 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-24 17:57:25 +00:00 |
sjfink
|
2738a9c243
|
more logic cleanup
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1939 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-24 16:43:46 +00:00 |
sjfink
|
fd15107ed4
|
delete domain from vocabulary
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1938 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-24 16:02:07 +00:00 |
sjfink
|
8a161b4c13
|
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1937 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-24 15:49:11 +00:00 |
sjfink
|
199949b6f3
|
misc logic cleanups
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1936 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-24 15:48:53 +00:00 |
sjfink
|
9cb2fb1d33
|
bug fix for call-none-to-return in backwards problems.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1934 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-23 18:58:05 +00:00 |
sjfink
|
8883870d21
|
delete a @SuppressWarnings
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1933 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-23 15:15:36 +00:00 |
sjfink
|
2d5ae39721
|
CNF optimizations
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1932 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-23 13:26:53 +00:00 |
dolby-oss
|
1cb4357842
|
make path finder return multiple paths (if they exist) when find() is called repeatedly
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1928 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-23 04:03:10 +00:00 |
dolby-oss
|
918c197c5f
|
make toString more helpful
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1927 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-23 04:02:23 +00:00 |
sjfink
|
7c4d385539
|
add 3-parameter factory
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1926 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-22 18:16:36 +00:00 |
sjfink
|
56c78bd64e
|
more trivial cleanup
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1925 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-22 17:19:42 +00:00 |
sjfink
|
e8d80fb04a
|
show phi instructions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1924 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-22 17:19:28 +00:00 |
sjfink
|
8e329d91b6
|
change semantics of primitivetype.meet to handle boolean/int meet as desired
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1921 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-22 16:33:17 +00:00 |
sjfink
|
9eb07d255e
|
delete obsolete code
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1920 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-22 16:32:38 +00:00 |
sjfink
|
0074f4e6c5
|
enforce exclusions file
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1919 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-22 16:32:17 +00:00 |
sjfink
|
262e1aef40
|
clean up TypeInference API
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1909 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-19 14:39:22 +00:00 |
sjfink
|
b3b7829be2
|
some assertions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1905 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-19 13:13:09 +00:00 |
sjfink
|
0b7fcaac3a
|
organize imports
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1904 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-19 13:12:53 +00:00 |
sjfink
|
ffc641ebde
|
make ctor protected
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1903 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-19 13:12:34 +00:00 |
sjfink
|
bb71b48bae
|
more decision logic
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1902 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-19 13:12:16 +00:00 |
sjfink
|
642f6d2347
|
bug fix for exceptional return value from call-to-none
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1901 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-19 13:11:49 +00:00 |
sjfink
|
ec6ba69332
|
bug fixes for exceptions from idiv and irem
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1900 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-19 13:11:28 +00:00 |
sjfink
|
35e1382327
|
bug fix for null IR
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1899 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-19 13:11:08 +00:00 |
sjfink
|
f945aaf95a
|
misc. bug fixes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1898 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-19 13:10:48 +00:00 |
dolby-oss
|
cdeaf96fc3
|
enable getting options
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1894 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-17 15:17:12 +00:00 |
dolby-oss
|
5673fb5ec8
|
minor API tweaks to use Set and Collection consistently
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1893 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-17 15:16:38 +00:00 |
dolby-oss
|
1e78c51f91
|
use SSAAbstractInvokeInstruction to work with CAst
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1892 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-17 15:15:25 +00:00 |
dolby-oss
|
b5ee69fa79
|
turn down the verbosity level
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1891 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-17 15:14:33 +00:00 |
dolby-oss
|
2040035f6f
|
fix to use BasicBlockInContext for exit blocks in transverse edges from collapsed nodes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1890 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-17 15:14:00 +00:00 |
schandra_sf
|
7258e02966
|
Removed an @override to allow 5.0 compiler
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1889 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-16 20:59:10 +00:00 |
sjfink
|
bd7e97e5c4
|
tabulation and visualization cleanups
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1888 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-16 18:10:17 +00:00 |
sjfink
|
dc0185e8bf
|
tabulation and visualization cleanps
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1887 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-16 18:09:57 +00:00 |
sjfink
|
96ba7cee90
|
delete import
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1886 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-15 20:29:01 +00:00 |
sjfink
|
d949572f22
|
tweak some debugging support
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1885 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-15 20:28:33 +00:00 |
sjfink
|
6fb32d45ed
|
fix typo in comment
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1884 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-15 20:23:14 +00:00 |
sjfink
|
30b445f94f
|
CGNode implements IClassHierarchyDweller.
misc. small cleanups
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1881 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-15 16:34:02 +00:00 |
sjfink
|
2e9e5dec38
|
add a comment
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1880 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-15 16:32:31 +00:00 |
sjfink
|
84a2708f51
|
more IPCFG cleanups
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1879 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-15 16:01:44 +00:00 |
sjfink
|
cffb55a1e2
|
clean up some IPCFG issues
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1877 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-15 15:43:20 +00:00 |
sjfink
|
154b910cc4
|
more generics
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1871 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-12 18:17:27 +00:00 |
sjfink
|
03ba73d164
|
introduce tabulation factories
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1870 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-12 15:06:53 +00:00 |