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
|
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 |
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 |
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
|
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 |