我正在编写一个代码质量工具.我正在扫描源和编译的类,搜索潜在的无限循环.
我不能认为源代码切换语句的方式可以无限循环.我错了吗?
Switch语句编译为lookupswitch和tableswitch操作码.出于安全原因,我需要检查编译类,并且在质量控制程序处理编译的类之前还允许字节码修改.话虽如此,是否有可能通过修改类或使用汇编程序生成类来仅使用那些操作码来无限循环?
我已经处理了所有其他分支指令和声明.
非常感谢您的帮助.
编辑:
结论:
正如我所怀疑的那样,通过这里提供的答案,源代码中的switch语句只能向前分支,但字节码中的任何分支指令都可能会向后跳转(假设字节码修改).
解决方法:
Having say that, is there a possible way of looping infinitely by using only those opcodes by modifying a class or generating it with assembler?
要拥有一个无限循环,你必须向后某个地方.如果修改字节代码,则可以在添加或更改跳转的位置执行此操作.如果不是它不能是一个循环,无限或其他.
标签:java,jvm,bytecode
来源: https://codeday.me/bug/20190623/1271817.html