Generate facts from bytecode

Related tags

Spring Boot soot-fact-generator
Overview

soot-fact-generator

generate facts from bytecode (source is https://github.com/plast-lab/doop-mirror/tree/master/generators)

通过soot解析bytecode生成fact，类似于CodeQL创建database的过程，fact等价于codeql的database。

build

执行 gradle build进行编译，soot-fact-generator.jar 在 build/libs 目录

usage

Terminate if classes are missing (and record them to ). --also-resolve Force resolution of class that may not be found automatically. --debug Enable debug mode (verbose output). --log-dir Write logs in directory . --args-file Read command-line arguments from (one per line). --write-artifacts-map Write artifacts map. Jimple/Shimple generation: --generate-jimple Generate Jimple/Shimple files in addition to other facts. --stdout Write Jimple/Shimple to stdout. Android options: --android-jars The main Android library JAR (for Android APK inputs). The same jar should be provided in the -l option. --decode-apk Decompress APK input in facts directory. --scan-native-code Scan native code found in JAR/APK inputs. --R-out-dir Specify where to generate R code (when linking AAR inputs). Supported input archive formats: AAR, APK, JAR, ZIP"> 
Usage: soot-fact-generator [options] file...
Options:
  --main                         Specify the name of the main class.
  --ssa                                 Generate SSA facts, enabling flow-sensitive analysis.
  --full                                Generate facts by full transitive resolution.
  --allow-phantom                       Allow phantom classes.
  -d                         Specify where to generate output fact files.
  -i                           Find classes in .
  -l                           Find library classes in .
  -ld                          Find dependency classes in .
  -lsystem                              Find classes in default system classes.
  --facts-subset                Produce facts only for a subset of the given classes [APP, APP_N_DEPS, PLATFORM].
  --ignore-factgen-errors               Continue with the analysis even if fact generation fails.
  --legacy-android-processing           Enable legacy Android XML processing.
  --no-facts                            Don't generate facts (just empty files -- used for debugging).
  --ignore-wrong-staticness             Ignore "wrong static-ness" errors in Soot.
  --lowMem                              Consume less memory.
  --failOnMissingClasses          Terminate if classes are missing (and record them to ).
  --also-resolve                 Force resolution of class that may not be found automatically.
  --debug                               Enable debug mode (verbose output).
  --log-dir                        Write logs in directory .
  --args-file                     Read command-line arguments from  (one per line).
  --write-artifacts-map                 Write artifacts map.
Jimple/Shimple generation:
  --generate-jimple                     Generate Jimple/Shimple files in addition to other facts.
  --stdout                              Write Jimple/Shimple to stdout.
Android options:
  --android-jars               The main Android library JAR (for Android APK inputs). The same jar should be provided in the -l option.
  --decode-apk                          Decompress APK input in facts directory.
  --scan-native-code                    Scan native code found in JAR/APK inputs.
  --R-out-dir                Specify where to generate R code (when linking AAR inputs).

Supported input archive formats: AAR, APK, JAR, ZIP

常见的用法是

java -jar soot-fact-generator.jar -i input.jar  -l /usr/lib/jvm/java-8-oracle/jre/lib/rt.jar --generate-jimple --allow-phantom --full -d out

其中

  • -i 指定待分析的jar包
  • -l 指定依赖库
  • --generate-jimple 表示生成中间语言jimple
  • --allow-phantom 大概是允许解析依赖不存在的类
  • --full 表示对所有class进行解析
  • -d 指定输出目录
You might also like...

JHipster Lite ⚡ is a development platform to generate, develop & deploy modern web applications & microservice architectures, step by step.

JHipster Lite ⚡ is a development platform to generate, develop & deploy modern web applications & microservice architectures, step by step.

JHipster Lite ⚡ Description JHipster is a development platform to quickly generate, develop & deploy modern web applications & microservice architectu

Jan 3, 2023

A command-line tool to generate different types of noise as images.

noisegen A command-line tool to generate different types of noise as images. Usage Run one of the releases, either the JAR using java -jar noisegen-0.

Jul 21, 2022

My first proper GitHub project, I guess. Basically an automated version of the "Battle Royale" short series on Geo Facts' YouTube channel.

My first proper GitHub project, I guess. Basically an automated version of the

State-Royale Made by Pixer415, with some help from ThatOneCalculator This project needs your contributions. New modes/new features/typo fixes/suggesti

Jun 27, 2022

cglib - Byte Code Generation Library is high level API to generate and transform Java byte code. It is used by AOP, testing, data access frameworks to generate dynamic proxy objects and intercept field access.

cglib Byte Code Generation Library is high level API to generate and transform JAVA byte code. It is used by AOP, testing, data access frameworks to g

Jan 8, 2023

Development Driven Testing (DDT) lets you generate unit tests from a running application. Reproduce a bug, generate a properly mocked test

DDTJ: It kills bugs DDT is the flip side of TDD (Test-driven development). It stands for "Development Driven Tests". Notice that it doesn’t contradict

Dec 30, 2021

Java bytecode engineering toolkit

Java bytecode engineering toolkit Javassist version 3 Copyright (C) 1999-2020 by Shigeru Chiba, All rights reserved. Javassist (JAVA programming ASSIS

Dec 29, 2022

Mixin is a trait/mixin and bytecode weaving framework for Java using ASM

Mixin is a trait/mixin and bytecode weaving framework for Java using ASM

Mixin is a trait/mixin framework for Java using ASM and hooking into the runtime classloading process via a set of pluggable built-in or user-provided

Jan 7, 2023

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.

Java Pathfinder (JPF) An extensible software model checking framework for Java bytecode programs General Information about JPF All the latest developm

Dec 25, 2022

Log analyser / visualiser for Java HotSpot JIT compiler. Inspect inlining decisions, hot methods, bytecode, and assembly. View results in the JavaFX user interface.

JITWatch Log analyser and visualiser for the HotSpot JIT compiler. Video introduction to JITWatch video Slides from my LJC lightning talk on JITWatch

Jan 3, 2023

Jitescript - Java API for Bytecode

Jitescript - Java API for Bytecode This project is inspired by @headius's BiteScript. The goal is to produce a Java library with a similar API so that

Dec 7, 2022

Compiler of Java bytecode to JavaScript

TeaVM See documentation at the project web site. Useful links: Getting started Gallery Flavour source code repository Site source code repository Disc

Jan 3, 2023

A Java agent that rewrites bytecode to instrument allocation sites

The Allocation Instrumenter is a Java agent written using the java.lang.instrument API and ASM. Each allocation in your Java program is instrumented;

Dec 19, 2022

Log analyser / visualiser for Java HotSpot JIT compiler. Inspect inlining decisions, hot methods, bytecode, and assembly. View results in the JavaFX user interface.

JITWatch Log analyser and visualiser for the HotSpot JIT compiler. Video introduction to JITWatch video Slides from my LJC lightning talk on JITWatch

Jan 3, 2023

Java bytecode obfuscator with GUI

Java bytecode obfuscator with GUI

Bozar A Java bytecode obfuscator with GUI Usage Download the version you want in releases for your platform Run the executable. Done. Let me know if o

Dec 31, 2022

Assembler/disassembler for java bytecode

Raung raung - yet another assembler/disassembler for java bytecode. Similar to Krakatau and Smali, based on ASM library. ❗ Warning: this project at a

Oct 2, 2022

Chasm is a java bytecode transformer designed to handle collision between transformers wherever possible.

NOTE: This project is still in its early development. There's guaranteed bugs and missing functionality. Chasm - Collision Handling ASM What is Chasm?

Dec 30, 2022

Java bytecode static analyzer

This project is abandoned and unlikely will be supported in future HuntBugs 0.0.11 New Java bytecode static analyzer tool based on Procyon Compiler To

Aug 13, 2022

Kotlin-decompiled - (Almost) every single language construct of the Kotlin programming language compiled to JVM bytecode and then decompiled to Java again for better readability

Kotlin: Decompiled (Almost) every single language construct of the Kotlin programming language compiled to JVM bytecode and then decompiled to Java ag

Dec 14, 2022

The modern Java bytecode editor

The modern Java bytecode editor

Recaf An easy to use modern Java bytecode editor that abstracts away the complexities of Java programs. Recaf abstracts away: Constant pool Stack fram

Dec 31, 2022
Comments
  • 拆包解析springboot时报错

    拆包解析springboot时报错

    jar包下载

    https://pan.baidu.com/s/11ycESHVag1qqrJ_sKcguFw 密码 GAME 备用 https://share.weiyun.com/kkQkgmVZ

    详细信息

    ubuntu@ubuntu:~/bytecodedl$ java -Xmx32G -jar soot-fact-generator.jar --full -d facts --allow-phantom --generate-jimple -l /usr/lib/jvm/java-1.8.0-openjdk-amd64/jre/lib/rt.jar  -i /home/ubuntu/bytecodedl/BOOT-INF/lib/jackson-annotations-2.13.3.jar -i /home/ubuntu/bytecodedl/BOOT-INF/lib/jackson-core-2.13.3.jar -i /home/ubuntu/bytecodedl/BOOT-INF/lib/jackson-databind-2.13.3.jar -i /home/ubuntu/bytecodedl/BOOT-INF/lib/jackson-datatype-jdk8-2.13.3.jar -i /home/ubuntu/bytecodedl/BOOT-INF/lib/jackson-datatype-jsr310-2.13.3.jar -i /home/ubuntu/bytecodedl/BOOT-INF/lib/jackson-module-parameter-names-2.13.3.jar -i /home/ubuntu/bytecodedl/BOOT-INF/lib/jakarta.annotation-api-1.3.5.jar -i /home/ubuntu/bytecodedl/BOOT-INF/lib/jdom2-2.0.6.1.jar -i /home/ubuntu/bytecodedl/BOOT-INF/lib/json-20220320.jar -i /home/ubuntu/bytecodedl/BOOT-INF/lib/jul-to-slf4j-1.7.36.jar -i /home/ubuntu/bytecodedl/BOOT-INF/lib/log4j-api-2.17.2.jar -i /home/ubuntu/bytecodedl/BOOT-INF/lib/log4j-to-slf4j-2.17.2.jar -i /home/ubuntu/bytecodedl/BOOT-INF/lib/logback-classic-1.2.11.jar -i /home/ubuntu/bytecodedl/BOOT-INF/lib/logback-core-1.2.11.jar -i /home/ubuntu/bytecodedl/BOOT-INF/lib/rome-1.7.0.jar -i /home/ubuntu/bytecodedl/BOOT-INF/lib/rome-utils-1.7.0.jar -i /home/ubuntu/bytecodedl/BOOT-INF/lib/slf4j-api-1.7.36.jar -i /home/ubuntu/bytecodedl/BOOT-INF/lib/snakeyaml-1.30.jar -i /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-aop-5.3.22.jar -i /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-beans-5.3.22.jar -i /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-boot-2.7.2.jar -i /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-boot-autoconfigure-2.7.2.jar -i /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-boot-jarmode-layertools-2.7.2.jar -i /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-context-5.3.22.jar -i /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-core-5.3.22.jar -i /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-expression-5.3.22.jar -i /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-jcl-5.3.22.jar -i /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-web-5.3.22.jar -i /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-webmvc-5.3.22.jar -i /home/ubuntu/bytecodedl/BOOT-INF/lib/tomcat-embed-core-9.0.65.jar -i /home/ubuntu/bytecodedl/BOOT-INF/lib/tomcat-embed-el-9.0.65.jar -i /home/ubuntu/bytecodedl/BOOT-INF/lib/tomcat-embed-websocket-9.0.65.jar -i /home/ubuntu/bytecodedl/BOOT-INF/classes/classes.jar
No logs directory set, using: facts/logs
Logging initialized, using directory: facts/logs
WARNING: 'file.encoding' property missing or not UTF8, please pass: -Dfile.encoding=UTF-8
SLF4J: Failed to load class "org.slf4j.impl.StaticLoggerBinder".
SLF4J: Defaulting to no-operation (NOP) logger implementation
SLF4J: See http://www.slf4j.org/codes.html#StaticLoggerBinder for further details.
WARNING: SSA not enabled, generating Jimple instead of Shimple
Preprocessing application: /home/ubuntu/bytecodedl/BOOT-INF/lib/jackson-annotations-2.13.3.jar
Preprocessing application: /home/ubuntu/bytecodedl/BOOT-INF/lib/jackson-core-2.13.3.jar
Preprocessing application: /home/ubuntu/bytecodedl/BOOT-INF/lib/jackson-databind-2.13.3.jar
Preprocessing application: /home/ubuntu/bytecodedl/BOOT-INF/lib/jackson-datatype-jdk8-2.13.3.jar
Preprocessing application: /home/ubuntu/bytecodedl/BOOT-INF/lib/jackson-datatype-jsr310-2.13.3.jar
Preprocessing application: /home/ubuntu/bytecodedl/BOOT-INF/lib/jackson-module-parameter-names-2.13.3.jar
Preprocessing application: /home/ubuntu/bytecodedl/BOOT-INF/lib/jakarta.annotation-api-1.3.5.jar
Preprocessing application: /home/ubuntu/bytecodedl/BOOT-INF/lib/jdom2-2.0.6.1.jar
Preprocessing application: /home/ubuntu/bytecodedl/BOOT-INF/lib/json-20220320.jar
Preprocessing application: /home/ubuntu/bytecodedl/BOOT-INF/lib/jul-to-slf4j-1.7.36.jar
Preprocessing application: /home/ubuntu/bytecodedl/BOOT-INF/lib/log4j-api-2.17.2.jar
Preprocessing application: /home/ubuntu/bytecodedl/BOOT-INF/lib/log4j-to-slf4j-2.17.2.jar
Preprocessing application: /home/ubuntu/bytecodedl/BOOT-INF/lib/logback-classic-1.2.11.jar
Preprocessing application: /home/ubuntu/bytecodedl/BOOT-INF/lib/logback-core-1.2.11.jar
Preprocessing application: /home/ubuntu/bytecodedl/BOOT-INF/lib/rome-1.7.0.jar
Preprocessing application: /home/ubuntu/bytecodedl/BOOT-INF/lib/rome-utils-1.7.0.jar
Preprocessing application: /home/ubuntu/bytecodedl/BOOT-INF/lib/slf4j-api-1.7.36.jar
Preprocessing application: /home/ubuntu/bytecodedl/BOOT-INF/lib/snakeyaml-1.30.jar
Preprocessing application: /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-aop-5.3.22.jar
Preprocessing application: /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-beans-5.3.22.jar
Preprocessing application: /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-boot-2.7.2.jar
Processing springBoot: /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-boot-2.7.2.jar
inputs = [/home/ubuntu/bytecodedl/BOOT-INF/lib/spring-aop-5.3.22.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-core-5.3.22.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-context-5.3.22.jar, /home/ubuntu/bytecodedl/BOOT-INF/classes/classes.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/tomcat-embed-websocket-9.0.65.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/jackson-datatype-jdk8-2.13.3.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/tomcat-embed-core-9.0.65.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/logback-classic-1.2.11.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-web-5.3.22.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/tomcat-embed-el-9.0.65.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/log4j-api-2.17.2.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/jul-to-slf4j-1.7.36.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-beans-5.3.22.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/jdom2-2.0.6.1.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/rome-1.7.0.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-webmvc-5.3.22.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/json-20220320.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/jackson-module-parameter-names-2.13.3.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/logback-core-1.2.11.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/rome-utils-1.7.0.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/log4j-to-slf4j-2.17.2.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/jakarta.annotation-api-1.3.5.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/jackson-databind-2.13.3.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-boot-autoconfigure-2.7.2.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-expression-5.3.22.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/jackson-annotations-2.13.3.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/jackson-core-2.13.3.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/jackson-datatype-jsr310-2.13.3.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/snakeyaml-1.30.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-boot-jarmode-layertools-2.7.2.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-jcl-5.3.22.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/slf4j-api-1.7.36.jar]
libraries = []
Preprocessing application: /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-boot-autoconfigure-2.7.2.jar
Processing springBoot: /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-boot-autoconfigure-2.7.2.jar
inputs = [/home/ubuntu/bytecodedl/BOOT-INF/lib/spring-aop-5.3.22.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-core-5.3.22.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-context-5.3.22.jar, /home/ubuntu/bytecodedl/BOOT-INF/classes/classes.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/tomcat-embed-websocket-9.0.65.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/jackson-datatype-jdk8-2.13.3.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/tomcat-embed-core-9.0.65.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/logback-classic-1.2.11.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-web-5.3.22.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/tomcat-embed-el-9.0.65.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/log4j-api-2.17.2.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/jul-to-slf4j-1.7.36.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-beans-5.3.22.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/jdom2-2.0.6.1.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/rome-1.7.0.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-webmvc-5.3.22.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/json-20220320.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/jackson-module-parameter-names-2.13.3.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/logback-core-1.2.11.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/rome-utils-1.7.0.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/log4j-to-slf4j-2.17.2.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/jakarta.annotation-api-1.3.5.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/jackson-databind-2.13.3.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-expression-5.3.22.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/jackson-annotations-2.13.3.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/jackson-core-2.13.3.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/jackson-datatype-jsr310-2.13.3.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/snakeyaml-1.30.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-boot-jarmode-layertools-2.7.2.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-jcl-5.3.22.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/slf4j-api-1.7.36.jar]
libraries = []
Preprocessing application: /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-boot-jarmode-layertools-2.7.2.jar
Processing springBoot: /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-boot-jarmode-layertools-2.7.2.jar
inputs = [/home/ubuntu/bytecodedl/BOOT-INF/lib/spring-aop-5.3.22.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-core-5.3.22.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-context-5.3.22.jar, /home/ubuntu/bytecodedl/BOOT-INF/classes/classes.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/tomcat-embed-websocket-9.0.65.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/jackson-datatype-jdk8-2.13.3.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/tomcat-embed-core-9.0.65.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/logback-classic-1.2.11.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-web-5.3.22.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/tomcat-embed-el-9.0.65.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/log4j-api-2.17.2.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/jul-to-slf4j-1.7.36.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-beans-5.3.22.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/jdom2-2.0.6.1.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/rome-1.7.0.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-webmvc-5.3.22.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/json-20220320.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/jackson-module-parameter-names-2.13.3.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/logback-core-1.2.11.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/rome-utils-1.7.0.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/log4j-to-slf4j-2.17.2.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/jakarta.annotation-api-1.3.5.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/jackson-databind-2.13.3.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-expression-5.3.22.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/jackson-annotations-2.13.3.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/jackson-core-2.13.3.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/jackson-datatype-jsr310-2.13.3.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/snakeyaml-1.30.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-jcl-5.3.22.jar, /home/ubuntu/bytecodedl/BOOT-INF/lib/slf4j-api-1.7.36.jar]
libraries = []
Preprocessing application: /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-context-5.3.22.jar
Preprocessing application: /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-core-5.3.22.jar
Preprocessing application: /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-expression-5.3.22.jar
Preprocessing application: /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-jcl-5.3.22.jar
Preprocessing application: /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-web-5.3.22.jar
Preprocessing application: /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-webmvc-5.3.22.jar
Preprocessing application: /home/ubuntu/bytecodedl/BOOT-INF/lib/tomcat-embed-core-9.0.65.jar
Preprocessing application: /home/ubuntu/bytecodedl/BOOT-INF/lib/tomcat-embed-el-9.0.65.jar
Preprocessing application: /home/ubuntu/bytecodedl/BOOT-INF/lib/tomcat-embed-websocket-9.0.65.jar
Preprocessing application: /home/ubuntu/bytecodedl/BOOT-INF/classes/classes.jar
Preprocessing platform library: /usr/lib/jvm/java-1.8.0-openjdk-amd64/jre/lib/rt.jar
Adding archive: /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-aop-5.3.22.jar
Adding archive: /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-core-5.3.22.jar
Adding archive: /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-context-5.3.22.jar
Adding archive: /home/ubuntu/bytecodedl/BOOT-INF/classes/classes.jar
Adding archive: /home/ubuntu/bytecodedl/BOOT-INF/lib/tomcat-embed-websocket-9.0.65.jar
Adding archive: /home/ubuntu/bytecodedl/BOOT-INF/lib/jackson-datatype-jdk8-2.13.3.jar
Adding archive: /home/ubuntu/bytecodedl/BOOT-INF/lib/tomcat-embed-core-9.0.65.jar
Adding archive: /home/ubuntu/bytecodedl/BOOT-INF/lib/logback-classic-1.2.11.jar
Adding archive: /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-web-5.3.22.jar
Adding archive: /home/ubuntu/bytecodedl/BOOT-INF/lib/tomcat-embed-el-9.0.65.jar
Adding archive: /home/ubuntu/bytecodedl/BOOT-INF/lib/log4j-api-2.17.2.jar
Adding archive: /home/ubuntu/bytecodedl/BOOT-INF/lib/jul-to-slf4j-1.7.36.jar
Adding archive: /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-beans-5.3.22.jar
Adding archive: /home/ubuntu/bytecodedl/BOOT-INF/lib/jdom2-2.0.6.1.jar
Adding archive: /home/ubuntu/bytecodedl/BOOT-INF/lib/rome-1.7.0.jar
Adding archive: /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-webmvc-5.3.22.jar
Adding archive: /home/ubuntu/bytecodedl/BOOT-INF/lib/json-20220320.jar
Adding archive: /home/ubuntu/bytecodedl/BOOT-INF/lib/jackson-module-parameter-names-2.13.3.jar
Adding archive: /home/ubuntu/bytecodedl/BOOT-INF/lib/logback-core-1.2.11.jar
Adding archive: /home/ubuntu/bytecodedl/BOOT-INF/lib/rome-utils-1.7.0.jar
Adding archive: /home/ubuntu/bytecodedl/BOOT-INF/lib/log4j-to-slf4j-2.17.2.jar
Adding archive: /home/ubuntu/bytecodedl/BOOT-INF/lib/jakarta.annotation-api-1.3.5.jar
Adding archive: /home/ubuntu/bytecodedl/BOOT-INF/lib/jackson-databind-2.13.3.jar
Adding archive: /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-expression-5.3.22.jar
Adding archive: /home/ubuntu/bytecodedl/BOOT-INF/lib/jackson-annotations-2.13.3.jar
Adding archive: /home/ubuntu/bytecodedl/BOOT-INF/lib/jackson-core-2.13.3.jar
Adding archive: /home/ubuntu/bytecodedl/BOOT-INF/lib/jackson-datatype-jsr310-2.13.3.jar
Adding archive: /home/ubuntu/bytecodedl/BOOT-INF/lib/snakeyaml-1.30.jar
Adding archive: /home/ubuntu/bytecodedl/BOOT-INF/lib/spring-jcl-5.3.22.jar
Adding archive: /home/ubuntu/bytecodedl/BOOT-INF/lib/slf4j-api-1.7.36.jar
Adding archive for resolving: /usr/lib/jvm/java-1.8.0-openjdk-amd64/jre/lib/rt.jar
Classes in input (application) jar(s): 10634
Total classes in Scene: 21072
Exception in thread "Thread-1" java.lang.RuntimeException: Failed to apply jb to <org.springframework.http.client.Netty4ClientHttpRequest: org.springframework.util.concurrent.ListenableFuture executeInternal(org.springframework.http.HttpHeaders)>
        at soot.asm.AsmMethodSource.getBody(AsmMethodSource.java:2191)
        at soot.SootMethod.retrieveActiveBody(SootMethod.java:402)
        at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
        at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
        at java.lang.Thread.run(Thread.java:750)
Caused by: java.lang.RuntimeException: This operation requires resolving level HIERARCHY but io.netty.channel.ChannelFutureListener is at resolving level DANGLING
If you are extending Soot, try to add the following call before calling soot.Main.main(..):
Scene.v().addBasicClass(io.netty.channel.ChannelFutureListener,HIERARCHY);
Otherwise, try whole-program mode (-w).
        at soot.SootClass.checkLevelIgnoreResolving(SootClass.java:198)
        at soot.SootClass.checkLevel(SootClass.java:180)
        at soot.FastHierarchy.canStoreClass(FastHierarchy.java:346)
        at soot.FastHierarchy.canStoreType(FastHierarchy.java:267)
        at soot.jimple.toolkits.typing.fast.BytecodeHierarchy.ancestor_(BytecodeHierarchy.java:224)
        at soot.jimple.toolkits.typing.fast.BytecodeHierarchy.ancestor(BytecodeHierarchy.java:292)
        at soot.jimple.toolkits.typing.fast.TypeResolver$CastInsertionUseVisitor.visit(TypeResolver.java:212)
        at soot.jimple.toolkits.typing.fast.UseChecker.handleInvokeExpr(UseChecker.java:140)
        at soot.jimple.toolkits.typing.fast.UseChecker.caseAssignStmt(UseChecker.java:354)
        at soot.jimple.internal.JAssignStmt.apply(JAssignStmt.java:242)
        at soot.jimple.toolkits.typing.fast.UseChecker.check(UseChecker.java:127)
        at soot.jimple.toolkits.typing.fast.TypeResolver.insertCasts(TypeResolver.java:415)
        at soot.jimple.toolkits.typing.fast.TypeResolver.minCasts(TypeResolver.java:439)
        at soot.jimple.toolkits.typing.fast.TypeResolver.inferTypes(TypeResolver.java:156)
        at soot.jimple.toolkits.typing.TypeAssigner.internalTransform(TypeAssigner.java:121)
        at soot.BodyTransformer.transform(BodyTransformer.java:51)
        at soot.Transform.apply(Transform.java:120)
        at soot.JimpleBodyPack.applyPhaseOptions(JimpleBodyPack.java:73)
        at soot.JimpleBodyPack.internalApply(JimpleBodyPack.java:105)
        at soot.Pack.apply(Pack.java:125)
        at soot.asm.AsmMethodSource.getBody(AsmMethodSource.java:2189)
        ... 4 more
Error: not all bodies retrieved.
java.lang.RuntimeException: Failed to apply jb to <org.springframework.http.client.Netty4ClientHttpRequest: org.springframework.util.concurrent.ListenableFuture executeInternal(org.springframework.http.HttpHeaders)>
        at soot.asm.AsmMethodSource.getBody(AsmMethodSource.java:2191)
        at soot.SootMethod.retrieveActiveBody(SootMethod.java:402)
        at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
        at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
        at java.lang.Thread.run(Thread.java:750)
Caused by: java.lang.RuntimeException: This operation requires resolving level HIERARCHY but io.netty.channel.ChannelFutureListener is at resolving level DANGLING
If you are extending Soot, try to add the following call before calling soot.Main.main(..):
Scene.v().addBasicClass(io.netty.channel.ChannelFutureListener,HIERARCHY);
Otherwise, try whole-program mode (-w).
        at soot.SootClass.checkLevelIgnoreResolving(SootClass.java:198)
        at soot.SootClass.checkLevel(SootClass.java:180)
        at soot.FastHierarchy.canStoreClass(FastHierarchy.java:346)
        at soot.FastHierarchy.canStoreType(FastHierarchy.java:267)
        at soot.jimple.toolkits.typing.fast.BytecodeHierarchy.ancestor_(BytecodeHierarchy.java:224)
        at soot.jimple.toolkits.typing.fast.BytecodeHierarchy.ancestor(BytecodeHierarchy.java:292)
        at soot.jimple.toolkits.typing.fast.TypeResolver$CastInsertionUseVisitor.visit(TypeResolver.java:212)
        at soot.jimple.toolkits.typing.fast.UseChecker.handleInvokeExpr(UseChecker.java:140)
        at soot.jimple.toolkits.typing.fast.UseChecker.caseAssignStmt(UseChecker.java:354)
        at soot.jimple.internal.JAssignStmt.apply(JAssignStmt.java:242)
        at soot.jimple.toolkits.typing.fast.UseChecker.check(UseChecker.java:127)
        at soot.jimple.toolkits.typing.fast.TypeResolver.insertCasts(TypeResolver.java:415)
        at soot.jimple.toolkits.typing.fast.TypeResolver.minCasts(TypeResolver.java:439)
        at soot.jimple.toolkits.typing.fast.TypeResolver.inferTypes(TypeResolver.java:156)
        at soot.jimple.toolkits.typing.TypeAssigner.internalTransform(TypeAssigner.java:121)
        at soot.BodyTransformer.transform(BodyTransformer.java:51)
        at soot.Transform.apply(Transform.java:120)
        at soot.JimpleBodyPack.applyPhaseOptions(JimpleBodyPack.java:73)
        at soot.JimpleBodyPack.internalApply(JimpleBodyPack.java:105)
        at soot.Pack.apply(Pack.java:125)
        at soot.asm.AsmMethodSource.getBody(AsmMethodSource.java:2189)
        ... 4 more
Fact generation cores: 16
null
org.clyze.doop.common.DoopErrorCodeException: Doop error #10
        at org.clyze.doop.common.DoopErrorCodeException.error10(DoopErrorCodeException.java:53)
        at org.clyze.doop.common.Driver.waitForExecutorShutdown(Driver.java:73)
        at org.clyze.doop.common.Driver.shutdownExecutor(Driver.java:78)
        at org.clyze.doop.common.Driver.doInParallel(Driver.java:62)
        at org.clyze.doop.common.Driver.generateInParallel(Driver.java:89)
        at org.clyze.doop.soot.Main.invokeSoot(Main.java:288)
        at org.clyze.doop.soot.Main.lambda$produceFacts$1(Main.java:122)
        at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
        at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
        at java.lang.Thread.run(Thread.java:750)
Fact generation failed for method <com.sun.org.apache.xalan.internal.xsltc.trax.StAXStream2SAX: void <init>(javax.xml.stream.XMLStreamReader)>.
java.lang.RuntimeException: java.io.IOException: Stream closed
        at org.clyze.doop.common.Database.add(Database.java:114)
        at org.clyze.doop.common.JavaFactWriter.writeLocal(JavaFactWriter.java:224)
        at org.clyze.doop.soot.FactWriter.writeLocal(FactWriter.java:743)
        at org.clyze.doop.soot.FactGenerator.generate(FactGenerator.java:252)
        at org.clyze.doop.soot.FactGenerator.generate(FactGenerator.java:223)
        at org.clyze.doop.soot.FactGenerator.run(FactGenerator.java:75)
        at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
        at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
        at java.lang.Thread.run(Thread.java:750)
Caused by: java.io.IOException: Stream closed
        at sun.nio.cs.StreamEncoder.ensureOpen(StreamEncoder.java:45)
        at sun.nio.cs.StreamEncoder.write(StreamEncoder.java:118)
        at sun.nio.cs.StreamEncoder.write(StreamEncoder.java:135)
        at java.io.OutputStreamWriter.write(OutputStreamWriter.java:220)
        at java.io.Writer.write(Writer.java:157)
        at org.clyze.doop.common.Database.add(Database.java:111)
        ... 8 more
Fact generation failed for method <org.apache.catalina.valves.rewrite.RewriteRule: void <init>()>.
Error while processing method: <com.sun.org.apache.xalan.internal.xsltc.trax.StAXStream2SAX: void <init>(javax.xml.stream.XMLStreamReader)>: java.io.IOException: Stream closed
Fact generation failed for method <com.sun.org.apache.bcel.internal.generic.IfInstruction: void <init>()>.
Fact generation failed for method <sun.awt.image.ByteComponentRaster: void <init>(java.awt.image.SampleModel,java.awt.Point)>.
java.lang.RuntimeException: java.io.IOException: Stream closed
        at org.clyze.doop.common.Database.add(Database.java:114)
        at org.clyze.doop.common.JavaFactWriter.writeLocal(JavaFactWriter.java:224)
        at org.clyze.doop.soot.FactWriter.writeLocal(FactWriter.java:743)
        at org.clyze.doop.soot.FactGenerator.generate(FactGenerator.java:252)
        at org.clyze.doop.soot.FactGenerator.generate(FactGenerator.java:223)
        at org.clyze.doop.soot.FactGenerator.run(FactGenerator.java:75)
        at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
        at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
        at java.lang.Thread.run(Thread.java:750)
Caused by: java.io.IOException: Stream closed
        at sun.nio.cs.StreamEncoder.ensureOpen(StreamEncoder.java:45)
        at sun.nio.cs.StreamEncoder.write(StreamEncoder.java:118)
        at sun.nio.cs.StreamEncoder.write(StreamEncoder.java:135)
        at java.io.OutputStreamWriter.write(OutputStreamWriter.java:220)
        at java.io.Writer.write(Writer.java:157)
        at org.clyze.doop.common.Database.add(Database.java:111)
        ... 8 more
Fact generation failed for method <org.springframework.core.convert.support.StringToUUIDConverter: void <init>()>.
Error while processing method: <sun.awt.image.ByteComponentRaster: void <init>(java.awt.image.SampleModel,java.awt.Point)>: java.io.IOException: Stream closed
java.lang.RuntimeException: java.io.IOException: Stream closed
        at org.clyze.doop.common.Database.add(Database.java:114)
        at org.clyze.doop.common.JavaFactWriter.writeLocal(JavaFactWriter.java:224)
        at org.clyze.doop.soot.FactWriter.writeLocal(FactWriter.java:743)
        at org.clyze.doop.soot.FactGenerator.generate(FactGenerator.java:252)
        at org.clyze.doop.soot.FactGenerator.generate(FactGenerator.java:223)
        at org.clyze.doop.soot.FactGenerator.run(FactGenerator.java:75)
        at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
        at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
        at java.lang.Thread.run(Thread.java:750)
Caused by: java.io.IOException: Stream closed
        at sun.nio.cs.StreamEncoder.ensureOpen(StreamEncoder.java:45)
        at sun.nio.cs.StreamEncoder.write(StreamEncoder.java:118)
        at sun.nio.cs.StreamEncoder.write(StreamEncoder.java:135)
        at java.io.OutputStreamWriter.write(OutputStreamWriter.java:220)
        at java.io.Writer.write(Writer.java:157)
        at org.clyze.doop.common.Database.add(Database.java:111)
        ... 8 more
Error while processing method: <com.sun.org.apache.bcel.internal.generic.IfInstruction: void <init>()>: java.io.IOException: Stream closed
Fact generation failed for method <org.springframework.web.servlet.tags.RequestContextAwareTag: void <init>()>.
Fact generation failed for method <jdk.internal.util.xml.BasicXmlPropertiesProvider: void <init>()>.
java.lang.RuntimeException: java.io.IOException: Stream closed
        at org.clyze.doop.common.Database.add(Database.java:114)
        at org.clyze.doop.common.JavaFactWriter.writeLocal(JavaFactWriter.java:224)
        at org.clyze.doop.soot.FactWriter.writeLocal(FactWriter.java:743)
        at org.clyze.doop.soot.FactGenerator.generate(FactGenerator.java:252)
        at org.clyze.doop.soot.FactGenerator.generate(FactGenerator.java:223)
        at org.clyze.doop.soot.FactGenerator.run(FactGenerator.java:75)
        at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
        at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
        at java.lang.Thread.run(Thread.java:750)
Caused by: java.io.IOException: Stream closed
        at sun.nio.cs.StreamEncoder.ensureOpen(StreamEncoder.java:45)
        at sun.nio.cs.StreamEncoder.write(StreamEncoder.java:118)
        at sun.nio.cs.StreamEncoder.write(StreamEncoder.java:135)
        at java.io.OutputStreamWriter.write(OutputStreamWriter.java:220)
        at java.io.Writer.write(Writer.java:157)
        at org.clyze.doop.common.Database.add(Database.java:111)
        ... 8 more
Error while processing method: <jdk.internal.util.xml.BasicXmlPropertiesProvider: void <init>()>: java.io.IOException: Stream closed
java.lang.RuntimeException: java.io.IOException: Stream closed
        at org.clyze.doop.common.Database.add(Database.java:114)
        at org.clyze.doop.common.JavaFactWriter.writeLocal(JavaFactWriter.java:224)
        at org.clyze.doop.soot.FactWriter.writeLocal(FactWriter.java:743)
        at org.clyze.doop.soot.FactGenerator.generate(FactGenerator.java:252)
        at org.clyze.doop.soot.FactGenerator.generate(FactGenerator.java:223)
        at org.clyze.doop.soot.FactGenerator.run(FactGenerator.java:75)
        at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
        at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
        at java.lang.Thread.run(Thread.java:750)
Caused by: java.io.IOException: Stream closed
        at sun.nio.cs.StreamEncoder.ensureOpen(StreamEncoder.java:45)
        at sun.nio.cs.StreamEncoder.write(StreamEncoder.java:118)
        at sun.nio.cs.StreamEncoder.write(StreamEncoder.java:135)
        at java.io.OutputStreamWriter.write(OutputStreamWriter.java:220)
        at java.io.Writer.write(Writer.java:157)
        at org.clyze.doop.common.Database.add(Database.java:111)
        ... 8 more
Error while processing method: <org.apache.catalina.valves.rewrite.RewriteRule: void <init>()>: java.io.IOException: Stream closed
java.lang.RuntimeException: java.io.IOException: Stream closed
        at org.clyze.doop.common.Database.add(Database.java:114)
        at org.clyze.doop.common.JavaFactWriter.writeLocal(JavaFactWriter.java:224)
        at org.clyze.doop.soot.FactWriter.writeLocal(FactWriter.java:743)
        at org.clyze.doop.soot.FactGenerator.generate(FactGenerator.java:252)
        at org.clyze.doop.soot.FactGenerator.generate(FactGenerator.java:223)
        at org.clyze.doop.soot.FactGenerator.run(FactGenerator.java:75)
        at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
        at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
        at java.lang.Thread.run(Thread.java:750)
Caused by: java.io.IOException: Stream closed
        at sun.nio.cs.StreamEncoder.ensureOpen(StreamEncoder.java:45)
        at sun.nio.cs.StreamEncoder.write(StreamEncoder.java:118)
        at sun.nio.cs.StreamEncoder.write(StreamEncoder.java:135)
        at java.io.OutputStreamWriter.write(OutputStreamWriter.java:220)
        at java.io.Writer.write(Writer.java:157)
        at org.clyze.doop.common.Database.add(Database.java:111)
        ... 8 more
Error while processing method: <org.springframework.web.servlet.tags.RequestContextAwareTag: void <init>()>: java.io.IOException: Stream closed
java.lang.RuntimeException: java.io.IOException: Stream closed
        at org.clyze.doop.common.Database.add(Database.java:114)
        at org.clyze.doop.common.JavaFactWriter.writeLocal(JavaFactWriter.java:224)
        at org.clyze.doop.soot.FactWriter.writeLocal(FactWriter.java:743)
        at org.clyze.doop.soot.FactGenerator.generate(FactGenerator.java:252)
        at org.clyze.doop.soot.FactGenerator.generate(FactGenerator.java:223)
        at org.clyze.doop.soot.FactGenerator.run(FactGenerator.java:75)
        at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
        at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
        at java.lang.Thread.run(Thread.java:750)
Caused by: java.io.IOException: Stream closed
        at sun.nio.cs.StreamEncoder.ensureOpen(StreamEncoder.java:45)
        at sun.nio.cs.StreamEncoder.write(StreamEncoder.java:118)
        at sun.nio.cs.StreamEncoder.write(StreamEncoder.java:135)
        at java.io.OutputStreamWriter.write(OutputStreamWriter.java:220)
        at java.io.Writer.write(Writer.java:157)
        at org.clyze.doop.common.Database.add(Database.java:111)
        ... 8 more
Fact generation failed for method <java.lang.ProcessEnvironment$StringEnvironment: java.lang.String toString(java.lang.ProcessEnvironment$Value)>.
java.lang.RuntimeException: java.io.IOException: Stream closed
        at org.clyze.doop.common.Database.add(Database.java:114)
        at org.clyze.doop.common.JavaFactWriter.writeLocal(JavaFactWriter.java:224)
        at org.clyze.doop.soot.FactWriter.writeLocal(FactWriter.java:743)
        at org.clyze.doop.soot.FactGenerator.generate(FactGenerator.java:252)
        at org.clyze.doop.soot.FactGenerator.generate(FactGenerator.java:223)
        at org.clyze.doop.soot.FactGenerator.run(FactGenerator.java:75)
        at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
        at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
        at java.lang.Thread.run(Thread.java:750)
Caused by: java.io.IOException: Stream closed
        at sun.nio.cs.StreamEncoder.ensureOpen(StreamEncoder.java:45)
        at sun.nio.cs.StreamEncoder.write(StreamEncoder.java:118)
        at sun.nio.cs.StreamEncoder.write(StreamEncoder.java:135)
        at java.io.OutputStreamWriter.write(OutputStreamWriter.java:220)
        at java.io.Writer.write(Writer.java:157)
        at org.clyze.doop.common.Database.add(Database.java:111)
        ... 8 more
Error while processing method: <java.lang.ProcessEnvironment$StringEnvironment: java.lang.String toString(java.lang.ProcessEnvironment$Value)>: java.io.IOException: Stream closed
Error while processing method: <org.springframework.core.convert.support.StringToUUIDConverter: void <init>()>: java.io.IOException: Stream closed
Exception in thread "main" org.clyze.doop.common.DoopErrorCodeException: Doop error #34: Fact generation failed with 1 errors.
        at org.clyze.doop.common.DoopErrorCodeException.error34(DoopErrorCodeException.java:149)
        at org.clyze.doop.soot.Main.produceFacts(Main.java:133)
        at org.clyze.doop.soot.Main.main(Main.java:39)
Caused by: java.lang.RuntimeException: Fact generation failed with 1 errors.
        at org.clyze.doop.common.DoopErrorCodeException.<init>(DoopErrorCodeException.java:162)
        ... 3 more
    opened by Y4er 0
Owner
null
GitHub
Generate a dynamic PAC script that will route traffic to your Burp proxy only if it matches the scope defined in your Burp target.

Burp PAC Server This Burp Extension generates a dynamic Proxy Auto-Configuration (PAC) script that will route traffic to your Burp proxy only if it ma

null 30 Jun 13, 2022
SitemapGen4j is a library to generate XML sitemaps in Java.

sitemapgen4j SitemapGen4j is a library to generate XML sitemaps in Java. What's an XML sitemap? Quoting from sitemaps.org: Sitemaps are an easy way fo

Dan Fabulich 151 Dec 16, 2022
Generate and read big Excel files quickly

fastexcel fastexcel-writer There are not many alternatives when you have to generate xlsx Excel workbooks in Java. The most popular one (Apache POI) i

Cegid Conciliator 449 Jan 1, 2023
Magic Bean: A very basic library which will generate POJOs.

Magic Bean: A very basic library which will generate POJOs.

Ethan McCue 48 Dec 27, 2022
Library to generate images from layers

react-native-image-generator Library for generate images from other images Installation yarn add react-native-image-generator Usage import { generate

Evgeny Usov 13 Nov 16, 2022
Community extension to generate a Java client from the provided Camunda 7 OpenAPI descitpion and also warp it into Spring Boot

Camunda Engine OpenAPI REST Client Java and Spring Boot This community extension is a convenience wrapper around the generated Java client from the Ca

Camunda Community Hub 29 Dec 28, 2022
Fun little program to generate worlds in Excel

Basic world generation for Excel! How to use (For windows): Download the latest release from Releases run java -jar WorldGenExcelVersion.jar "path_to_

Steven Zhu 1 Feb 12, 2022
A web application to generate Java source code with spring-boot and mybatis-plus

A web application to generate Java source code with spring-boot and mybatis-plus. Also, The class of Domain,Mapper,XML of Mapper Interface,Service,Controller are included. You can change the data source what you want to generate for your project in app running without restart this code -generator application.

Weasley 3 Aug 29, 2022
This application will help you to generate Elasticsearch template based on your data

Welcome to templates generator application for Elasticsearch This application will help you to generate the template and/or test index, based on your

DBeast 2 Jan 2, 2023
A desktop app to generate QR codes.

qrcode-generator A desktop GUI app to generate QR codes. Currently a fun project and a work-in-progress. GitHub URL: https://github.com/abhinavgunwant

Abhinav Gunwant 2 Aug 2, 2022