Commit Graph

326 Commits

Author SHA1 Message Date
sjfink 03c1a8cc60 fix compile problems from wala.core changes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2679 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-05 13:41:52 +00:00
sjfink 69c1bfa991 Simplify MethodTargetSelector and ContextSelector interfaces; delete optimizations based on allSitesDispatchIdentically and mayReturnSyntheticMethod.
Also some Cast bug fixes.

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2655 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-03 21:32:36 +00:00
sjfink 8814ece4e2 delete PointerFlowGraph
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2610 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-24 00:05:19 +00:00
sjfink 8bb28da489 delete obsolete and broken OneCFABuilder
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2492 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-30 15:43:32 +00:00
sjfink 787c047d6e Delete CallGraphBuilderFactory. Related cleanups.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2457 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-24 22:38:50 +00:00
sjfink 849828e9fd just refactoring ... introduce 2 new packages in wala.util.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2448 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-24 22:06:02 +00:00
sjfink 1a72f854b3 delete obsolete 'preserveNames' SSAOption
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2403 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-16 21:19:14 +00:00
dolby-oss 6173bd0fa7 fixes for script entry point call sites
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2399 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-16 16:33:10 +00:00
sjfink 1cd38c1dc5 delete obsolete ValueDecorator interface
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2389 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-15 14:40:23 +00:00
sjfink 54a4a359c2 tweak code format
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2369 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-11 16:51:04 +00:00
sjfink e2dd8518b8 nuke support for "dispatch bound" call graph construction heuristic
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2350 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-10 22:05:37 +00:00
sjfink 81ef3a6dc1 tweak code formatting for enums
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2331 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-10 16:25:54 +00:00
msridhar1 b88f7d3872 updated URL for xalan tar.gz
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2317 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-08 21:56:51 +00:00
sjfink 2789df69e7 delete redundant method SSAAbstractInvokeInstruction.getSite()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2290 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-04 21:18:25 +00:00
sjfink cabe6b2749 tweak code formatting template
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2260 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-03 16:30:52 +00:00
sjfink 5f619b06da revert code compliance level to 5.0
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2206 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-17 18:47:54 +00:00
sjfink 7611f618e7 fix some generics
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2193 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-14 22:09:32 +00:00
sjfink 742c46a61d clean up Language and AnalysisScope interface
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2153 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-11 16:34:02 +00:00
sjfink b804160ef7 organize imports
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2145 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-10 05:36:36 +00:00
sjfink fd81fd7bcf fix compile bugs due to changes in wala.core
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2138 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-10 05:26:56 +00:00
dolby-oss 517ffd91a6 adapt to abstract invoke changes; move some util functionality to CAst core
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2134 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-10 04:32:54 +00:00
sjfink 3ea8de49e4 bug fixes. Add Javascript language to analysis scope.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2121 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-06 19:56:00 +00:00
rmfuhrer c5270a5f11 Now uses the base LanguageImpl implementation, which has support for new API that represents Languages in a hierarchy.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2116 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-06 14:57:33 +00:00
rmfuhrer fc1cf61c1b buildAnalysisScope() now adds the Language object for JavaScript to the scope's Language set (since the AnalysisScope now holds that information).
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2109 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-06 14:29:54 +00:00
sjfink e8543242d0 more generics
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2095 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-04 21:40:38 +00:00
sjfink 667b1c42ca organize imports
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2048 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-16 20:57:58 +00:00
dolby-oss 595d68d8d5 refactoring to move some reusable code to generic CAst projects
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2019 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-16 01:54:39 +00:00
dolby-oss f10ec15eb8 support for 1-CFA analysis
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1985 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-06 04:14:03 +00:00
sjfink 64c230a803 clean up TypeInference API
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1906 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-19 14:39:06 +00:00
sjfink e17e25b11e tweak build order
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1868 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-12 15:05:46 +00:00
sjfink 462cbc6333 bump up source level to 6.0
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1842 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-11 14:25:15 +00:00
sjfink 43e0a28d9e hide Pair constructor; misc. generics-related cleanups
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1705 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-31 23:20:12 +00:00
sjfink ac54a54c1d adapt to new generics in wala core
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1699 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-31 21:50:13 +00:00
yahave 2c8dd6d027 fixed bounds of iteration over symbol table using getMaxValueNumber. Loops should be iterating all the way to the MaxValueNumber returned (i.e., <=).
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1655 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-22 15:33:55 +00:00
dolby-oss 2d952cb4f0 merge code from loop unroller into standard CAstRewriter
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1561 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-01 15:38:17 +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 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
rmfuhrer 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
rmfuhrer 6602980f64 Made doArrayRead() and doArrayWrite() public, per API change.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1455 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-12 22:50:46 +00:00
dolby-oss d7dc11aa87 generalize hackish notion of 'internal' names
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1450 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-12 18:15:56 +00:00
sjfink 433b943759 use Hash factories everywhere
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1439 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-11 21:08:21 +00:00
sjfink 1f94c82716 suppress a compiler warning
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1424 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-11 18:43:55 +00:00
sjfink 99a97fb477 massive overhaul of Warnings management
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1389 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-06 22:09:08 +00:00
sjfink be145b3838 miscellaneous housekeeping
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1366 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-06 03:07:29 +00:00
sjfink 2445a55ad8 delete CallGraph.getInterpreter() and CFGProvider
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1346 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-05 03:04:57 +00:00
dolby-oss db20b2bf15 improve precision of model for creation of nodes in DOM
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1332 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-02 21:11:14 +00:00
dolby-oss b63ec35157 fix to model of DOM in web pages
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1327 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-29 19:16:34 +00:00
dolby-oss 3f8232a725 improved mechanism for handling 'arguments' array; add model of 'replace' for strings; add new isNullType for Language object
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1324 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-28 14:32:15 +00:00
dolby-oss 769db079ab bug fixes and api changes for new assertion checking during ir generation
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1314 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-25 20:10:11 +00:00
dolby-oss 66b19b8666 support for cross-language call graphs
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1216 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-01 03:32:56 +00:00
sjfink 553ee0faea change some Iterators in API to Collections
remove some unnecessary WarningSet parameters

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1207 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-31 02:38:28 +00:00
sjfink afc1dc0a59 misc. cleanups and refactoring
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1167 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-23 13:42:58 +00:00
sjfink 5a8c0fa6d1 delete Entrypoints interface.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1125 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-15 17:44:43 +00:00
sjfink cc2f9cb30b share errors/warnings settings
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1081 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-07 13:28:35 +00:00
sjfink d84e685905 shared code formatter settings
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1065 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-07 13:20:53 +00:00
sjfink 7db5909f07 make SSAInstruction.equals() consistently use ==
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1049 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-03 17:26:38 +00:00
sjfink 5a982601c5 add a dependency
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1038 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-02 17:12:48 +00:00
sjfink 56f920907d enable project-specific compiler settings
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1029 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-30 13:47:11 +00:00
sjfink 9a6cb77c7a introduce some generics
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@997 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-24 14:11:04 +00:00
sjfink 8f42bd40fa minor cleanups
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@993 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-24 13:50:32 +00:00
dolby-oss 07baba9290 Translator now generates property read prototype looping as a proper CAst loop rather than adding the loop in the IR. Use new AstIsDefinedInstruction to test for defined'ness. Better separation of primitive values versus objects that corresponds to primitives.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@987 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-19 13:53:31 +00:00
sjfink f5f26ad8bc just format
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@944 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-12 14:54:57 +00:00
dolby-oss c8fb2a22af use new boolean-typed constants. adapt to new symbol declaration api
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@923 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-04 13:05:48 +00:00
sjfink 978bddae43 minor cleanups
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@848 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-12 16:09:39 +00:00
dolby-oss 541ee23cdf fix to generation of constructor function bodies
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@842 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-12 02:10:10 +00:00
mkogane cee44da525 fix id in plugin.xml
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@738 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-14 06:13:26 +00:00
dolby-oss 4668eb57d2 further analysis engine surgery, motivated by string analysis example
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@707 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-12 18:30:10 +00:00
sjfink f1ac319ca0 squash remaining Eclipse warnings
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@702 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-09 15:34:25 +00:00
sjfink 690b8e1539 fix an Eclipse warning
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@695 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-09 10:05:51 +00:00
dolby-oss f46b8c9008 launch configurations for download scripts
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@688 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-08 20:35:39 +00:00
sjfink 86bcc926ee miscellaneous minor cleanups. eclipse build stuff. import statements.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@677 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-08 19:07:30 +00:00
sjfink f9c1226fb9 tweak to avoid 'realpath', which I can't find for cygwin
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@665 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-08 17:09:08 +00:00
dolby-oss 6bb77209d9 add script to fetch libraries js.jar and xalan.jar
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@661 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-08 14:26:40 +00:00
dolby-oss ceb1f9ef34 allow extractScriptFromHTML to take a String as well as a URL
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@659 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-07 18:54:07 +00:00
dolby-oss 0f8bd7c80a fixes to build.xml stuff
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@642 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-04 19:38:00 +00:00
dolby-oss d8f21f8ee5 Initial contribution of core script analysis code
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@622 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-02 17:25:09 +00:00