資源簡介
靜態分析工具,可以對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個文件信息
- 上一篇:burg算法講解和實現.doc
- 下一篇:自動循環控制(.mwp)
評論
共有 條評論