sjfink
9e79661c60
just refactoring ... introduce 2 new packages in wala.util.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2447 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-24 22:05:51 +00:00
dolby-oss
41c8709c86
fixes for script entry point call sites
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2398 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-16 16:32:33 +00:00
sjfink
0a5f2232f5
delete obsolete ValueDecorator interface
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2388 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-15 14:40:11 +00:00
sjfink
1da32a64c1
tweak code format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2373 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-11 16:51:26 +00:00
sjfink
fcfcdd191b
nuke support for "dispatch bound" call graph construction heuristic
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2353 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-10 22:05:55 +00:00
sjfink
1961cf923f
tweak code formatting for enums
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2335 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-10 16:26:09 +00:00
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
sjfink
d72e0a1752
restructure to allow CGNodes to dwell in more than one CallGraph. lift some functions up from CGNode to CallGraph
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1420 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-11 16:24:45 +00:00
dolby-oss
c039c173e0
add accessor to test whether a given node is already mapped by a control flow recorder
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1411 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-11 12:05:36 +00:00
sjfink
39da63410a
massive overhaul of Warnings management
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1390 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-06 22:09:29 +00:00
sjfink
da8c93ec1a
misc. housekeeping and some slicer bug fixes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1375 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-06 14:11:24 +00:00
sjfink
323f72c3fe
miscellaneous housekeeping
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1368 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-06 03:07:38 +00:00
sjfink
92ea341cf5
small cleanups relating to migration to Eclipse 3.3
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1358 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-05 23:56:07 +00:00
sjfink
e34aa83beb
delete CallGraph.getInterpreter() and CFGProvider
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1345 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-05 03:04:50 +00:00
dolby-oss
eb86207d02
fix to index error from Nick
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1325 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-28 14:49:19 +00:00
dolby-oss
03c523a52e
fixes to pointer analysis to handle languages that have a separate 'null' type for which no one should be reading/writing fields; minor fixes to misc hack context selector
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1323 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-28 14:30:15 +00:00
dolby-oss
5144df56be
more assertion checking of control flow map during IR generation; bug fix to CAst rewriting to handle control flow edges out of the code being rewritten; bug fix to AstTranslator for control flow in finally blocks so that it throws either the prior exception or any new one
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1312 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-25 20:08:56 +00:00
sjfink
6f61f9c9e2
introduce factory for Iterator2Collection
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1305 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-21 16:13:34 +00:00
dolby-oss
3218734169
moved CAstRewriterFactory to CAst core project
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1292 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-16 16:04:30 +00:00
sjfink
e261caa228
misc. cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1282 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-15 14:01:44 +00:00
dolby-oss
1812d506bd
fix to isInit predicate in AstMethod
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1277 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-14 17:43:30 +00:00
dolby-oss
d958868f41
a but more javadoc; added accessor for getting all value numbers exposed to lexical scoping; allow scopes during translation to ask for parent scopes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1274 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-12 13:43:16 +00:00
sjfink
9f1ab271a9
remove some unnecessary IClassHierarchy parameters
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1256 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-06 20:15:48 +00:00
sjfink
e5e40ab661
1) change implementation of CGNode hierarchy to avoid type parameters.
...
2) nuke BasicEntrypoints
3) tweak interface to InstanceKeyFactory for constants
4) refactoring for HeadlessWALA application
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1229 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-01 18:50:37 +00:00
dolby-oss
8472f026f5
support for cross-language call graphs
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1215 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-01 03:31:35 +00:00
sjfink
93e0e4c06e
change some Iterators in API to Collections
...
remove some unnecessary WarningSet parameters
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1209 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-31 02:38:56 +00:00
sjfink
8e741a8149
misc cleanup and refactoring
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1180 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-25 19:33:42 +00:00
rmfuhrer
16938f0f70
getLocalReadKey() is now aware that certain invoke instructions
...
have uses other than parameters and lexical uses (e.g. X10's
async invoke instruction, which has a separate use for the
"place expr").
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1177 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-25 16:41:47 +00:00
rmfuhrer
a95a541834
New API method added to identify the last lexical use, used
...
when invoke instruction references entities other than parameters
and lexical uses (e.g. the "place expr" in X10's async invoke).
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1176 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-25 16:40:54 +00:00
rmfuhrer
b0dae9066a
Added toString() impl.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1175 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-25 16:39:08 +00:00
sjfink
44e81fe29f
misc. cleanups and refactoring
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1166 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-23 13:42:47 +00:00
mkogane
db4d2da065
added Byte case in getConstantValue of AbstractScope
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1142 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-17 02:41:25 +00:00
sjfink
a946870b21
small cleanups for TypeInference
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1141 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-16 19:32:02 +00:00
sjfink
eacd5d6a95
delete Entrypoints interface.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1127 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-15 17:44:59 +00:00
sjfink
86d1020a43
feature 1718935: make Entrypoints implement Iterable
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1117 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-14 21:31:03 +00:00
sjfink
c93222a501
feature 1717405: rename getFieldReference() to getReference()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1106 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-14 17:01:24 +00:00
sjfink
51d008c12c
share errors/warnings settings
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1085 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-07 13:28:48 +00:00
sjfink
d09dc43cbe
shared code formatter settings
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1075 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-07 13:21:36 +00:00
dolby-oss
0c456261ff
restore code that is being used
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1050 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-03 19:58:01 +00:00
sjfink
25cfa83e11
make SSAInstruction.equals() consistently use ==
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1048 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-03 17:26:35 +00:00
sjfink
8c2927636c
move PrunedCFG to wala.core
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1045 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-03 17:07:57 +00:00
sjfink
924aa96d9d
enable project-specific compiler settings
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1028 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-30 13:47:06 +00:00
sjfink
0ff21e9cce
just format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1011 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-26 16:04:16 +00:00
dolby-oss
9f35d33d2e
add native definition of IS_DEFINED_EXPR
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1002 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-24 16:15:53 +00:00
sjfink
f01c8208f6
introduce some generics
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@995 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-24 14:10:57 +00:00
sjfink
8c5fdceec3
organize imports
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@994 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-24 13:51:15 +00:00
dolby-oss
0023341733
new instruction to represent checking whether a local or a field is defined
...
new abstract base for CAst rewriters, used by the CAstCloner
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@985 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-19 13:48:01 +00:00
sjfink
c9ca8ec963
mayur's suggested change to source property
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@955 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-15 16:04:41 +00:00
tabee
58b08a2ca7
2007 04 12, Naoshi Tabuch: tabee@jp.ibm.com
...
Fixed external builder "make WALA.CAst" to run properly
(by default it is disabled.)
One needs to set workspace variable $bash to point to
a bash executable (with explicit ".exe" suffix on Windows)
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@941 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-12 05:53:20 +00:00
tabee
d84a963062
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@940 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-12 05:45:22 +00:00
sjfink
c192f80b82
disable make WALA.CAst builder
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@939 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-11 17:35:57 +00:00