DASCA/WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Commit Graph

  • 9f8adcd989 small cleanups relating to migration to Eclipse 3.3 sjfink 2007-07-05 23:58:03 +0000
  • 0350934bce small cleanups relating to migration to Eclipse 3.3 sjfink 2007-07-05 23:56:36 +0000
  • 7bef92b496 small cleanups relating to migration to Eclipse 3.3 sjfink 2007-07-05 23:56:32 +0000
  • 2d88f526b6 small cleanups relating to migration to Eclipse 3.3 sjfink 2007-07-05 23:56:23 +0000
  • 92ea341cf5 small cleanups relating to migration to Eclipse 3.3 sjfink 2007-07-05 23:56:07 +0000
  • 0d92f19829 small cleanups relating to migration to Eclipse 3.3 sjfink 2007-07-05 23:56:02 +0000
  • 192579b816 small cleanups relating to migration to Eclipse 3.3 sjfink 2007-07-05 23:55:54 +0000
  • a96d004737 small cleanups relating to migration to Eclipse 3.3 sjfink 2007-07-05 23:55:43 +0000
  • 5140fc0ceb set javac fail on error sjfink 2007-07-05 19:53:44 +0000
  • bca3b2f407 set javac fail on error sjfink 2007-07-05 19:53:38 +0000
  • d4e7f31285 export slicer package sjfink 2007-07-05 19:53:16 +0000
  • da8176075d Added the missing com.ibm.wala.ipa.slicer.thin to the export-package list. loginov 2007-07-05 18:47:35 +0000
  • 27937ca35b delete CallGraph.getInterpreter() and CFGProvider sjfink 2007-07-05 03:05:03 +0000
  • 2445a55ad8 delete CallGraph.getInterpreter() and CFGProvider sjfink 2007-07-05 03:04:57 +0000
  • e34aa83beb delete CallGraph.getInterpreter() and CFGProvider sjfink 2007-07-05 03:04:50 +0000
  • 04e7807ce5 delete CallGraph.getInterpreter() and CFGProvider sjfink 2007-07-05 03:04:43 +0000
  • c29f416283 delete CallGraph.getInterpreter() and CFGProvider sjfink 2007-07-05 03:04:39 +0000
  • ca0a40c850 delete CallGraph.getInterpreter() and CFGProvider sjfink 2007-07-05 03:04:34 +0000
  • 8b13f5d9ef add method getCFG() sjfink 2007-07-03 20:48:23 +0000
  • 62046775c7 support distribute of not operator sjfink 2007-07-03 17:53:16 +0000
  • a457e9f03c more trivial decision support sjfink 2007-07-03 14:50:53 +0000
  • 7b4f70d521 add a trivial semi-decision procedure sjfink 2007-07-03 13:30:24 +0000
  • 0869d265ab git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1336 f5eafffb-2e1d-0410-98e4-8ec43c5233c4 sjfink 2007-07-03 11:03:04 +0000
  • cb320d24fe test reported slicing bug: unreproduced sjfink 2007-07-03 10:55:58 +0000
  • 0e243489e8 test reported slicing bug: unreproduced sjfink 2007-07-03 10:55:52 +0000
  • e0452d38f2 some refactoring and more pretty printing sjfink 2007-07-03 01:09:48 +0000
  • db20b2bf15 improve precision of model for creation of nodes in DOM dolby-oss 2007-07-02 21:11:14 +0000
  • a896d160b7 type parameter from manu sjfink 2007-07-02 17:45:07 +0000
  • c8039fb680 add a comment sjfink 2007-07-02 17:44:49 +0000
  • f411feb5c4 generics from manu sjfink 2007-07-02 11:52:50 +0000
  • 6ccfc7a18b delete silly comments sjfink 2007-07-02 00:03:52 +0000
  • b63ec35157 fix to model of DOM in web pages dolby-oss 2007-06-29 19:16:34 +0000
  • 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) dolby-oss 2007-06-29 19:15:18 +0000
  • eb86207d02 fix to index error from Nick dolby-oss 2007-06-28 14:49:19 +0000
  • 3f8232a725 improved mechanism for handling 'arguments' array; add model of 'replace' for strings; add new isNullType for Language object dolby-oss 2007-06-28 14:32:15 +0000
  • 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 dolby-oss 2007-06-28 14:30:15 +0000
  • d6a5efccc1 fixes to pointer analysis to handle languages that have a separate 'null' type for which no one should be reading/writing fields dolby-oss 2007-06-28 14:27:38 +0000
  • e3b01a2fab add comment about Mac OSX path sjfink 2007-06-27 18:38:01 +0000
  • 412d1fd580 add comment about Mac OSX path sjfink 2007-06-27 18:37:12 +0000
  • a74ba72b15 just update a comment sjfink 2007-06-27 18:36:54 +0000
  • 7bf41bfbfc initial revision sjfink 2007-06-26 19:56:01 +0000
  • 6918ec3113 initial revision sjfink 2007-06-26 19:55:58 +0000
  • a12120caff new test from Alexey; fix copyright on some files sjfink 2007-06-26 19:55:08 +0000
  • f9bcd6e7db new LocalNames test from alexey; move other local names tests there. sjfink 2007-06-26 19:54:40 +0000
  • 769db079ab bug fixes and api changes for new assertion checking during ir generation dolby-oss 2007-06-25 20:10:11 +0000
  • 43c1c4bd4a bug fixes and api changes for new assertion checking during ir generation dolby-oss 2007-06-25 20:09:45 +0000
  • 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 dolby-oss 2007-06-25 20:08:56 +0000
  • 1eefd4cf38 add getIntegerValue sjfink 2007-06-25 18:56:14 +0000
  • 35a0fc71f3 toArray() returns empty array rather than null sjfink 2007-06-25 13:21:40 +0000
  • d993770850 throw IllegalArgumentException for bad selector sjfink 2007-06-21 18:35:25 +0000
  • 6421783e52 introduce factory for Iterator2Collection sjfink 2007-06-21 16:14:00 +0000
  • c6cda8b431 introduce factory for Iterator2Collection sjfink 2007-06-21 16:13:42 +0000
  • 6ae987ffaf introduce factory for Iterator2Collection sjfink 2007-06-21 16:13:39 +0000
  • 6f61f9c9e2 introduce factory for Iterator2Collection sjfink 2007-06-21 16:13:34 +0000
  • 2657dec4e7 moved ExceptionPrunedCFG to core dolby-oss 2007-06-21 15:17:34 +0000
  • df7fabc16d change an assertion to an IllegalArgumentException sjfink 2007-06-21 02:42:54 +0000
  • 75c6083f10 more decorator support sjfink 2007-06-20 19:05:55 +0000
  • dc109fa4f9 support nullary functions sjfink 2007-06-20 17:11:08 +0000
  • f120c54852 use covariant return type for getBasicBlock() sjfink 2007-06-19 15:27:27 +0000
  • 63294961a3 delete empty comment sjfink 2007-06-18 16:59:02 +0000
  • 059f5502a7 more decorator stuff sjfink 2007-06-18 16:58:46 +0000
  • 615a56ae9a back off checking of Thread.interrupt() every time sjfink 2007-06-18 16:58:16 +0000
  • 45495d47c8 organize imports and format sjfink 2007-06-18 15:35:40 +0000
  • 2bc2be30c0 add StringBuilder to isStringish() sjfink 2007-06-18 02:41:10 +0000
  • f73b2c9b33 update name of debug property to match package sjfink 2007-06-18 02:26:02 +0000
  • ddba4bb04b refactored new support for rewriting ASTs dolby-oss 2007-06-16 16:05:21 +0000
  • 3218734169 moved CAstRewriterFactory to CAst core project dolby-oss 2007-06-16 16:04:30 +0000
  • 0cc1e16847 * modified/added some classes in order to translate syntax trees in the Java2IRTranslator#translate() method. tttate 2007-06-16 07:53:20 +0000
  • f7dd414734 support pretty-printing sjfink 2007-06-15 21:27:03 +0000
  • a206218bde small bug fixes sjfink 2007-06-15 18:42:46 +0000
  • 627d96cc1e excludes awt, swing, and com.sun.corba.* sjfink 2007-06-15 14:47:28 +0000
  • 544288781d support exclusions file as command-line argument sjfink 2007-06-15 14:46:54 +0000
  • ac3df37a0b some refactoring, renaming sjfink 2007-06-15 14:05:18 +0000
  • a0ff56c0ed delete useless comments sjfink 2007-06-15 14:03:30 +0000
  • 0181e872aa javadoc fixes from Manu sjfink 2007-06-15 14:02:41 +0000
  • 5333f89345 formatting and comments sjfink 2007-06-15 14:02:19 +0000
  • e261caa228 misc. cleanups sjfink 2007-06-15 14:01:44 +0000
  • e6e81302c4 misc. cleanups sjfink 2007-06-15 14:01:35 +0000
  • f6edb9f1d3 misc. cleanups sjfink 2007-06-15 14:01:32 +0000
  • 8bb4982f4e add detail to diagnostic message dolby-oss 2007-06-15 02:49:30 +0000
  • 718db7d6c4 fix to use proper file name for source file module dolby-oss 2007-06-15 02:27:57 +0000
  • 1812d506bd fix to isInit predicate in AstMethod dolby-oss 2007-06-14 17:43:30 +0000
  • de3e9adaea fix name in manifest dolby-oss 2007-06-13 19:20:08 +0000
  • 78881a8db5 export polyglot so that importing projects can use that if they so desire dolby-oss 2007-06-13 19:19:40 +0000
  • 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 dolby-oss 2007-06-12 13:43:16 +0000
  • 5af604fb12 Reverted the file to the new way build system of WALA (Eclipse generated). egeay 2007-06-08 14:36:41 +0000
  • 604e1a742c small cleanup patch (Java 5.0 iterator) from N. Kidd sjfink 2007-06-07 14:16:22 +0000
  • 6850d36f97 build in some well-known binary relations sjfink 2007-06-07 02:44:26 +0000
  • 1ea4aa3808 some on-the-fly simplification with boolean constants sjfink 2007-06-07 02:09:46 +0000
  • aa120a06df git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1258 f5eafffb-2e1d-0410-98e4-8ec43c5233c4 sjfink 2007-06-06 21:13:38 +0000
  • c49d6d84e2 delete a broken comment sjfink 2007-06-06 21:13:22 +0000
  • 9f1ab271a9 remove some unnecessary IClassHierarchy parameters sjfink 2007-06-06 20:15:48 +0000
  • db4bf9b852 remove some unnecessary IClassHierarchy parameters sjfink 2007-06-06 20:15:44 +0000
  • b0d31d38cb remove some unnecessary IClassHierarchy parameters sjfink 2007-06-06 20:15:37 +0000
  • 99733a89a9 remove some unnecessary IClassHierarchy parameters sjfink 2007-06-06 20:15:25 +0000
  • 4c9b43b808 delete extraneous launchers sjfink 2007-06-06 18:07:42 +0000
  • 705d847699 push generics signatures down into ShrikeCTMethod sjfink 2007-06-06 18:06:45 +0000
  • 414925fda5 small API changes for readFromTextFile() sjfink 2007-06-06 15:38:05 +0000
  • 3716538edd fix Eclipse build path sjfink 2007-06-06 03:01:51 +0000
  • 780a28366a add findJavaClassInResources() sjfink 2007-06-06 03:01:27 +0000