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

3116 Commits

Author SHA1 Message Date
msridhar1 2d6f56893c trying to update build.xml 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3846 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-05-21 16:28:13 +00:00
dolby-oss 8deb9a2814 fix really silly error 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3845 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-05-20 15:53:42 +00:00
msridhar1 cdbaa7a2ac added failing test for type inference regression 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3844 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-05-19 21:09:09 +00:00
msridhar1 460477e074 fix bug in PDG contruction for a case involving infeasible bytecodes; add corresponding test 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3843 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-05-17 16:57:52 +00:00
msridhar1 42d36f6b55 add a test, fix some warnings 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3842 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-05-16 15:20:41 +00:00
msridhar1 fd15101eb9 add NO_EXCEPTIONS data dependence option 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3841 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-05-16 15:20:13 +00:00
msridhar1 f8b56e13ec more launcher fixes 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3840 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-05-13 22:10:18 +00:00
msridhar1 64db83538f delete duplicate launchers. Fix SWTTypeHierarchy launcher. 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3839 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-05-13 21:58:58 +00:00
msridhar1 e56da5d61d update IFDSExplorerExample launcher to include com.ibm.wala.core.testdata dependencies 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3838 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-05-13 21:47:00 +00:00
msridhar1 b8dff38da0 remove dependence on com.ibm.wala.core.testdata 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3837 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-05-13 21:44:14 +00:00
msridhar1 248db587a9 add IFDSExplorerExample 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3836 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-05-12 22:58:32 +00:00
msridhar1 133bd80a7e added some javadoc 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3835 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-05-12 22:40:42 +00:00
msridhar1 d6f7f6d21a fix javadoc 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3834 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-05-12 18:33:28 +00:00
msridhar1 447823c629 kill unused supportRefinement option 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3833 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-05-12 18:30:55 +00:00
msridhar1 b8ecc8d48a nuked ReflectionSpecification 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3832 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-05-12 17:19:54 +00:00
msridhar1 c6096ddfd9 fix typo 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3831 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-05-11 21:08:06 +00:00
msridhar1 c8fba1cb0b fix some comments / javadoc 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3829 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-05-07 15:35:26 +00:00
msridhar1 9dfe21c864 bug fix: inconsistent heap models were being used 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3828 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-05-06 19:27:44 +00:00
msridhar1 f76602dbfb clean up interface for creating a DemandRefinementPointsTo class, and make the internal ThisFilteringHeapModel package visible 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3827 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-30 17:13:14 +00:00
msridhar1 f01fae7482 delete some commented code 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3826 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-30 17:12:17 +00:00
msridhar1 dd61495632 add comments 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3825 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-29 14:13:59 +00:00
msridhar1 e25b29ed48 added documentation 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3824 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-28 20:00:20 +00:00
dolby-oss 2e724aac3e fixes for JavaScript motivated by Web examples 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3823 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-28 19:38:28 +00:00
dolby-oss a4d157480d adapt to checkcast change 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3822 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-28 19:36:52 +00:00
dolby-oss be5edcae8b use latest cache interface 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3821 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-28 19:36:22 +00:00
dolby-oss f2a390d485 adapt to checkcast change 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3820 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-28 19:35:53 +00:00
dolby-oss 3c8c5e2059 clean up @author 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3819 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-28 19:35:34 +00:00
dolby-oss e0ef61507c fix for 1.6 on mac 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3818 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-28 19:35:14 +00:00
dolby-oss 00871016cb adapt to checkcast change 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3817 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-28 19:33:34 +00:00
dolby-oss c3ea5a8a86 generalize checkcast to take multiple types, with the intended semantics being an object must be one or more of those types 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3816 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-28 19:32:20 +00:00
msridhar1 fe13a2d35b several variants of reaching defs analysis, including test class and a bit of test data. still needs better documentation 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3815 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-28 16:53:07 +00:00
msridhar1 05499a6d15 add a standard flow function that kills everything. Fix a typo in IdentityFlowFunction.toString() 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3814 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-28 16:46:12 +00:00
msridhar1 8b693ef246 add a method for getting a method's IR directly; useful for clients that don't build a call graph 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3813 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-28 15:30:11 +00:00
msridhar1 536500c767 supergraph implementation over an ExplodedInterproceduralCFG 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3812 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-28 15:26:44 +00:00
msridhar1 1d22d712b8 patch from Juergen Graf: handle case where entry block has multiple instructions 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3811 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-26 16:16:15 +00:00
msridhar1 c1860e180c move around some utility methods 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3810 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-24 18:12:17 +00:00
msridhar1 f35d4de0d8 javadoc fix 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3809 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-23 22:39:17 +00:00
dolby-oss b7a6299afb change a test to handle differing heap deps in different versions of the std lib 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3808 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-21 14:46:12 +00:00
msridhar1 19bcb326a4 slicer bug fix: properly include the actual call statement (along with various PARAM_CALLER statements) in the set of call statements 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3807 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-19 23:03:47 +00:00
msridhar1 6b9ec42cb8 javadoc / formatting fixes 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3806 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-07 17:11:13 +00:00
msridhar1 cab2bcfd07 add an example of constructing IRs and use of ReferenceCleanser 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3805 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-03-15 22:58:41 +00:00
sartzi 4cda34d1e4 adding java.lang.enum to the existing TypeReference 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3804 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-03-05 22:04:22 +00:00
msridhar1 9e95053a59 add / fix some docs 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3803 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-02-21 23:09:28 +00:00
sjfink cea1d68710 exlude org.netbeans.* and org.openide.* 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3802 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-02-11 15:19:27 +00:00
sjfink 8bff008a30 patch from Y. Haviv to optimize getResult() 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3801 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-02-11 15:19:13 +00:00
msridhar1 b06e912f71 add support for some context-sensitive queries 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3799 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-01-26 20:53:40 +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
sjfink 41a5a9657f tweak some comments 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3797 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-01-25 14:59:42 +00:00
msridhar1 d6252c481c refactoring to enable context-sensitive queries 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3796 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-01-23 18:54:15 +00:00
msridhar1 b384fc08e6 remove dead code 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3795 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-01-23 18:53:50 +00:00