DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
856 Commits 8 Branches 13 Tags 80 MiB
Commit Graph

856 Commits

Author SHA1 Message Date
sjfink 27937ca35b delete CallGraph.getInterpreter() and CFGProvider 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1347 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-07-05 03:05:03 +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
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
sjfink 04e7807ce5 delete CallGraph.getInterpreter() and CFGProvider 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1344 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-07-05 03:04:43 +00:00
sjfink c29f416283 delete CallGraph.getInterpreter() and CFGProvider 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1343 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-07-05 03:04:39 +00:00
sjfink ca0a40c850 delete CallGraph.getInterpreter() and CFGProvider 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1342 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-07-05 03:04:34 +00:00
sjfink 8b13f5d9ef add method getCFG() 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1340 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-07-03 20:48:23 +00:00
sjfink 62046775c7 support distribute of not operator 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1339 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-07-03 17:53:16 +00:00
sjfink a457e9f03c more trivial decision support 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1338 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-07-03 14:50:53 +00:00
sjfink 7b4f70d521 add a trivial semi-decision procedure 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1337 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-07-03 13:30:24 +00:00
sjfink 0869d265ab git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1336 f5eafffb-2e1d-0410-98e4-8ec43c5233c4 2007-07-03 11:03:04 +00:00
sjfink cb320d24fe test reported slicing bug: unreproduced 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1335 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-07-03 10:55:58 +00:00
sjfink 0e243489e8 test reported slicing bug: unreproduced 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1334 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-07-03 10:55:52 +00:00
sjfink e0452d38f2 some refactoring and more pretty printing 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1333 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-07-03 01:09:48 +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
sjfink a896d160b7 type parameter from manu 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1331 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-07-02 17:45:07 +00:00
sjfink c8039fb680 add a comment 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1330 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-07-02 17:44:49 +00:00
sjfink f411feb5c4 generics from manu 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1329 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-07-02 11:52:50 +00:00
sjfink 6ccfc7a18b delete silly comments 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1328 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-07-02 00:03:52 +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 caa4357cd9 fix optmization to check for no phi nodes, rather than just testing for the exit block. when there are lexically-scoped variables in JavaScript code, then the exit block may have phi nodes (required for upward funarg situations) 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1326 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-06-29 19:15:18 +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 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 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 d6a5efccc1 fixes to pointer analysis to handle languages that have a separate 'null' type for which no one should be reading/writing fields 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1322 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-06-28 14:27:38 +00:00
sjfink e3b01a2fab add comment about Mac OSX path 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1321 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-06-27 18:38:01 +00:00
sjfink 412d1fd580 add comment about Mac OSX path 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1320 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-06-27 18:37:12 +00:00
sjfink a74ba72b15 just update a comment 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1319 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-06-27 18:36:54 +00:00
sjfink 7bf41bfbfc initial revision 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1318 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-06-26 19:56:01 +00:00
sjfink 6918ec3113 initial revision 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1317 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-06-26 19:55:58 +00:00
sjfink a12120caff new test from Alexey; fix copyright on some files 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1316 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-06-26 19:55:08 +00:00
sjfink f9bcd6e7db new LocalNames test from alexey; move other local names tests there. 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1315 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-06-26 19:54:40 +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 43c1c4bd4a bug fixes and api changes for new assertion checking during ir generation 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1313 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-06-25 20:09:45 +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 1eefd4cf38 add getIntegerValue 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1311 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-06-25 18:56:14 +00:00
sjfink 35a0fc71f3 toArray() returns empty array rather than null 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1310 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-06-25 13:21:40 +00:00
sjfink d993770850 throw IllegalArgumentException for bad selector 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1309 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-06-21 18:35:25 +00:00
sjfink 6421783e52 introduce factory for Iterator2Collection 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1308 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-06-21 16:14:00 +00:00
sjfink c6cda8b431 introduce factory for Iterator2Collection 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1307 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-06-21 16:13:42 +00:00
sjfink 6ae987ffaf introduce factory for Iterator2Collection 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1306 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-06-21 16:13:39 +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 2657dec4e7 moved ExceptionPrunedCFG to core 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1304 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-06-21 15:17:34 +00:00
sjfink df7fabc16d change an assertion to an IllegalArgumentException 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1303 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-06-21 02:42:54 +00:00
sjfink 75c6083f10 more decorator support 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1302 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-06-20 19:05:55 +00:00
sjfink dc109fa4f9 support nullary functions 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1301 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-06-20 17:11:08 +00:00
sjfink f120c54852 use covariant return type for getBasicBlock() 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1300 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-06-19 15:27:27 +00:00
sjfink 63294961a3 delete empty comment 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1299 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-06-18 16:59:02 +00:00
sjfink 059f5502a7 more decorator stuff 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1298 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-06-18 16:58:46 +00:00
sjfink 615a56ae9a back off checking of Thread.interrupt() every time 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1297 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-06-18 16:58:16 +00:00