legato:Legato是一种静态分析,用于发现动态资源使用中的错误

时间:2024-05-30 08:26:38
【文件属性】:

文件名称: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


网友评论