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

122 Commits

Author SHA1 Message Date
Manu Sridharan f2f65bfbc5 oops, version should be 1.3.7 2015-05-29 13:20:25 -07:00
Manu Sridharan 894f010ff9 version 1.3.8 2015-05-29 12:20:53 -07:00
Manu Sridharan 7ad8700064 update version numbers to 1.3.7-SNAPSHOT everywhere 2015-05-28 10:37:01 -07:00
Julian Dolby c2b62f2ddc newer junit 2015-04-06 10:00:44 -04:00
Julian Dolby 5cc870dd77 fixes to Dalvik support, and work on running Dalvik tests on Travis 2015-02-26 09:34:03 -05:00
Julian Dolby a1bc84356d scandriod merge 2014-10-01 21:32:36 -04:00
Juergen Graf 4772f36d47 add standard type parameter to most pointer analysis references. When it breaks we move back to ? extends InstanceKey. 2014-05-20 22:00:06 +02:00
Juergen Graf ef4513d377 revert PointerAnalysis hack that makes containsAny() and contains() methods in OrdinalSet unusable 2014-05-20 19:52:01 +02:00
Julian Dolby ba9aa51429 print less 2013-12-03 18:07:36 -05:00
Julian Dolby 62729613d7 less printing 2013-12-03 15:20:53 -05:00
Julian Dolby 1cc58c6e2f less printing 2013-12-03 13:09:35 -05:00
Julian Dolby 080325b5f6 merge 2013-06-25 11:57:37 -04:00
Julian Dolby 3015d1c5f9 added container access to ModuleEntry 2013-06-25 11:53:58 -04:00
Manu Sridharan dee324b609 add comment 2013-05-28 15:32:24 -07:00
Manu Sridharan 89803bc90c use updated API for getting library jars 2013-05-28 15:31:30 -07:00
Manu Sridharan 06361377e3 progress on getting polyglot tests to run under maven 2013-05-27 16:34:06 -07:00
Manu Sridharan e6bef253ff Merge branch 'master' into maven 2013-05-02 10:58:55 -07:00
Manu Sridharan 5f18830c3f changes to adjust for lack of null instruction at index 0 2013-04-29 20:34:08 -07:00
Marcel Bruch 7c2d18cd58 [releng] added preliminary maven tycho build support 2013-04-29 13:13:22 +02:00
Manu Sridharan 00eb1d2bd2 Set all projects to build against Java 6; no semantic change. Fixes #20 2013-04-10 16:01:27 -07:00
Julian Dolby 87b856928c fixes for handling parse errors in JS and HTML 2013-03-01 10:07:20 -05:00
Julian Dolby afccdd2189 Annotation support 2013-02-02 21:27:45 -05:00
Manu Sridharan 60db861a5f complete conversion to Unix line endings 2012-09-04 16:05:49 -07:00
Manu Sridharan 56f3d847a5 more conversion to Unix line endings 2012-09-04 15:59:50 -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
dolby 319eacc529 merge changes and changes for atomic sets work 2012-08-29 16:35:34 -04:00
Manu Sridharan 9a0e105e51 fix so that new lexical scheme can be enabled with Java frontends 2012-07-12 10:27:24 -07:00
dolby-oss a9ec87f360 Changes motivated by analysis issues in JavaScript. The main change is that calls of the form f.x() in JavaScript are now analyzed like 'method calls' so that the 'this' pointer in the receiver functions can be filtered based upon the types that actually have the method being invoked. This requires much more dynamic filtering than in a language like Java, since properties like 'x' are simply properties that happen to hold functions, and so can be assigned in a first-class manner. Thus, the filtering needs to handle variance in both the types and the values of their properties; this is implemented as multiple levels of abstract object directed side effect equations in the dataflow system. 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4535 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-03-01 02:45:51 +00:00
msridhar1 59e46916ce Generalize certain IR data structures to be less Java-specific. Generalize annotations code to allow for reading annotation parameters. Various other fixes 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4290 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-12-28 17:03:27 +00:00
msridhar1 857e456806 organize imports 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4081 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-04-03 04:08:05 +00:00
sjfink 3a49f17ebc update code formatting for Eclipse 3.6 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4048 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-02-03 15:14:47 +00:00
dolby-oss 5d1673011a killed obsolete class 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3798 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-01-25 15:01:33 +00:00
dolby-oss 8069fe81d8 fix issues with junit 3 vs. 4 by adding hacking method to get a name like the one junit 3 gives 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3790 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-01-06 13:57:06 +00:00
msridhar1 8025302fd0 update to JUnit 4 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3743 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-07-27 22:48:04 +00:00
dolby-oss cab3c60f7e fixes for JDT-based tests 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3730 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-07-16 18:08:29 +00:00
sjfink a0efbee8ff Major refactoring to introduce com.ibm.wala.ide. Many related changes and patches from Marcelo Paternostro. 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3693 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-06-22 15:06:12 +00:00
sjfink 6f96d41dc2 remove unnecessary InvalidClassFileException declarations 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3618 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-05-29 14:23:29 +00:00
sjfink 9939142eae switch from Assertions._assert to Java assertions 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3555 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-04-30 13:16:52 +00:00
egeay 193fc85cdd - Updated test cases to 1.7 syntax 
- Added one-level directory structure to separate the constructs tested.

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3545 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-04-29 18:17:20 +00:00
egeay f5613864de git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3544 f5eafffb-2e1d-0410-98e4-8ec43c5233c4 2009-04-29 18:13:14 +00:00
dolby-oss e66d5ed88a approximate support for multithreaded code 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3532 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-04-23 18:00:20 +00:00
sjfink 957cb2b8ca deprecate Trace 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3432 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-04-09 20:31:14 +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
sjfink b1cdc4fecf call new factories 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3305 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-03-13 17:06:09 +00:00
sjfink ed13ddbb17 bug fix 2666538: make ClassLoaderReference immutable, and related API fixes 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3302 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-03-13 14:20:35 +00:00
dolby-oss ed52225d4f adapt to core changes 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3230 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-02-19 15:59:33 +00:00
dolby-oss c904bf1e14 fixes to Java source test failures 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3198 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-02-02 18:40:10 +00:00
sjfink 10879ee189 remove unused import 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3172 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-01-14 15:53:05 +00:00
dolby-oss 624fb4c5ae refactor polyglot-based java code in its own projects 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3168 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-01-09 14:12:19 +00:00
sjfink b1f300156e patch from yinnon to make analysis scopes obey list order 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3144 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-12-17 19:52:27 +00:00