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 |