文件名称:indus.javaslicer-src-20091220
-
所属分类：
- 标签属性：
- 上传时间：2012-11-16
-
文件大小：238.46kb
-
已下载：0次
-
提 供 者：
-
相关连接：无
-
下载说明：别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容来自于网络，使用问题请自行百度
基于Indus项目实现的JavaSlicer，可以对Java源程序进行Static Slicing，附带一个CLI界面。-Indus Project achieve the JavaSlicer of Static slicing of Java source code and comes with a CLI interface.
(系统自动生成,下载前可以参看下载内容)
下载文件列表
indus.javaslicer/
indus.javaslicer/auxiliary/
indus.javaslicer/docs/
indus.javaslicer/docs/ug/
indus.javaslicer/docs/ug/build/
indus.javaslicer/docs/ug/dist/
indus.javaslicer/docs/ug/src/
indus.javaslicer/docs/ug/src/images/
indus.javaslicer/src/
indus.javaslicer/src-test/
indus.javaslicer/src-test/edu/
indus.javaslicer/src-test/edu/ksu/
indus.javaslicer/src-test/edu/ksu/cis/
indus.javaslicer/src-test/edu/ksu/cis/indus/
indus.javaslicer/src-test/edu/ksu/cis/indus/tools/
indus.javaslicer/src-test/edu/ksu/cis/indus/tools/slicer/
indus.javaslicer/src-xml/
indus.javaslicer/src-xml/edu/
indus.javaslicer/src-xml/edu/ksu/
indus.javaslicer/src-xml/edu/ksu/cis/
indus.javaslicer/src-xml/edu/ksu/cis/indus/
indus.javaslicer/src-xml/edu/ksu/cis/indus/tools/
indus.javaslicer/src-xml/edu/ksu/cis/indus/tools/slicer/
indus.javaslicer/src/edu/
indus.javaslicer/src/edu/ksu/
indus.javaslicer/src/edu/ksu/cis/
indus.javaslicer/src/edu/ksu/cis/indus/
indus.javaslicer/src/edu/ksu/cis/indus/slicer/
indus.javaslicer/src/edu/ksu/cis/indus/slicer/transformations/
indus.javaslicer/src/edu/ksu/cis/indus/toolkits/
indus.javaslicer/src/edu/ksu/cis/indus/toolkits/bandera/
indus.javaslicer/src/edu/ksu/cis/indus/tools/
indus.javaslicer/src/edu/ksu/cis/indus/tools/slicer/
indus.javaslicer/src/edu/ksu/cis/indus/tools/slicer/contextualizers/
indus.javaslicer/src/edu/ksu/cis/indus/tools/slicer/criteria/
indus.javaslicer/src/edu/ksu/cis/indus/tools/slicer/criteria/generators/
indus.javaslicer/src/edu/ksu/cis/indus/tools/slicer/criteria/predicates/
indus.javaslicer/src/edu/ksu/cis/indus/tools/slicer/criteria/specification/
indus.javaslicer/src/edu/ksu/cis/indus/tools/slicer/processing/
indus.javaslicer/LICENSE.TXT
indus.javaslicer/antbuild.properties
indus.javaslicer/auxiliary/bandera_slicerConfig_JiBXBinding.xml
indus.javaslicer/auxiliary/sliceCriteria_JiBXBinding.xml
indus.javaslicer/auxiliary/slicehtml.xsl
indus.javaslicer/auxiliary/slicerConfig.xsd
indus.javaslicer/auxiliary/slicerConfig_JiBXBinding.xml
indus.javaslicer/build.xml
indus.javaslicer/docs/RELEASE_NOTES.txt
indus.javaslicer/docs/ug/build.properties
indus.javaslicer/docs/ug/src/images/architecture.fig
indus.javaslicer/docs/ug/src/images/architecture.png
indus.javaslicer/docs/ug/src/images/configuration.png
indus.javaslicer/docs/ug/src/images/design.fig
indus.javaslicer/docs/ug/src/images/design.png
indus.javaslicer/docs/ug/src/main.xml
indus.javaslicer/prelocalbuild.xml
indus.javaslicer/src-test/edu/ksu/cis/indus/tools/slicer/SlicerRegressionTestSuite.java
indus.javaslicer/src-test/edu/ksu/cis/indus/tools/slicer/SlicerTest.properties
indus.javaslicer/src-test/edu/ksu/cis/indus/tools/slicer/SlicerTestSetup.java
indus.javaslicer/src-test/edu/ksu/cis/indus/tools/slicer/XMLBasedSlicerTest.java
indus.javaslicer/src-xml/edu/ksu/cis/indus/tools/slicer/SliceXMLizerCLI.java
indus.javaslicer/src-xml/edu/ksu/cis/indus/tools/slicer/TagBasedSliceXMLizer.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/AbstractSliceCriterion.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/BackwardSlicingPart.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/CompleteSlicingPart.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/CriteriaSpecHelper.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/DependenceExtractor.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/ExprLevelSliceCriterion.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/ForwardSlicingPart.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/IDirectionSensitivePartOfSlicingEngine.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/ISliceCriterion.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/MethodLevelSliceCriterion.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/SliceCollector.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/SliceCriteriaFactory.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/SliceGotoProcessor.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/SliceType.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/SlicingEngine.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/StmtLevelSliceCriterion.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/package.html
indus.javaslicer/src/edu/ksu/cis/indus/slicer/transformations/ExecutableSlicePostProcessorAndModifier.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/transformations/TagBasedDestructiveSliceResidualizer.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/transformations/package.html
indus.javaslicer/src/edu/ksu/cis/indus/toolkits/bandera/SlicerConfiguration.java
indus.javaslicer/src/edu/ksu/cis/indus/toolkits/bandera/SlicerConfigurationView.java
indus.javaslicer/src/edu/ksu/cis/indus/toolkits/bandera/SlicerTool.java
indus.javaslicer/src/edu/ksu/cis/indus/toolkits/bandera/bandera_slicerConfig.xsd
indus.javaslicer/src/edu/ksu/cis/indus/toolkits/bandera/bandera_slicer_configuration.xml
indus.javaslicer/src/edu/ksu/cis/indus/toolkits/bandera/package.html
indus.javaslicer/src/edu/ksu/cis/indus/tools/slicer/SlicerConfiguration.java
indus.javaslicer/src/edu/ksu/cis/indus/tools/slicer/SlicerConfigurator.java
indus.javaslicer/src/edu/ksu/cis/indus/tools/slicer/SlicerTool.java
indus.jav
indus.javaslicer/auxiliary/
indus.javaslicer/docs/
indus.javaslicer/docs/ug/
indus.javaslicer/docs/ug/build/
indus.javaslicer/docs/ug/dist/
indus.javaslicer/docs/ug/src/
indus.javaslicer/docs/ug/src/images/
indus.javaslicer/src/
indus.javaslicer/src-test/
indus.javaslicer/src-test/edu/
indus.javaslicer/src-test/edu/ksu/
indus.javaslicer/src-test/edu/ksu/cis/
indus.javaslicer/src-test/edu/ksu/cis/indus/
indus.javaslicer/src-test/edu/ksu/cis/indus/tools/
indus.javaslicer/src-test/edu/ksu/cis/indus/tools/slicer/
indus.javaslicer/src-xml/
indus.javaslicer/src-xml/edu/
indus.javaslicer/src-xml/edu/ksu/
indus.javaslicer/src-xml/edu/ksu/cis/
indus.javaslicer/src-xml/edu/ksu/cis/indus/
indus.javaslicer/src-xml/edu/ksu/cis/indus/tools/
indus.javaslicer/src-xml/edu/ksu/cis/indus/tools/slicer/
indus.javaslicer/src/edu/
indus.javaslicer/src/edu/ksu/
indus.javaslicer/src/edu/ksu/cis/
indus.javaslicer/src/edu/ksu/cis/indus/
indus.javaslicer/src/edu/ksu/cis/indus/slicer/
indus.javaslicer/src/edu/ksu/cis/indus/slicer/transformations/
indus.javaslicer/src/edu/ksu/cis/indus/toolkits/
indus.javaslicer/src/edu/ksu/cis/indus/toolkits/bandera/
indus.javaslicer/src/edu/ksu/cis/indus/tools/
indus.javaslicer/src/edu/ksu/cis/indus/tools/slicer/
indus.javaslicer/src/edu/ksu/cis/indus/tools/slicer/contextualizers/
indus.javaslicer/src/edu/ksu/cis/indus/tools/slicer/criteria/
indus.javaslicer/src/edu/ksu/cis/indus/tools/slicer/criteria/generators/
indus.javaslicer/src/edu/ksu/cis/indus/tools/slicer/criteria/predicates/
indus.javaslicer/src/edu/ksu/cis/indus/tools/slicer/criteria/specification/
indus.javaslicer/src/edu/ksu/cis/indus/tools/slicer/processing/
indus.javaslicer/LICENSE.TXT
indus.javaslicer/antbuild.properties
indus.javaslicer/auxiliary/bandera_slicerConfig_JiBXBinding.xml
indus.javaslicer/auxiliary/sliceCriteria_JiBXBinding.xml
indus.javaslicer/auxiliary/slicehtml.xsl
indus.javaslicer/auxiliary/slicerConfig.xsd
indus.javaslicer/auxiliary/slicerConfig_JiBXBinding.xml
indus.javaslicer/build.xml
indus.javaslicer/docs/RELEASE_NOTES.txt
indus.javaslicer/docs/ug/build.properties
indus.javaslicer/docs/ug/src/images/architecture.fig
indus.javaslicer/docs/ug/src/images/architecture.png
indus.javaslicer/docs/ug/src/images/configuration.png
indus.javaslicer/docs/ug/src/images/design.fig
indus.javaslicer/docs/ug/src/images/design.png
indus.javaslicer/docs/ug/src/main.xml
indus.javaslicer/prelocalbuild.xml
indus.javaslicer/src-test/edu/ksu/cis/indus/tools/slicer/SlicerRegressionTestSuite.java
indus.javaslicer/src-test/edu/ksu/cis/indus/tools/slicer/SlicerTest.properties
indus.javaslicer/src-test/edu/ksu/cis/indus/tools/slicer/SlicerTestSetup.java
indus.javaslicer/src-test/edu/ksu/cis/indus/tools/slicer/XMLBasedSlicerTest.java
indus.javaslicer/src-xml/edu/ksu/cis/indus/tools/slicer/SliceXMLizerCLI.java
indus.javaslicer/src-xml/edu/ksu/cis/indus/tools/slicer/TagBasedSliceXMLizer.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/AbstractSliceCriterion.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/BackwardSlicingPart.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/CompleteSlicingPart.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/CriteriaSpecHelper.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/DependenceExtractor.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/ExprLevelSliceCriterion.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/ForwardSlicingPart.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/IDirectionSensitivePartOfSlicingEngine.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/ISliceCriterion.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/MethodLevelSliceCriterion.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/SliceCollector.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/SliceCriteriaFactory.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/SliceGotoProcessor.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/SliceType.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/SlicingEngine.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/StmtLevelSliceCriterion.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/package.html
indus.javaslicer/src/edu/ksu/cis/indus/slicer/transformations/ExecutableSlicePostProcessorAndModifier.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/transformations/TagBasedDestructiveSliceResidualizer.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/transformations/package.html
indus.javaslicer/src/edu/ksu/cis/indus/toolkits/bandera/SlicerConfiguration.java
indus.javaslicer/src/edu/ksu/cis/indus/toolkits/bandera/SlicerConfigurationView.java
indus.javaslicer/src/edu/ksu/cis/indus/toolkits/bandera/SlicerTool.java
indus.javaslicer/src/edu/ksu/cis/indus/toolkits/bandera/bandera_slicerConfig.xsd
indus.javaslicer/src/edu/ksu/cis/indus/toolkits/bandera/bandera_slicer_configuration.xml
indus.javaslicer/src/edu/ksu/cis/indus/toolkits/bandera/package.html
indus.javaslicer/src/edu/ksu/cis/indus/tools/slicer/SlicerConfiguration.java
indus.javaslicer/src/edu/ksu/cis/indus/tools/slicer/SlicerConfigurator.java
indus.javaslicer/src/edu/ksu/cis/indus/tools/slicer/SlicerTool.java
indus.jav