文件名称:legato:Legato是一种静态分析,用于发现动态资源使用中的错误
文件大小:31.64MB
文件格式:ZIP
更新时间:2024-05-30 08:26:38
Java
Legato用户指南 要求 要构建和运行主要的Legato工具,至少需要Gradle版本4.0和Java7。要使用本自述文件中描述的python脚本,您还需要以下python软件包: y 金贾 色素 剖析 麻木 术语颜色 要使用servlet生成和存根,您还需要Tomcat 7。 设置 如果您打算使用下面介绍的包装器脚本,则必须提供一个Legato设置配置。 在util/目录中创建文件legato_env.py 。 此模块应包含以下*常量: TOMCAT_BIN :一个字符串,表示到Tomcat 7安装的二进制文件夹的绝对路径,例如/usr/share/tomcat7/bin/ TOMCAT_LIB :Tomcat 7安装的库文件夹的路径,例如/user/share/comcat7/lib/ SOURCE_DIR :指向包含要分析的程序的公共源文件夹的路径。 在扩展Servle