dolby-oss
|
f6185c6e98
|
merge code from loop unroller into standard CAstRewriter
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1559 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-01 15:37:10 +00:00 |
|
dolby-oss
|
b45f0aa8b9
|
merge code from loop unroller into standard CAstRewriter
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1558 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-01 15:36:40 +00:00 |
|
dolby-oss
|
01287b8891
|
make SimpleThreadEscapeAnalysis look for wala.properties to find JRE libs, as well as the running JRE. Also, minor clean-ups and fixes to that example
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1557 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-31 14:13:27 +00:00 |
sjfink
|
e194aed9b5
|
use a less aggressive pointer analysis
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1556 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-26 21:06:57 +00:00 |
|
sjfink
|
d2dff82c1d
|
clean up some comments
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1555 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-26 16:31:50 +00:00 |
|
sjfink
|
9cd060cab6
|
delete troublesome STAR
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1554 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-26 13:36:33 +00:00 |
|
sjfink
|
6248128168
|
more aggressive simplification
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1553 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-26 04:19:46 +00:00 |
|
sjfink
|
11816f9d46
|
fix simplifier bugs
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1552 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-26 03:39:19 +00:00 |
|
sjfink
|
69791866d7
|
fix simplifier bugs
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1551 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-26 03:39:04 +00:00 |
|
sjfink
|
b61c677496
|
BasicBlock.iterateNormalInstructions() [thanks N.Kidd]
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1550 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-25 18:28:43 +00:00 |
|
sjfink
|
6c1e2fadaf
|
tweak order for getAllInstructions()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1549 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-25 17:05:22 +00:00 |
|
sjfink
|
3e28954000
|
turn off debugging
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1548 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-24 21:31:10 +00:00 |
|
sjfink
|
1f72a200df
|
add some assertions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1547 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-24 21:30:56 +00:00 |
loginov
|
14691f40b2
|
AbstractAnalysisEngine now creates the AnalysisCache.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1546 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-24 19:57:28 +00:00 |
|
loginov
|
7093fb1d44
|
Added the missing creation of the AnalysisCache.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1545 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-24 19:56:23 +00:00 |
|
sjfink
|
2d2f8ab803
|
add a check for Illegal argument
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1544 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-24 18:18:36 +00:00 |
|
sjfink
|
f46b44323f
|
fix typo in comment
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1543 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-24 18:18:07 +00:00 |
|
sjfink
|
0373bb304d
|
more simplification
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1542 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-24 17:10:38 +00:00 |
|
sjfink
|
9bdda731ef
|
add getMaxTerms() to ICNFFormula
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1541 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-24 14:40:19 +00:00 |
|
sjfink
|
426722c7fe
|
add a new factory
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1540 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-24 14:39:37 +00:00 |
|
sjfink
|
4ec42416b7
|
fix comment
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1539 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-24 14:39:17 +00:00 |
|
sjfink
|
bd5d81924c
|
an optimization
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1538 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-23 17:12:52 +00:00 |
|
sjfink
|
0852fb888d
|
more simplification logic
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1537 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-23 16:40:26 +00:00 |
|
sjfink
|
3355b6207e
|
more simplification logic
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1536 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-23 16:40:16 +00:00 |
|
sjfink
|
e567ca1f24
|
more tests
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1535 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-23 15:59:24 +00:00 |
|
sjfink
|
d48a31459c
|
more substitution
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1534 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-23 15:59:04 +00:00 |
|
sjfink
|
ab03f8f9e9
|
more simplification logic
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1533 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-23 13:27:10 +00:00 |
|
sjfink
|
0cb5387310
|
more simplification logic
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1532 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-23 13:27:04 +00:00 |
|
sjfink
|
ddfd29153a
|
more simplification logic
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1531 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-23 12:34:59 +00:00 |
|
sjfink
|
cea5b583dd
|
generalize parameterized type
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1530 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-20 21:46:34 +00:00 |
yahave
|
ecf64b2f76
|
Dillig: add handling of annotations
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1529 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-20 21:35:04 +00:00 |
|
yahave
|
c149635f44
|
Dillig: add handling of annotations
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1528 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-20 21:34:55 +00:00 |
|
sjfink
|
99f293ea2e
|
support catch blocks
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1527 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-20 19:21:13 +00:00 |
|
sjfink
|
a75db57b52
|
implement iteratePis()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1526 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-20 18:35:54 +00:00 |
|
sjfink
|
bbf2c44a1c
|
add more assertion checking
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1525 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-20 18:35:33 +00:00 |
|
sjfink
|
93c931eb46
|
bug fix .. make sure unreached paths are initialized to TOP
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1524 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-20 18:34:55 +00:00 |
|
yahave
|
702a92c18f
|
fixed documentation of getTakenSuccessor
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1523 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-20 18:08:36 +00:00 |
|
sjfink
|
dc02de8f5a
|
bug fix: iteratePhis() should not return null instructions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1522 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-20 16:10:53 +00:00 |
|
sjfink
|
5dbfbda22c
|
decouple IR caching from AnalysisOptions with a new AnalysisCache object
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1521 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-20 15:20:58 +00:00 |
|
sjfink
|
59368d41ac
|
decouple IR caching from AnalysisOptions with a new AnalysisCache object
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1520 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-20 15:20:41 +00:00 |
|
sjfink
|
7f62dc3c04
|
decouple IR caching from AnalysisOptions with a new AnalysisCache object
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1519 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-20 15:20:23 +00:00 |
|
sjfink
|
e7d9d74292
|
decouple IR caching from AnalysisOptions with a new AnalysisCache object
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1518 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-20 15:20:13 +00:00 |
|
sjfink
|
3026eda8a3
|
decouple IR caching from AnalysisOptions with a new AnalysisCache object
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1517 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-20 15:20:06 +00:00 |
|
sjfink
|
c0aab9e7ed
|
decouple IR caching from AnalysisOptions with a new AnalysisCache object
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1516 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-20 15:19:57 +00:00 |
|
sjfink
|
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 |
rmfuhrer
|
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 |
|
dolby-oss
|
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 |
|
sjfink
|
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 |
|
dolby-oss
|
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 |
|
rmfuhrer
|
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 |