6a1a7d0e75
decouple IR caching from AnalysisOptions with a new AnalysisCache object
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1514 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-20 15:19:33 +00:00
e3c6eea00c
Added flavors of makeNode() that take Polyglot Positions to identify the position of the CAstNode to be created.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1512 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-19 22:18:27 +00:00
0fba6b0b49
allow more customization of DefUse
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1511 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-19 20:42:05 +00:00
155aaf9f50
rename getTrue/FalseSuccessor to getTaken/NotTakenSuccessor and check for IllegalArgumentExceptions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1510 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-19 17:27:18 +00:00
0d32f296f4
bug fix to refactoring to array assignment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1507 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-18 18:13:44 +00:00
edad2d5b68
Factored handling of array ref nodes from visitAssignNodes() so that code can be shared with array handlers for derived languages.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1506 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-18 15:55:54 +00:00
bee4e6aa96
just format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1505 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-17 20:59:31 +00:00
f05e79871d
Refactored visitArrayLoad() and visitArrayStore() to make
...
reuse easier in derived ConstraintVisitors. (Used by X10
ConstraintVisitor implementation, which has its own form of
array-related IR instructions.)
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1504 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-17 20:43:56 +00:00
bdf8d44f7e
more pretty printing
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1503 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-17 19:27:02 +00:00
65dc43bdd6
turn off debugging
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1502 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-17 15:37:14 +00:00
a4fefec9ad
more SSA functionality
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1501 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-17 14:04:32 +00:00
f499379791
change accept criterion due to presumed bug fix
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1500 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-17 13:47:00 +00:00
b9465e1bcc
replace broken ExpandedControlFlowGraph with hopefully somewhat less broken ExplodedControlFlowGraph
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1499 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-17 13:46:35 +00:00
2c4fd1fc93
add some assertions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1498 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-17 13:41:34 +00:00
dd7daab3ef
bug fix so iterator() does not return trailing null values
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1497 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-17 13:40:10 +00:00
9248040783
add factory make()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1496 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-17 13:39:21 +00:00
0b0d6588f0
fix a build problem
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1495 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-17 13:38:46 +00:00
6276d4a217
misc. cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1494 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 20:49:48 +00:00
ba67d6d915
remove silly comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1493 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 20:48:42 +00:00
8a9429e86b
fix typo in comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1492 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 20:48:21 +00:00
1ea1885612
add a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1491 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 20:47:32 +00:00
7971640032
initial revision
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1490 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 17:52:46 +00:00
a86747d201
misc. fixes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1489 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 17:52:26 +00:00
b96ca4eacc
bug fixes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1488 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 17:06:15 +00:00
1f42098a1e
bug fix in getBlockForInstruction()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1487 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 16:33:34 +00:00
ed58e0ee92
ExpandedCFG cleanup
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1486 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 16:18:26 +00:00
1bfe7cb052
fix toString()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1485 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 15:53:22 +00:00
aa17ea8c7e
fixes for default values of null
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1484 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 15:10:33 +00:00
4b0508356a
fixes for default values of null; more customization hooks for SSA conversion
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1483 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 15:09:59 +00:00
5c86c9791d
just format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1482 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 14:49:34 +00:00
8f7854efb8
just format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1481 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 14:49:20 +00:00
d9ec0292ef
fix a build problem
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1480 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 14:48:53 +00:00
e6bb457996
remove unused import
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1478 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-15 19:21:06 +00:00
f979887706
remove unused import
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1477 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-15 19:20:42 +00:00
5a676e0c83
remove unused import
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1476 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-15 19:20:22 +00:00
c1316cdca5
add an assertion
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1475 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-15 19:19:19 +00:00
a915003bba
Added new symbol class InternalCAstSymbol to make intent more
...
clear than using CAstSymbolImpl with extra boolean arg.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1472 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 22:46:19 +00:00
84c69b3e57
Added new symbol class InternalCAstSymbol to make intent more
...
clear than using CAstSymbolImpl with extra boolean arg.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1471 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 22:46:15 +00:00
5b0969d6b6
Added new symbol class InternalCAstSymbol to make intent more
...
clear than using CAstSymbolImpl with extra boolean arg.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1470 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 22:46:10 +00:00
5c89985acf
add some comments
...
tweak SSASwitchInstruction.toString()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1469 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 21:34:04 +00:00
cb4012d939
Added code to methods missing implementations.
...
Added a make method for a partial graph with a
given set of roots and a given set of nodes.
Added checks for containment of pred/succ
nodes to get[Pred/Succ]NodeNumbers, which
were missing the checks. Made getNode/getNumber
methods return null/-1 for nodes not in partial
graph (instead of throwing an exception). May
reconsider this later.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1467 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 20:02:00 +00:00
d602c65f6b
initial revision
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1466 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 19:04:55 +00:00
2cc59a6805
add comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1465 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 19:04:38 +00:00
0d96ce5155
bug fixes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1464 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 18:21:50 +00:00
897717acd2
Exposed referenceFor*() methods so that clients can translate
...
Polyglot type-related objects to their WALA counterparts w/o
attempting to canonicalize them. See the JavaDoc for more info
on why this is necessary.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1463 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 15:48:22 +00:00
e28bbb74c1
Added some JavaDoc to IdentityMapper interface.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1462 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 15:46:55 +00:00
f88a68b4ba
lots of formula cleanup
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1461 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 15:23:58 +00:00
f44a8a8a8b
lots of formula cleanup
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1460 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 15:23:38 +00:00
7ed7c4d986
Added comment suggesting to make getPointerAnalysis() public.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1459 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 14:49:07 +00:00
7de9694e84
small bug fixes and cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1458 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 14:01:41 +00:00
sjfink
rmfuhrer
dolby-oss
loginov