test Symbolic Execution-03-Soot - A Java optimization framework

这篇具有很好参考价值的文章主要介绍了test Symbolic Execution-03-Soot - A Java optimization framework。希望对大家有所帮助。如果存在错误或未考虑完全的地方,请大家不吝赐教,您也可以点击"举报违法"按钮提交疑问。

拓展阅读

开源 Auto generate mock data for java test.(便于 Java 测试自动生成对象信息)

开源 Junit performance rely on junit5 and jdk8+.(java 性能测试框架。性能测试。压测。测试报告生成。)

test fuzz-01-模糊测试(Fuzz Testing)

Soot

重要提示:Soot现已由SootUp接替!

在2022年12月,我们正式发布了SootUp,这是Soot的一个版本,具有完全经过重新设计的、更模块化、可测试、可维护和可用的架构。如果您想要开始一个新的程序分析项目,请查看一下。

Soot现已支持Java 9模块!
尝试并参与Soot的Java 9最新开发。

已经测试并且可用的有:

  • 自动模块(从模块路径中的jar自动创建的模块)
  • 命名模块
  • 爆炸式模块
  • 模块化的jar文件
  • 在Soot的ModuleScene中解析模块
  • Spark

目前尚未实现的有:

  • 匿名模块(混合模块路径和类路径)
  • 多模块的jar文件

什么是Soot?

Soot是一个Java优化框架。

它提供了四种用于分析和转换Java字节码的中间表示:

  1. Baf:一个简化的字节码表示,易于操作。
  2. Jimple:一个适用于优化的带类型的3地址中间表示。
  3. Shimple:Jimple的SSA变体。
  4. Grimp:适用于反编译和代码检查的Jimple的聚合版本。

详细信息请参阅 https://soot-oss.github.io/soot。

如何开始使用Soot?

我们在wiki上提供了一些关于Soot的文档,还有许多关于Soot的教程。

有关详细信息,请考虑查阅Soot的JavaDoc和选项文档。

将Soot包含到您的项目中

每次提交到主分支(master)时,都会构建一个Soot发布版本。

您可以通过Maven、Gradle、SBT等工具使用以下坐标将Soot作为依赖项引入项目:

<dependencies>
  <dependency>
    <groupId>org.soot-oss</groupId>
    <artifactId>soot</artifactId>
    <version>4.3.0</version>
  </dependency>
</dependencies>

您还可以获取主分支的旧版本构建。

可以在Maven Central上找到所有版本的构建列表。

每次提交到开发分支(develop)时,都会构建一个Soot SNAPSHOT版本。

您可以通过Maven、Gradle、SBT等工具使用以下坐标将Soot作为依赖项引入项目:

<dependencies>
  <dependency>
    <groupId>org.soot-oss</groupId>
    <artifactId>soot</artifactId>
    <version>4.4.0-SNAPSHOT</version>
  </dependency>
</dependencies>

<repositories>
  <repository>
      <id>sonatype-snapshots</id>
      <url>https://oss.sonatype.org/content/repositories/snapshots</url>
      <releases>
          <enabled>false</enabled>
      </releases>
  </repository>
</repositories>

您还可以获取开发分支的旧版本构建。

可以在Maven Central上找到所有版本的构建列表。

如何获取没有Maven的Soot?
我们推荐使用Maven来使用Soot,您可以直接获取Soot的最新发行构建。您也可以直接获取Soot的最新SNAPSHOT构建。

soot-<RELEASE>-jar-with-dependencies.jar 文件是一个包含所有必需库的全功能文件。

soot-<RELEASE>.jar 文件仅包含Soot,允许您手动选择依赖项,按需加载。如果您不想处理依赖关系,我们建议使用前者。

test Symbolic Execution-03-Soot - A Java optimization framework,test,java,开发语言,测试工具,jvm,测试覆盖率文章来源地址https://www.toymoban.com/news/detail-789357.html

到了这里,关于test Symbolic Execution-03-Soot - A Java optimization framework的文章就介绍完了。如果您还想了解更多内容,请在右上角搜索TOY模板网以前的文章或继续浏览下面的相关文章,希望大家以后多多支持TOY模板网!

原文地址:https://blog.csdn.net/ryo1060732496/article/details/135564281

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处: 如若内容造成侵权/违法违规/事实不符,请点击违法举报进行投诉反馈,一经查实,立即删除!

领支付宝红包 赞助服务器费用

相关文章

  • java之junit Test

    单元测试是针对最小的功能单元编写测试代码 Java程序最小的功能单元是方法 单元测试就是针对单个Java方法的测试 确保单个方法运行正常 如果修改了方法代码,只需确保其对应的单元测试通过 测试代码本身就可以作为示例代码 可以自动化运行所有测试并获得报告 TestCase:

    2024年02月14日
    浏览(13)
  • Java Test: Specification and Structure Testing(line, branch, path coverage)

    这篇文章梳理一下Java软件测试中的Secification test和Structure test。 规范测试(specification test):又称黑盒测试(black-box testing)或需求驱动测试(requirements-driven testing),这种测试方法关注程序的功能和性能,而不关注其内部实现。 Specification(规范)是对软件组件、系统或方法

    2024年02月02日
    浏览(9)
  • Java开发 - Spring Test知多少?

    在前文中,我们也使用了测试代码来进行简单的单元测试,但是我们会发现,里面有大量的重复代码,实际给我们的体验并不是太好,所以这篇,我们来学习Spring Test,Spring Test不仅仅限于在Mybatis框架,只要是基于Spring的框架的都可以使用Spring Test,使用Spring Test,将给测试模

    2024年01月25日
    浏览(7)
  • Java学习笔记 -JUnit(@Test)的使用

    JUnit是一个非常方便的Java语言单元测试框架,多数Java的开发环境都已经集成了JUnit作为单元测试的工具。 注意:该类所处的包中不能有名为Test的类,不然以下操作会失败 1.在需要测试的方法前输入@Test 2.鼠标选中@Test,点击左侧红色灯泡 3.选中 Add’JUnit5.4’ to classpath 4.勾选

    2024年02月14日
    浏览(9)
  • Introduction to Unit Testing in Java

    作者:禅与计算机程序设计艺术 UNIT TESTING (UNIT测试),是在软件开发生命周期中不可或缺的一环。单元测试是一个模块化的测试工作,它的目标是验证某个函数、模块或者类的某个功能是否符合设计要求。它通过对代码中独立的测试用例进行运行和验证,发现错误并报告给相

    2024年02月08日
    浏览(9)
  • test-01-java 单元测试框架 junit 入门介绍

    JUnit 是一个用于编写可重复测试的简单框架。 它是 xUnit 架构的一种实例,专门用于单元测试框架。 What to test? Need Desc Right 结果是否正确 B 边界条件是否满足 I 能反向关联吗 C 有其他手段交叉检查吗 E 是否可以强制异常发生 P 性能问题 CalculatorTest 类包含了一个测试方法 test

    2024年02月04日
    浏览(13)
  • java中main方法和@Test注解的区别

    2024年02月05日
    浏览(7)
  • springboot项目test单元测试java.lang.NullPointerException问题

    最近在测试写好mapper相关接口时是,出现空指针异常,所以记录一下。 在测试用户登录时,出现如下错误 测试方法 错误信息 通过分析日志了解到原因是 无法调用“AdminUserMapper.login(String, String)”,因为“this.adminUserMapper”为空 应该是AdminUserMapper没有注入进来,但是自己

    2024年02月02日
    浏览(14)
  • java程序启动时自动执行方法 @PostConstruct,单元测试@Test

    java程序启动时自动执行方法,在方法上添加@PostConstruct注解即可,可以代替单元测试junit的@Test注解 @PostConstruct //程序启动时自动执行方法 @Test //需要选中该方法运行启动(单元测试) java 代码----程序启动时自动执行方法 @PostConstruct java 代码----需要选中该方法运行启动(单元

    2024年02月05日
    浏览(6)

觉得文章有用就打赏一下文章作者

支付宝扫一扫打赏

博客赞助

微信扫一扫打赏

请作者喝杯咖啡吧~博客赞助

支付宝扫一扫领取红包,优惠每天领

二维码1

领取红包

二维码2

领红包