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

Commit Graph

  • 5c89985acf add some comments tweak SSASwitchInstruction.toString() sjfink 2007-07-13 21:34:04 +0000
  • cb4012d939 Added code to methods missing implementations. Added a make method for a partial graph with a given set of roots and a given set of nodes. Added checks for containment of pred/succ nodes to get[Pred/Succ]NodeNumbers, which were missing the checks. Made getNode/getNumber methods return null/-1 for nodes not in partial graph (instead of throwing an exception). May reconsider this later. loginov 2007-07-13 20:02:00 +0000
  • d602c65f6b initial revision sjfink 2007-07-13 19:04:55 +0000
  • 2cc59a6805 add comments sjfink 2007-07-13 19:04:38 +0000
  • 0d96ce5155 bug fixes sjfink 2007-07-13 18:21:50 +0000
  • 897717acd2 Exposed referenceFor*() methods so that clients can translate Polyglot type-related objects to their WALA counterparts w/o attempting to canonicalize them. See the JavaDoc for more info on why this is necessary. rmfuhrer 2007-07-13 15:48:22 +0000
  • e28bbb74c1 Added some JavaDoc to IdentityMapper interface. rmfuhrer 2007-07-13 15:46:55 +0000
  • f88a68b4ba lots of formula cleanup sjfink 2007-07-13 15:23:58 +0000
  • f44a8a8a8b lots of formula cleanup sjfink 2007-07-13 15:23:38 +0000
  • 7ed7c4d986 Added comment suggesting to make getPointerAnalysis() public. rmfuhrer 2007-07-13 14:49:07 +0000
  • 7de9694e84 small bug fixes and cleanups sjfink 2007-07-13 14:01:41 +0000
  • 47defd33aa bug fixes sjfink 2007-07-13 12:52:14 +0000
  • 9be999a666 add a comment sjfink 2007-07-13 12:51:54 +0000
  • 6602980f64 Made doArrayRead() and doArrayWrite() public, per API change. rmfuhrer 2007-07-12 22:50:46 +0000
  • 406d5297c1 Made doArrayRead() and doArrayWrite() public, per API change. rmfuhrer 2007-07-12 22:50:28 +0000
  • bb1ce4fa36 Now delegates to an ArrayOpHandler (this, by default) to handle IR generation for array reads and writes. rmfuhrer 2007-07-12 22:49:55 +0000
  • e523cd7800 New class to encapsulate translator's handling of various array operations (reads, writes). rmfuhrer 2007-07-12 22:48:40 +0000
  • 01f7c2ea9e more simplification logic sjfink 2007-07-12 19:08:11 +0000
  • d7dc11aa87 generalize hackish notion of 'internal' names dolby-oss 2007-07-12 18:15:56 +0000
  • d9dad9f495 generalize hackish notion of 'internal' names dolby-oss 2007-07-12 18:15:27 +0000
  • ce4cdd7f88 generalize hackish notion of 'internal' names dolby-oss 2007-07-12 18:14:26 +0000
  • d80deb4bf0 substitutions based on pattern matching sjfink 2007-07-12 13:57:51 +0000
  • a4f28d1212 more simplifying sjfink 2007-07-12 00:09:15 +0000
  • 12d8bed2b6 add debugging message sjfink 2007-07-11 22:34:08 +0000
  • 3314f2fcfb some refactoring and cleanup sjfink 2007-07-11 22:12:49 +0000
  • 2014b00b11 small comment cleanup sjfink 2007-07-11 21:47:39 +0000
  • a6e4894120 use Hash factories everywhere sjfink 2007-07-11 21:08:35 +0000
  • ca4ca4ddca use Hash factories everywhere sjfink 2007-07-11 21:08:30 +0000
  • d6f9af13f3 use Hash factories everywhere sjfink 2007-07-11 21:08:26 +0000
  • 433b943759 use Hash factories everywhere sjfink 2007-07-11 21:08:21 +0000
  • 059761fb70 use Hash factories everywhere sjfink 2007-07-11 21:08:12 +0000
  • a83b93fd0f use Hash factories everywhere sjfink 2007-07-11 21:07:42 +0000
  • c91caedab6 use Hash factories everywhere sjfink 2007-07-11 21:07:32 +0000
  • 797f7d445f use Hash factories everywhere sjfink 2007-07-11 21:07:19 +0000
  • dcb4b60dee use Hash factories everywhere sjfink 2007-07-11 21:07:13 +0000
  • 31af915002 fix hashCode/equals sjfink 2007-07-11 20:04:41 +0000
  • 6a04d78285 remove silly comment sjfink 2007-07-11 20:04:24 +0000
  • 1e1e574287 misc bug fixes sjfink 2007-07-11 19:47:31 +0000
  • 5b8952c3e4 Updated plugin dependencies for Eclipse 3.3 release. egeay 2007-07-11 19:03:45 +0000
  • 3a6fcf5679 Updated plugin dependencies for Eclipse 3.3 release. egeay 2007-07-11 19:03:41 +0000
  • 155a0f313d Updated plugin dependencies for Eclipse 3.3 release. egeay 2007-07-11 19:03:38 +0000
  • 58eb188aee Updated plugin dependencies for Eclipse 3.3 release. egeay 2007-07-11 19:03:31 +0000
  • 561ccc13e3 more simplification sjfink 2007-07-11 18:45:43 +0000
  • 1f94c82716 suppress a compiler warning sjfink 2007-07-11 18:43:55 +0000
  • 42cb878f27 restructure to allow CGNodes to dwell in more than one CallGraph. lift some functions up from CGNode to CallGraph sjfink 2007-07-11 16:25:06 +0000
  • fd1a1d4cae restructure to allow CGNodes to dwell in more than one CallGraph. lift some functions up from CGNode to CallGraph sjfink 2007-07-11 16:24:58 +0000
  • d72e0a1752 restructure to allow CGNodes to dwell in more than one CallGraph. lift some functions up from CGNode to CallGraph sjfink 2007-07-11 16:24:45 +0000
  • 67d3540b59 restructure to allow CGNodes to dwell in more than one CallGraph. lift some functions up from CGNode to CallGraph sjfink 2007-07-11 16:24:39 +0000
  • fa0c9d98b4 Added file extension support for resolving source files in the classpath. Defaults to "java" for basic Eclipse projects, but can be overriden for other Eclipse projects for other languages. smarkstr 2007-07-11 15:14:19 +0000
  • ed11059c98 more CNF simplification sjfink 2007-07-11 15:03:43 +0000
  • 6542c0eb0f generics cleanups sjfink 2007-07-11 15:03:20 +0000
  • 096729ad2c clean up some comments sjfink 2007-07-11 14:49:11 +0000
  • fb41447efc Fixed the package name and removed unused import. egeay 2007-07-11 13:39:11 +0000
  • da80588f40 first cut at partial callo graph implementation dolby-oss 2007-07-11 12:20:37 +0000
  • c039c173e0 add accessor to test whether a given node is already mapped by a control flow recorder dolby-oss 2007-07-11 12:05:36 +0000
  • d0b38b144c remove pointless comments sjfink 2007-07-10 21:43:21 +0000
  • 74f1c6e9e9 getTerms() and related functionality sjfink 2007-07-10 21:43:00 +0000
  • 0eb0061768 fix typo in comment sjfink 2007-07-10 21:42:27 +0000
  • 1aa25ae96a support for parsing arrays in descriptors sjfink 2007-07-10 16:33:18 +0000
  • 83324d1b5c update svn:ignore sjfink 2007-07-10 16:31:03 +0000
  • e0c8537094 organize imports sjfink 2007-07-10 14:51:18 +0000
  • 078deea908 CNF and related support sjfink 2007-07-10 14:50:20 +0000
  • 56cda5a9e2 bug workaround for troubling control dependence case sjfink 2007-07-10 14:49:40 +0000
  • 2ec2101644 new type inference test sjfink 2007-07-10 14:48:41 +0000
  • 3cefd7fb6b new type inference test sjfink 2007-07-10 14:48:32 +0000
  • c55404d1ff a bug fix in ExpandedControlFlowGraph, and misc. cleanups sjfink 2007-07-09 16:38:08 +0000
  • e9d5490c1e enhance a debugging message sjfink 2007-07-09 16:37:19 +0000
  • 70b22bf4c6 misc slicing related bug fixes sjfink 2007-07-09 15:58:17 +0000
  • 3ad2f328d7 ensure subclasses override equals and hashcode sjfink 2007-07-09 15:51:12 +0000
  • ee561b0e80 just format sjfink 2007-07-09 15:50:40 +0000
  • 4d1d0fc94f fix typo in comment sjfink 2007-07-09 15:50:13 +0000
  • fb99c02c38 turn on assertions sjfink 2007-07-09 15:49:34 +0000
  • 8aa15329d3 organize imports sjfink 2007-07-09 15:49:07 +0000
  • a304c60f79 more type parameters from Manu sjfink 2007-07-07 01:57:47 +0000
  • 39da63410a massive overhaul of Warnings management sjfink 2007-07-06 22:09:29 +0000
  • 99a97fb477 massive overhaul of Warnings management sjfink 2007-07-06 22:09:08 +0000
  • 90512ffb4e massive overhaul of Warnings management sjfink 2007-07-06 22:08:55 +0000
  • 3afac56df2 massive overhaul of Warnings management sjfink 2007-07-06 22:08:41 +0000
  • af822bf0d5 massive overhaul of Warnings management sjfink 2007-07-06 22:08:39 +0000
  • 192f06a387 massive overhaul of Warnings management sjfink 2007-07-06 22:08:34 +0000
  • ba386f24ac massive overhaul of Warnings management sjfink 2007-07-06 22:08:19 +0000
  • 5eb76541f0 massive overhaul of Warnings management sjfink 2007-07-06 22:08:13 +0000
  • cc3303f9ee massive overhaul of Warnings management sjfink 2007-07-06 22:07:33 +0000
  • 10492c7298 massive overhaul of Warnings management sjfink 2007-07-06 22:07:24 +0000
  • 9923041760 clean up some comments sjfink 2007-07-06 15:50:34 +0000
  • 4edd97bdc0 add a comment sjfink 2007-07-06 15:41:41 +0000
  • 9ffe419bb3 new constant value accessors dolby-oss 2007-07-06 15:13:06 +0000
  • da8c93ec1a misc. housekeeping and some slicer bug fixes sjfink 2007-07-06 14:11:24 +0000
  • 4dfe343b67 misc. housekeeping and some slicer bug fixes sjfink 2007-07-06 14:11:20 +0000
  • 4310457e45 misc. housekeeping and some slicer bug fixes sjfink 2007-07-06 14:11:16 +0000
  • b9cb75f490 misc. housekeeping and some slicer bug fixes sjfink 2007-07-06 14:11:06 +0000
  • ae534d2d89 minor housekeeping sjfink 2007-07-06 04:18:16 +0000
  • 91ff8cfe08 miscellaneous housekeeping sjfink 2007-07-06 03:07:49 +0000
  • f3bd02c77b miscellaneous housekeeping sjfink 2007-07-06 03:07:44 +0000
  • 323f72c3fe miscellaneous housekeeping sjfink 2007-07-06 03:07:38 +0000
  • 6a2d703907 miscellaneous housekeeping sjfink 2007-07-06 03:07:32 +0000
  • be145b3838 miscellaneous housekeeping sjfink 2007-07-06 03:07:29 +0000
  • 5d6eb70c5b miscellaneous housekeeping sjfink 2007-07-06 03:07:24 +0000
  • 8864b70d50 miscellaneous housekeeping sjfink 2007-07-06 03:07:14 +0000
  • dd8d708fc3 miscellaneous housekeeping sjfink 2007-07-06 03:06:36 +0000