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

Commit Graph

  • 5ad58dc984 getUnderlyingCFG() renamed to getControlFlowGraph() sjfink 2007-06-06 03:00:45 +0000
  • 398f1e5f98 add some @NonNull annotations sjfink 2007-06-06 02:48:10 +0000
  • 65cc4433cd make some fields final sjfink 2007-06-05 14:01:26 +0000
  • 3beebfc161 make opcode final and associated refactoring sjfink 2007-06-05 01:37:22 +0000
  • 09723fdc2b make some fields final sjfink 2007-06-05 01:17:18 +0000
  • 099da20569 type parameters from Manu sjfink 2007-06-04 12:24:48 +0000
  • d991402a3e make stuff public due to move to different package dolby-oss 2007-06-03 23:35:43 +0000
  • c64310f3df update cruisecontrol config dolby-oss 2007-06-03 22:23:28 +0000
  • 90d49382b5 move call graph shape testing support for generic CAst test project dolby-oss 2007-06-03 21:56:39 +0000
  • c141a659a6 support for testing call graph shapes for multiple languages dolby-oss 2007-06-03 21:54:49 +0000
  • c20ec6e81a remove unnecessary casts sjfink 2007-06-03 21:43:09 +0000
  • cbd2206cfd delete a comment sjfink 2007-06-01 21:50:56 +0000
  • 0119a40be4 make many fields final sjfink 2007-06-01 21:39:03 +0000
  • 8e52444761 make many fields final sjfink 2007-06-01 21:38:35 +0000
  • d263256581 bug fix from recent refactoring sjfink 2007-06-01 18:53:56 +0000
  • 5bb36f7559 git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1230 f5eafffb-2e1d-0410-98e4-8ec43c5233c4 sjfink 2007-06-01 18:50:52 +0000
  • e5e40ab661 1) change implementation of CGNode hierarchy to avoid type parameters. 2) nuke BasicEntrypoints 3) tweak interface to InstanceKeyFactory for constants 4) refactoring for HeadlessWALA application sjfink 2007-06-01 18:50:37 +0000
  • 54e14d22e6 1) change implementation of CGNode hierarchy to avoid type parameters. 2) nuke BasicEntrypoints 3) tweak interface to InstanceKeyFactory for constants 4) refactoring for HeadlessWALA application sjfink 2007-06-01 18:50:31 +0000
  • 56f4bec3ea 1) change implementation of CGNode hierarchy to avoid type parameters. 2) nuke BasicEntrypoints 3) tweak interface to InstanceKeyFactory for constants 4) refactoring for HeadlessWALA application sjfink 2007-06-01 18:50:24 +0000
  • 00f604ee6f 1) adjust somewhat to recent API changes. 2) fix equals() bug in Statement 3) general cleanups sjfink 2007-06-01 14:06:26 +0000
  • a0cfeac136 1) adjust somewhat to recent API changes. 2) fix equals() bug in Statement 3) general cleanups sjfink 2007-06-01 14:06:17 +0000
  • 576251be0c 1) adjust somewhat to recent API changes. 2) fix equals() bug in Statement 3) general cleanups sjfink 2007-06-01 14:06:13 +0000
  • 8bd2aaf0a4 1) adjust somewhat to recent API changes. 2) fix equals() bug in Statement 3) general cleanups sjfink 2007-06-01 14:05:51 +0000
  • cecb1a571d adapt to wala changes for cross-language call graphs dolby-oss 2007-06-01 03:56:07 +0000
  • caab59282a adapt to wala changes for cross-language call graphs dolby-oss 2007-06-01 03:37:25 +0000
  • cb8692477b support for cross-language call graphs dolby-oss 2007-06-01 03:37:03 +0000
  • ba7b7b53ca adapt to wala changes for cross-language call graphs dolby-oss 2007-06-01 03:33:48 +0000
  • 66b19b8666 support for cross-language call graphs dolby-oss 2007-06-01 03:32:56 +0000
  • 8472f026f5 support for cross-language call graphs dolby-oss 2007-06-01 03:31:35 +0000
  • 30f01f77a4 adapt to wala changes for cross-language call graphs dolby-oss 2007-06-01 03:27:41 +0000
  • 0ed8d96d55 Changes to allow cross-language call graphs. The three biggest changes are as follows: 1) The visitors nested in the SSAPropagationCallGraph have become static classes so that they can be reused in a delegation pattern for the cross-language call graph builder. 2) The ClassHierarchy is now encapsulated behind an IClassHierarchy interface to allow for a CrossLanguageClassHierarchy that delegates to a set of child hierarchies, one for each language. The internals of the ClassHierarchy are almost entirely unchanged 3) There is now a new Language interface in com.ibm.wala.classLoader, and all IClassLoader objects have to know what language they load for. This language object now encapsulates a few language-specific options that were previously hacked into the AnalysisOptions object. dolby-oss 2007-06-01 03:26:18 +0000
  • b8cb3a7e13 move here from incubator project sjfink 2007-05-31 17:55:14 +0000
  • 1c2d4c98ca change some Iterators in API to Collections remove some unnecessary WarningSet parameters sjfink 2007-05-31 02:39:01 +0000
  • 93e0e4c06e change some Iterators in API to Collections remove some unnecessary WarningSet parameters sjfink 2007-05-31 02:38:56 +0000
  • 9c58d8e2a8 change some Iterators in API to Collections remove some unnecessary WarningSet parameters sjfink 2007-05-31 02:38:49 +0000
  • 553ee0faea change some Iterators in API to Collections remove some unnecessary WarningSet parameters sjfink 2007-05-31 02:38:28 +0000
  • ea9c4a2f93 eliminate some use of raw types sjfink 2007-05-30 20:52:57 +0000
  • 6f2273f48a eliminate some use of raw types sjfink 2007-05-30 20:52:51 +0000
  • 76aa5bb0ba update comment default sjfink 2007-05-30 19:28:04 +0000
  • 94db32b299 cleanup up some old comments and rename InferGraphRootsImpl to InferGraphRoots sjfink 2007-05-30 19:11:59 +0000
  • ea3caa1e8a mostly clean up old comments. also rename InferGraphRootsImpl to InferGraphRoots sjfink 2007-05-30 19:05:23 +0000
  • e8e0ae5d30 mostly clean up old comments. also rename InferGraphRootsImpl to InferGraphRoots sjfink 2007-05-30 18:59:34 +0000
  • 60058dec8b add @Overrides annotations and nuke unnecessary casts sjfink 2007-05-30 15:42:59 +0000
  • fdb7a17af3 add @Overrides annotations and nuke unnecessary casts sjfink 2007-05-30 15:16:05 +0000
  • 20948ddc00 make some fields final sjfink 2007-05-29 19:26:46 +0000
  • 6c24d936c7 add a @NonNull annotation sjfink 2007-05-29 19:26:20 +0000
  • e7b16b96e3 add a @NonNull annotation sjfink 2007-05-29 19:24:50 +0000
  • d5ed52b095 check a parameter and throw IllegalArgumentException sjfink 2007-05-29 19:24:35 +0000
  • cb57deb039 add some @NonNull annotations sjfink 2007-05-29 17:45:34 +0000
  • 4006f2c6ff changes to search implementation and API sjfink 2007-05-29 17:14:11 +0000
  • 766748b940 more annotations support sjfink 2007-05-29 13:39:14 +0000
  • e6cb8be480 more annotations support sjfink 2007-05-29 13:39:02 +0000
  • 0d83415651 small bug fix in toString() sjfink 2007-05-29 13:13:03 +0000
  • fd42c1839d initial revision sjfink 2007-05-28 00:11:24 +0000
  • 9ba9b164df some annotations sjfink 2007-05-28 00:11:02 +0000
  • e2174bbdde check some parameters sjfink 2007-05-28 00:09:44 +0000
  • 24d1b5f63c Just intconstant(0) for now. schandra_sf 2007-05-27 23:22:33 +0000
  • 435ef30fd6 made constructor protected (was private) schandra_sf 2007-05-27 19:36:56 +0000
  • 8e741a8149 misc cleanup and refactoring sjfink 2007-05-25 19:33:42 +0000
  • af153ec7ff misc cleanup and refactoring sjfink 2007-05-25 19:33:39 +0000
  • b197fe7b8c bug fix in searching. sjfink 2007-05-25 19:32:19 +0000
  • 16938f0f70 getLocalReadKey() is now aware that certain invoke instructions have uses other than parameters and lexical uses (e.g. X10's async invoke instruction, which has a separate use for the "place expr"). rmfuhrer 2007-05-25 16:41:47 +0000
  • a95a541834 New API method added to identify the last lexical use, used when invoke instruction references entities other than parameters and lexical uses (e.g. the "place expr" in X10's async invoke). rmfuhrer 2007-05-25 16:40:54 +0000
  • b0dae9066a Added toString() impl. rmfuhrer 2007-05-25 16:39:08 +0000
  • 6ac22bc251 Fixed typo in fully-qualified class name specifying impl of the source loader. rmfuhrer 2007-05-23 22:55:58 +0000
  • c5f773c230 Made protected the ctor flavor that takes args providing value #'s for lexically-scoped reads/writes, so that derived classes (e.g. X10's AsyncInvokeInstruction) can call super as needed. rmfuhrer 2007-05-23 22:54:56 +0000
  • bc67070903 small API cleanups sjfink 2007-05-23 14:11:10 +0000
  • 3a07a1a1f7 misc. cleanups and refactoring sjfink 2007-05-23 13:43:11 +0000
  • afc1dc0a59 misc. cleanups and refactoring sjfink 2007-05-23 13:42:58 +0000
  • 44e81fe29f misc. cleanups and refactoring sjfink 2007-05-23 13:42:47 +0000
  • e2346dbd86 misc. cleanups and refactoring sjfink 2007-05-23 13:42:40 +0000
  • 59822957c9 bug fix in getField() sjfink 2007-05-23 13:42:04 +0000
  • 42e43625cd more argument checking sjfink 2007-05-22 02:26:58 +0000
  • 637bdaf379 more argument checking sjfink 2007-05-22 02:26:40 +0000
  • 85ad6cd850 Added getter for currentHops. Can be used for checking the max number of hops (from root) actually taken by the search. loginov 2007-05-21 21:26:50 +0000
  • 8fa7138418 Added convenience method format(String, Object...). loginov 2007-05-21 21:24:06 +0000
  • b49c1314db processExit() no longer assumes that null return successor can only happen for fakeRootMethod. loginov 2007-05-21 21:22:32 +0000
  • bcf4329024 delegate hashCode() and equals() sjfink 2007-05-21 16:19:55 +0000
  • 21225dc6ea some verbose messages for temp. debugging sjfink 2007-05-21 16:19:37 +0000
  • 74aaeac399 more argument checking sjfink 2007-05-21 16:04:40 +0000
  • d6a14bae3e more argument checking sjfink 2007-05-21 16:04:32 +0000
  • f2f40b3d4e more argument checking sjfink 2007-05-21 16:04:27 +0000
  • 8b9f6df8fe made constructor protected (was private) schandra_sf 2007-05-20 17:46:24 +0000
  • 7a5b1b8915 misc. cleanups and refactorings sjfink 2007-05-18 17:30:59 +0000
  • 448741b9d3 misc. cleanups and refactorings sjfink 2007-05-18 17:30:49 +0000
  • ba4c5f36bd more IllegalArgumentExceptions sjfink 2007-05-17 20:27:37 +0000
  • d3c8d535c0 more IllegalArgumentExceptions sjfink 2007-05-17 20:27:33 +0000
  • b5e513cf3e more IllegalArgumentExceptions sjfink 2007-05-17 20:27:28 +0000
  • 57477189ea promote some basic eclipse functions into wala.core sjfink 2007-05-17 14:12:25 +0000
  • 3512d5e0aa promote some basic eclipse functions into wala.core sjfink 2007-05-17 14:12:20 +0000
  • f320c06ba9 promote some basic eclipse functions into wala.core sjfink 2007-05-17 14:12:05 +0000
  • db4d2da065 added Byte case in getConstantValue of AbstractScope mkogane 2007-05-17 02:41:25 +0000
  • a946870b21 small cleanups for TypeInference sjfink 2007-05-16 19:32:02 +0000
  • d0cd43898f small cleanups for TypeInference sjfink 2007-05-16 19:31:57 +0000
  • c370805c48 small cleanups for TypeInference sjfink 2007-05-16 19:31:47 +0000
  • 81a5de4366 mark a method deprecated sjfink 2007-05-16 19:23:50 +0000
  • 2d7c2240de more hardening against malicious inputs sjfink 2007-05-16 18:58:43 +0000
  • 36dd8e9329 more hardening against malicious inputs sjfink 2007-05-16 18:58:31 +0000
  • ea6466127f more hardening against malicious inputs sjfink 2007-05-16 18:58:28 +0000
  • 2abd04766b generalizations from alexey sjfink 2007-05-16 02:34:01 +0000