smarkstr
fa0c9d98b4
Added file extension support for resolving source files
...
in the classpath. Defaults to "java" for basic Eclipse
projects, but can be overriden for other Eclipse projects
for other languages.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1418 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-11 15:14:19 +00:00
sjfink
ed11059c98
more CNF simplification
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1416 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-11 15:03:43 +00:00
sjfink
6542c0eb0f
generics cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1415 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-11 15:03:20 +00:00
sjfink
096729ad2c
clean up some comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1414 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-11 14:49:11 +00:00
egeay
fb41447efc
Fixed the package name and removed unused import.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1413 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-11 13:39:11 +00:00
dolby-oss
da80588f40
first cut at partial callo graph implementation
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1412 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-11 12:20:37 +00:00
sjfink
d0b38b144c
remove pointless comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1410 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-10 21:43:21 +00:00
sjfink
74f1c6e9e9
getTerms() and related functionality
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1409 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-10 21:43:00 +00:00
sjfink
0eb0061768
fix typo in comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1408 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-10 21:42:27 +00:00
sjfink
1aa25ae96a
support for parsing arrays in descriptors
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1407 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-10 16:33:18 +00:00
sjfink
078deea908
CNF and related support
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1404 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-10 14:50:20 +00:00
sjfink
56cda5a9e2
bug workaround for troubling control dependence case
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1403 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-10 14:49:40 +00:00
sjfink
c55404d1ff
a bug fix in ExpandedControlFlowGraph, and misc. cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1400 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-09 16:38:08 +00:00
sjfink
e9d5490c1e
enhance a debugging message
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1399 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-09 16:37:19 +00:00
sjfink
70b22bf4c6
misc slicing related bug fixes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1398 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-09 15:58:17 +00:00
sjfink
3ad2f328d7
ensure subclasses override equals and hashcode
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1397 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-09 15:51:12 +00:00
sjfink
ee561b0e80
just format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1396 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-09 15:50:40 +00:00
sjfink
4d1d0fc94f
fix typo in comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1395 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-09 15:50:13 +00:00
sjfink
a304c60f79
more type parameters from Manu
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1391 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-07 01:57:47 +00:00
sjfink
5eb76541f0
massive overhaul of Warnings management
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1382 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-06 22:08:13 +00:00
sjfink
9923041760
clean up some comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1378 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-06 15:50:34 +00:00
sjfink
4edd97bdc0
add a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1377 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-06 15:41:41 +00:00
dolby-oss
9ffe419bb3
new constant value accessors
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1376 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-06 15:13:06 +00:00
sjfink
4310457e45
misc. housekeeping and some slicer bug fixes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1373 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-06 14:11:16 +00:00
sjfink
ae534d2d89
minor housekeeping
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1371 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-06 04:18:16 +00:00
sjfink
8864b70d50
miscellaneous housekeeping
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1364 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-06 03:07:14 +00:00
sjfink
2d88f526b6
small cleanups relating to migration to Eclipse 3.3
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1359 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-05 23:56:23 +00:00
loginov
da8176075d
Added the missing com.ibm.wala.ipa.slicer.thin to the export-package list.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1348 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-05 18:47:35 +00:00
sjfink
ca0a40c850
delete CallGraph.getInterpreter() and CFGProvider
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1342 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-05 03:04:34 +00:00
sjfink
8b13f5d9ef
add method getCFG()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1340 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-03 20:48:23 +00:00
sjfink
62046775c7
support distribute of not operator
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1339 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-03 17:53:16 +00:00
sjfink
a457e9f03c
more trivial decision support
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1338 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-03 14:50:53 +00:00
sjfink
7b4f70d521
add a trivial semi-decision procedure
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1337 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-03 13:30:24 +00:00
sjfink
e0452d38f2
some refactoring and more pretty printing
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1333 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-03 01:09:48 +00:00
sjfink
a896d160b7
type parameter from manu
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1331 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-02 17:45:07 +00:00
sjfink
c8039fb680
add a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1330 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-02 17:44:49 +00:00
sjfink
f411feb5c4
generics from manu
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1329 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-02 11:52:50 +00:00
sjfink
6ccfc7a18b
delete silly comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1328 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-02 00:03:52 +00:00
dolby-oss
caa4357cd9
fix optmization to check for no phi nodes, rather than just testing for the exit block. when there are lexically-scoped variables in JavaScript code, then the exit block may have phi nodes (required for upward funarg situations)
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1326 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-29 19:15:18 +00:00
dolby-oss
d6a5efccc1
fixes to pointer analysis to handle languages that have a separate 'null' type for which no one should be reading/writing fields
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1322 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-28 14:27:38 +00:00
sjfink
412d1fd580
add comment about Mac OSX path
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1320 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-27 18:37:12 +00:00
sjfink
a74ba72b15
just update a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1319 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-27 18:36:54 +00:00
sjfink
7bf41bfbfc
initial revision
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1318 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-26 19:56:01 +00:00
sjfink
1eefd4cf38
add getIntegerValue
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1311 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-25 18:56:14 +00:00
sjfink
35a0fc71f3
toArray() returns empty array rather than null
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1310 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-25 13:21:40 +00:00
sjfink
d993770850
throw IllegalArgumentException for bad selector
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1309 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-21 18:35:25 +00:00
sjfink
6421783e52
introduce factory for Iterator2Collection
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1308 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-21 16:14:00 +00:00
dolby-oss
2657dec4e7
moved ExceptionPrunedCFG to core
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1304 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-21 15:17:34 +00:00
sjfink
df7fabc16d
change an assertion to an IllegalArgumentException
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1303 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-21 02:42:54 +00:00
sjfink
75c6083f10
more decorator support
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1302 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-20 19:05:55 +00:00