Commit Graph

56 Commits

Author SHA1 Message Date
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
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
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
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
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
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 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
msridhar1 5fd0909a7d changed execution environment to J2SE1.5. Fixed some warnings.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3113 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-12-02 17:01:50 +00:00
sjfink 66884c2c37 fix Eclipse 3.4.1 compiler warnings
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3100 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-12-01 19:40:43 +00:00
sjfink a405e0666e tweak code format
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2947 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-07-04 01:56:52 +00:00
sjfink ee2fa39179 tweak code format
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2911 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-06-25 14:59:58 +00:00
dolby-oss 871da2979a fix bundle name
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2834 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-23 15:41:23 +00:00
sjfink 041d636139 tweak code format
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2364 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-11 16:50:38 +00:00
sjfink 4ed4b8a63d tweak code formatting for enums
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2341 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-10 16:26:32 +00:00
sjfink 9582754399 tweak code formatting template
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2265 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-03 16:31:21 +00:00
sjfink 65959dc4be revert code compliance level to 5.0
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2208 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-17 18:48:01 +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 b6715a196e exclude abstract test
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2020 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-16 02:04:39 +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 61a75149cf bump up source level to 6.0
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1852 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-11 14:26:04 +00:00
sjfink 52ee5e95a2 set compiler level to 5.0
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1841 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-11 13:43:45 +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 9f8adcd989 small cleanups relating to migration to Eclipse 3.3
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1362 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-05 23:58:03 +00:00
sjfink 7bef92b496 small cleanups relating to migration to Eclipse 3.3
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1360 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-05 23:56:32 +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 de3e9adaea fix name in manifest
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1276 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-13 19:20:08 +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 c64310f3df update cruisecontrol config
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1238 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-03 22:23:28 +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