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

37 Commits

Author SHA1 Message Date
Julian Dolby dd3124479e allow control flow in induced cfgs, and various related fixes 2014-07-08 14:44:06 -04:00
Julian Dolby 080325b5f6 merge 2013-06-25 11:57:37 -04:00
Manu Sridharan 3b1889121b add missing copyright headers 2013-05-22 15:39:19 -07:00
dolby dfe06b8ff3 changes to Web source mapping to exploit rhino 1.7R3 source offsets 2012-05-08 13:17:01 -04:00
dolby-oss 99564d6e06 strengthen checking of argument specialization test 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4533 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-23 18:15:05 +00:00
dolby-oss 10012b9792 fix warning; make assertion failure more verbose 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4523 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-21 13:47:01 +00:00
msridhar1 a3826f23a8 refactoring: rename some Util classes 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4492 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-17 20:21:59 +00:00
msridhar1 d419096ddb Committing change the Eclipse plugin forgot. 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4419 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:52:40 +00:00
msridhar1 3e4e4836e2 allow for clearing error messages to free memory 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4225 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-07-22 15:58:41 +00:00
dolby-oss 4da02a9125 Changes to extend supported context sensitivity to CPA-style: 
1) extend ContextSelector interface to allow it to specify parameters of interest
  2) extend filtering mechanism at call sites to allow CPA-style filtering when requested by contexts
  3) various related fixes and extensions:
    a) removed redundant code to handle dispatch for JavaScript, so now it shares the core mechanism
    b) tighten types for operators that take an array of args - now the array is T[] at the cost of a few array allocation methods
    c) a bit more support for empty int sets
    d) void function objects
    e) bug fixes for lexical scoping support, and adaptation to work with core dispatch mechanism
    f) example of CPA-style sensitivity to handle nastiness in a JavaScript for(.. in ...) loop
    

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4150 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-04-27 13:58:56 +00:00
dolby-oss 67d26e74c5 allow IR translator to give warnings and errors via the loader 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4125 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-04-14 01:16:36 +00:00
dolby-oss 9006fce690 some bug fixes to CAst IR generation, especially in handling exceptions 
cleanup of how JDT analysis engines work, to make using the JDT front end more modular
bug foxes to JavaScript handling, most notably fixing scoping of functions

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4123 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-04-13 16:27:15 +00:00
dolby-oss 2f5a769df9 updates to processing of Web pages: 
1) adopted the code from Rational for HTML handling
    i) extended it to integrate better source mapping into IR
    ii) integrated fixes from the old html processing to collect more info on forms
    iii) added some copyright comments
  2) updated version of jericho
  3) added support for nu.validator for html5
  4) added script to fetch html parser jars, and removed binary jar
  

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4095 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-04-04 15:29:53 +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
yinnon_haviv 38f8a44044 Fix prototype contamination bug (described in added test). 
When someone writes: 
MyFunction.prototype.myMethod = ...
we want "myMethod" to be accessible only for objects of type "MyFunction".

- Change how generated ctors look like - now they have a private prototype object into which methods can be added
- Change the PropertyReadExpander to have a different handling when reading the "prototype" field, avoid performing a loop on the prototype chain, so that the points to set of fetched field will be accurate (and allow us to set only the fields of it)


git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3959 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-10-02 19:30:03 +00:00
yinnon_haviv 1d4d158de3 Replace manual creating of URL (using, e.g., "file:" + f.getAbsolutePath() ) with progrematic one. 
(File.toURI().toURL()). Good for cross platform (Mac vs. Windows)

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3953 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-09-28 16:22:08 +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 7c5db2241f clean up printing a bit 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3629 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-06-03 18:27:39 +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
sjfink 829145e97b Nuke ClassHierarchyException from IClass.getSuperclass() 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3539 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-04-28 19:52:34 +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 8d3c76715c misc. fixes motivated by JavaScript 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3175 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-01-19 15:12:39 +00:00
dolby-oss 991bd6052f further work on lexical scoping 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3137 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-12-16 14:57:18 +00:00
sjfink 1ab977fd1c organize imports 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2144 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-12-10 05:35:23 +00:00
dolby-oss 446a6551fe make CAstTranslatorTest work with new Language scheme 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2140 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-12-10 05:27:32 +00:00
dolby-oss 35c2b24881 a little more trace output 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2132 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-12-10 04:27:53 +00:00
sjfink 0c6c55573e delete redundant method CGNode.iterateSites() 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2061 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-11-20 15:50:10 +00:00
sjfink 254642d572 misc cleanups 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2049 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-11-16 21:01:09 +00:00
dolby-oss 329c19e679 refactoring to bring reusable test code out of the PHP projects 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2018 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-11-16 01:53:34 +00:00
sjfink dcb4b60dee use Hash factories everywhere 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1433 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-07-11 21:07:13 +00:00
sjfink 67d3540b59 restructure to allow CGNodes to dwell in more than one CallGraph. lift some functions up from CGNode to CallGraph 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1419 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-07-11 16:24:39 +00:00
sjfink af822bf0d5 massive overhaul of Warnings management 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1385 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-07-06 22:08:39 +00:00
sjfink 04e7807ce5 delete CallGraph.getInterpreter() and CFGProvider 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1344 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-07-05 03:04:43 +00:00
dolby-oss d991402a3e make stuff public due to move to different package 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1239 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-06-03 23:35:43 +00:00
dolby-oss c141a659a6 support for testing call graph shapes for multiple languages 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1236 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-06-03 21:54:49 +00:00
sjfink 001c9f8142 misc. cleanups 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@801 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-02-27 18:17:38 +00:00
dolby-oss be081160a9 git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@626 f5eafffb-2e1d-0410-98e4-8ec43c5233c4 2007-02-02 17:29:34 +00:00