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

25 Commits

Author SHA1 Message Date
Julian Dolby 3156f03145 more CPA work 2016-09-19 13:51:18 -04:00
Julian Dolby 26f5254e3e more support for Java 7: 
analysis now understands and propagates MethodHandle objects
  fixes to Shrike InvokeDynamic instruction


Former-commit-id: fb826f124423bcbca08f729cee1794fbda711d16
 2014-08-07 16:02:48 -04:00
Manu Sridharan 3b1889121b add missing copyright headers 2013-05-22 15:39:19 -07:00
Manu Sridharan 256cd06460 Convert all Java source files to use Unix line endings; no semantic change 2012-09-04 15:56:05 -07:00
msridhar1 53294397f8 javadoc, formatting 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4128 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-04-20 22:31:27 +00:00
omertripp 680dd54c1b MAINT: 
- switched from the privileged 'isObjectType()' interface to querying the root type.
	- also made other overload of getLeastCommonSuperclass() language-based.


git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3680 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-06-12 19:07:59 +00:00
omertripp c77ddd3dd4 FEAT: - refactored the ClassHierarchy code for computing the least superclass to be language-based, instead of Java-specific. 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3661 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-06-12 14:40:56 +00:00
dolby-oss e85f813477 work on generalizing type inference 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3625 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-06-03 18:24:46 +00:00
omertripp e6b5264156 MAINT: - extended the Language interface to allow more queries on language-specific types. 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3621 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-06-01 08:35:05 +00:00
dolby-oss c707604d22 beginnings of support for handling indirect references (e.g. access via pointers) to the SSA values in the IR. Currently, pushed through Shrike but with only the beginnings in core. Also, not yet integrated with the way lexical scoping works in CAst, which ought to be fixed 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3606 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-05-20 18:59:53 +00:00
omertripp 093cc5a927 FEAT: - type inference is now language-agnostic. 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3600 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-05-19 20:30:32 +00:00
omertripp b3c992d620 MAINT: - added isVoidType() query to Language interface. 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3576 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-05-07 10:57:45 +00:00
sjfink 1b84d0fcc4 comments 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3526 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-04-22 19:27:52 +00:00
sjfink 77101da20f misc. cleanups 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3434 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-04-10 19:48:32 +00:00
dolby-oss e80dc6ef8c refactor handling of constants in Shrike to abstract away from Java bytecode 
introduce factories to create SSAInstruction objects


git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3433 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-04-10 18:33:07 +00:00
dolby-oss b2bae33bab generalize parsing of Descriptors to also handle languages other than Java 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3366 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-03-26 15:11:45 +00:00
dolby-oss b61135c8be adapt to Shrike changes: divorce SSAInstruction from the Shrike Instruction, which requires adding a type parameter to ControlFlowGraph and propagating that change. Also, stop using the JVML opcode in a few places where it was (unnecessarily) being used. 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3227 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-02-19 15:58:31 +00:00
dolby-oss 4da002f47c adapt to different notions of exception types for different languages 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2931 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-06-30 14:07:35 +00:00
sjfink 75bfab8605 support for Constructor.newInstance() 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2600 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-02-21 18:44:22 +00:00
sjfink e6a904b715 just refactoring ... introduce 2 new packages in wala.util. 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2446 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-01-24 22:05:28 +00:00
schandra_sf 1293d730f9 Getting rid of @Overrides 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2123 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-12-06 22:24:05 +00:00
rmfuhrer da1ac21d12 Added API to Language for representing the hierarchy of languages, which is necessary for WALA ClassLoaders to correlate loaders to Languages and know which languages share a ClassHierarchy. 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2110 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-12-06 14:31:45 +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 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

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1227 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-06-01 18:50:24 +00:00
dolby-oss 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.


git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1212 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-06-01 03:26:18 +00:00