• 大小: 0.50M
    文件类型: .zip
    金币: 1
    下载: 0 次
    发布日期: 2021-03-28
  • 语言: 其他
  • 标签: 其他  

资源简介

静态分析工具,可以对java程序进行静态切片,获取相关程序静态信息。

资源截图

代码片段和文件信息

/*******************************************************************************
 * Indus a program analysis and transformation toolkit for Java.
 * Copyright (c) 2001 2007 Venkatesh Prasad Ranganath
 * 
 * All rights reserved.  This program and the accompanying materials are made 
 * available under the terms of the Eclipse Public License v1.0 which accompanies 
 * the distribution containing this program and is available at 
 * http://www.opensource.org/licenses/eclipse-1.0.php.
 * 
 * For questions about the license copyright and software contact 
 *  Venkatesh Prasad Ranganath at venkateshprasad.ranganath@gmail.com
 *                                 
 * This software was developed by Venkatesh Prasad Ranganath in SAnToS Laboratory 
 * at Kansas State University.
 *******************************************************************************/

package edu.ksu.cis.indus.staticanalyses;

import edu.ksu.cis.indus.annotations.Empty;
import edu.ksu.cis.indus.staticanalyses.flow.II

 属性            大小     日期    时间   名称
----------- ---------  ---------- -----  ----
     目录           0  2009-12-20 13:47  indus.staticanalyses\
     目录           0  2007-09-23 20:18  indus.staticanalyses\docs\
     目录           0  2006-05-17 03:22  indus.staticanalyses\docs\ug\
     目录           0  2006-05-17 03:22  indus.staticanalyses\docs\ug\src\
     目录           0  2006-05-17 03:22  indus.staticanalyses\docs\ug\src\images\
     目录           0  2006-05-17 03:22  indus.staticanalyses\src\
     目录           0  2006-05-17 03:22  indus.staticanalyses\src-concurrency\
     目录           0  2006-05-17 03:22  indus.staticanalyses\src-concurrency\edu\
     目录           0  2006-05-17 03:22  indus.staticanalyses\src-concurrency\edu\ksu\
     目录           0  2006-05-17 03:22  indus.staticanalyses\src-concurrency\edu\ksu\cis\
     目录           0  2006-05-17 03:22  indus.staticanalyses\src-concurrency\edu\ksu\cis\indus\
     目录           0  2006-05-17 03:22  indus.staticanalyses\src-concurrency\edu\ksu\cis\indus\staticanalyses\
     目录           0  2006-09-17 03:13  indus.staticanalyses\src-concurrency\edu\ksu\cis\indus\staticanalyses\concurrency\
     目录           0  2007-07-17 01:45  indus.staticanalyses\src-concurrency\edu\ksu\cis\indus\staticanalyses\concurrency\escape\
     目录           0  2006-05-17 03:22  indus.staticanalyses\src-concurrency\edu\ksu\cis\indus\staticanalyses\concurrency\independence\
     目录           0  2006-05-17 03:22  indus.staticanalyses\src-concurrency\edu\ksu\cis\indus\toolkits\
     目录           0  2006-06-28 01:52  indus.staticanalyses\src-concurrency\edu\ksu\cis\indus\toolkits\bandera\
     目录           0  2006-05-17 03:22  indus.staticanalyses\src-dependence\
     目录           0  2006-05-17 03:22  indus.staticanalyses\src-dependence\edu\
     目录           0  2006-05-17 03:22  indus.staticanalyses\src-dependence\edu\ksu\
     目录           0  2006-05-17 03:22  indus.staticanalyses\src-dependence\edu\ksu\cis\
     目录           0  2006-05-17 03:22  indus.staticanalyses\src-dependence\edu\ksu\cis\indus\
     目录           0  2006-05-17 03:22  indus.staticanalyses\src-dependence\edu\ksu\cis\indus\staticanalyses\
     目录           0  2009-11-25 22:22  indus.staticanalyses\src-dependence\edu\ksu\cis\indus\staticanalyses\dependency\
     目录           0  2006-05-17 03:22  indus.staticanalyses\src-dependence\edu\ksu\cis\indus\staticanalyses\dependency\direction\
     目录           0  2006-05-17 03:22  indus.staticanalyses\src-flow\
     目录           0  2006-05-17 03:22  indus.staticanalyses\src-flow\edu\
     目录           0  2006-05-17 03:22  indus.staticanalyses\src-flow\edu\ksu\
     目录           0  2006-05-17 03:22  indus.staticanalyses\src-flow\edu\ksu\cis\
     目录           0  2006-05-17 03:22  indus.staticanalyses\src-flow\edu\ksu\cis\indus\
     目录           0  2006-05-17 03:22  indus.staticanalyses\src-flow\edu\ksu\cis\indus\staticanalyses\
............此处省略286个文件信息

评论

共有 条评论