sjfink
|
3882bcbbeb
|
significant refactoring and generalization of instance keys and CFA builders
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2287 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-04 18:24:58 +00:00 |
sjfink
|
cf3c6994a3
|
tweak code formatting template
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2266 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-03 16:31:25 +00:00 |
dolby-oss
|
0a68d7609a
|
more tracing informatio for parsing problems
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2241 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-12-31 16:25:27 +00:00 |
sjfink
|
45bd43ebf8
|
add method IClass.isStatic()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2231 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-12-21 15:08:16 +00:00 |
sjfink
|
91c67c50c0
|
revert code compliance level to 5.0
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2209 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-12-17 18:48:04 +00:00 |
sjfink
|
8197ab47d6
|
fix some generics
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2192 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-12-14 22:09:29 +00:00 |
dolby-oss
|
6e3039613b
|
pathc for file offsets in Positions from Evan Battaglia; make native translator to CAst more robust to errors
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2189 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-12-14 21:11:19 +00:00 |
sjfink
|
f07ec1d5b5
|
patch 1850117, fix some unguarded assertions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2177 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-12-13 17:08:23 +00:00 |
sjfink
|
72ba229e6c
|
clean up header comment
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2156 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-12-11 16:38:22 +00:00 |
sjfink
|
eab8542e5f
|
clean up Language and AnalysisScope interface
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2155 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-12-11 16:37:42 +00:00 |
sjfink
|
36086b4a18
|
add some generics
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2151 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-12-10 16:33:57 +00:00 |
sjfink
|
198bbfd6d3
|
organize imports
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2147 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-12-10 05:36:44 +00:00 |
dolby-oss
|
6185a33408
|
add echo instruction; adapt invokes to handle multiple return values
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2136 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-12-10 05:03:00 +00:00 |
dolby-oss
|
8e46277e51
|
move echo instruction to CAst core; generalized invokes to deal with multiple return values; generalize function support to handle non-first-class functions, modeled as statics
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2131 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-12-10 04:26:21 +00:00 |
rmfuhrer
|
05cfca0a3d
|
Factory method make(...) no longer takes an explicit arg to define the languages, but gets this info from the AnalysisScope instead. Added type parameters in a few places for clarity and static checking.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2106 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-12-06 14:20:20 +00:00 |
sjfink
|
fe69687001
|
bug fix and related API changes for interface type tests
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2103 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-12-05 19:48:54 +00:00 |
sjfink
|
52f13b2fc0
|
more generics
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2094 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-12-04 21:40:34 +00:00 |
sjfink
|
3e33169ecc
|
add some generics
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2093 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-12-04 20:44:04 +00:00 |
sjfink
|
47fcf748ee
|
first phase of restructuring to fix string constant pointer analysis problems
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2077 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-11-29 18:22:50 +00:00 |
sjfink
|
0e36a5a553
|
organize imports
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2046 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-11-16 20:57:45 +00:00 |
sjfink
|
a8b61ccb17
|
misc. cleanups
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2044 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-11-16 20:51:04 +00:00 |
sjfink
|
92499cf576
|
more generics
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2043 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-11-16 20:44:17 +00:00 |
dolby-oss
|
9d980f3901
|
refactoring to bring reusable CAst translation code out of the PHP and JavaScript translators, and into the generic Cast projects. Also, adapted native code to compile on Mac OS X Tiger
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2017 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-11-16 01:51:42 +00:00 |
dolby-oss
|
076a4325dd
|
turn some debugging off; adapt to Wala changes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1929 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-23 04:07:46 +00:00 |
sjfink
|
0cfb36979c
|
conservatively guess mayBePrimitive for all SSABinaryOperations
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1923 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-22 16:34:35 +00:00 |
sjfink
|
6bbd0a4f74
|
bump up source level to 6.0
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1846 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-11 14:25:36 +00:00 |
sjfink
|
e09e1e7b27
|
change ControlFlowGraph.getExceptionalSuccessors to return a List, in order of increasing catch scope
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1824 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-04 15:49:12 +00:00 |
dolby-oss
|
2829c43700
|
fixes for build issues
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1756 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-09-17 15:57:58 +00:00 |
dolby-oss
|
9f33ca9213
|
add example of CAst transformation: a sync block duplicator for Nick
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1744 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-09-13 14:32:28 +00:00 |
egeay
|
44d92505c6
|
Fixed getSignature method in order to return the usual scheme for method signatures in WALA.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1742 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-09-11 15:36:38 +00:00 |
sjfink
|
cd78f3aa71
|
generics for control flow graph and filters
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1711 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-09-02 14:45:07 +00:00 |
sjfink
|
a2194053d6
|
type parameters for IRFactory
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1710 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-09-01 14:41:18 +00:00 |
sjfink
|
c9ed34510d
|
adapt to wala.core IteratorPlusOne change and clean up some generics
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1707 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-31 23:51:10 +00:00 |
sjfink
|
1282f62f8e
|
hide Pair constructor; misc. generics-related cleanups
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1701 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-31 23:19:52 +00:00 |
sjfink
|
03a70ad997
|
adapt to new generics in wala core
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1697 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-31 21:50:02 +00:00 |
sjfink
|
bf34052894
|
small cleanups
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1599 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-09 17:39:32 +00:00 |
dolby-oss
|
30f8a45b76
|
add factories and objects to allow slicer to be extended to handle multiple languages
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1595 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-08 12:01:12 +00:00 |
sjfink
|
8f103735d0
|
just format
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1569 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-06 18:31:22 +00:00 |
dolby-oss
|
d5e8077395
|
merge code from loop unroller into standard CAstRewriter
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1560 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-01 15:37:46 +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 |
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 |
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 |
dolby-oss
|
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 |
sjfink
|
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 |
rmfuhrer
|
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 |
rmfuhrer
|
bb1ce4fa36
|
Now delegates to an ArrayOpHandler (this, by default) to handle
IR generation for array reads and writes.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1453 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-12 22:49:55 +00:00 |
rmfuhrer
|
e523cd7800
|
New class to encapsulate translator's handling of various
array operations (reads, writes).
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1452 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-12 22:48:40 +00:00 |
dolby-oss
|
ce4cdd7f88
|
generalize hackish notion of 'internal' names
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1448 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-12 18:14:26 +00:00 |
sjfink
|
c91caedab6
|
use Hash factories everywhere
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1435 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-11 21:07:32 +00:00 |