UnitTestBot/usvm

Issues

• ```checkType``` in ```TSMethodTestRunner``` is not implemented

  #203 opened a month ago by zishkaz
  0

• Incorrect EtsThis processing in USVM TypeScript

  #202 opened a month ago by zishkaz
  0

• Incorrect bytecode transformation for Java 5 class file

  #179 opened 7 months ago by IlyaMuravjov
  0

• Incorrect initial state argument for an inner class

  #141 opened 9 months ago by tepa46
  1

• JcTestExecutor failed in `resolveEnumValue` method

  #142 opened 9 months ago by EgorkaKulikov
  1

• `resolveObject` fails with `IndexOutOfBoundsException`

  #164 opened 9 months ago by IlyaMuravjov
  1

• Incorrect types in execution lead to compilation errors

  #163 opened 9 months ago by EgorkaKulikov
  0

• Machine failed in `JcApplicationGraph.getTyped`

  #150 opened 10 months ago by EgorkaKulikov
  2

• JcStateResolver crashed with Unexpected ref

  #162 opened 9 months ago by EgorkaKulikov
  0

• Multiple `lateinit property has not been initialized` exception during analysis

  #161 opened 9 months ago by EgorkaKulikov
  0

• Strange class is not present on classpath failure

  #154 opened 10 months ago by EgorkaKulikov
  1

• Strange runtime type is present in descriptors, this cause failure

  #155 opened 10 months ago by EgorkaKulikov
  0

• Instrumentation timed out on one of `spoon` classes and was killed

  #156 opened 10 months ago by EgorkaKulikov
  2

• Invalid `UTestCyclicReferenceDescriptor`

  #148 opened 10 months ago by IlyaMuravjov
  1

• Tests that do nothing but expect exceptions are generated

  #132 opened 10 months ago by EgorkaKulikov
  0

• Multiple "Can't find class in classpath" errors

  #146 opened 10 months ago by Damtev
  1

• ArrayStoreException in test executor

  #147 opened 10 months ago by Damtev
  1

• One of generated test classes crashes gradle verification task

  #153 opened 10 months ago by EgorkaKulikov
  0

• Not decoded SymbolicList is present in UTest

  #152 opened 10 months ago by EgorkaKulikov
  0

• Multiple timeouts during guava `Shorts` analysis

  #151 opened 10 months ago by EgorkaKulikov
  0

• Class is not found, possibly because it has not been decoded

  #149 opened 10 months ago by EgorkaKulikov
  0

• Duplicate class definition for name: "org/slf4j/impl/StaticLoggerBinder"

  #135 opened 10 months ago by IlyaMuravjov
  1

• Multiple instrumentation NoClassDefFoundError error w

  #139 opened 10 months ago by EgorkaKulikov
  1

• `java.lang.VerifyError`: Bad type on operand stack on `com/google/common/base/Converter.reverse()`

  #101 opened 10 months ago by IlyaMuravjov
  2

• JcVirtualInvokeResolver failed during test case generation

  #134 opened 10 months ago by EgorkaKulikov
  1

• Multiple `UTestExecutionInitFailedResult` without cause as a result of class analysis

  #145 opened 10 months ago by EgorkaKulikov
  3

• Compilation errors in generated times, possible reasoned by incorrect types resolving in machine

  #144 opened 10 months ago by EgorkaKulikov
  0

• JcMachine failed with IllegalStateException: Unexpected type

  #120 opened 10 months ago by EgorkaKulikov
  1

• No entrypoint found for method: virtual `JcUnknownClass#getLogger(String)`

  #136 opened 10 months ago by IlyaMuravjov
  0

• Machine.analyze failed in getTypeStream method on guava

  #129 opened 10 months ago by EgorkaKulikov
  0

• Instrumentation fails with thread death exception on `SparseImmutableTable` class

  #131 opened 10 months ago by EgorkaKulikov
  0

• Instrumentation transposes 2D arrays

  #114 opened 10 months ago by IlyaMuravjov
  1

• One more strange test is generated for constructors

  #110 opened 10 months ago by EgorkaKulikov
  1

• Incorrect exception in uTest for LongWrapper.parseLong

  #106 opened 10 months ago by EgorkaKulikov
  1

• Multiple unexpected exception in instrumentation on a class from guava-26.0

  #121 opened 10 months ago by EgorkaKulikov
  1

• UTestExpressionExecutor failed before methodUnderTest call on guava Throwables

  #119 opened 10 months ago by EgorkaKulikov
  1

• Instrumentation fails on `pdfbox` classes, even though jar with the missed class is on classpath

  #115 opened 10 months ago by EgorkaKulikov
  0

• Type parameters in generated tests lead to failing of `toJavaClass`

  #108 opened 10 months ago by EgorkaKulikov
  2

• JcMachine failed with Trying cast not primitive type <> to primitive type <>

  #122 opened 10 months ago by EgorkaKulikov
  0

• JcMachine failed with IllegalStateException: Invalid model containing wrong type

  #118 opened 10 months ago by EgorkaKulikov
  0

• `URegistersStackFrame` index out of bounds when analyzing `com.google.common.base.internal.Finalizer`

  #87 opened 10 months ago by IlyaMuravjov
  1

• Incorrect setting collection field to null leads to further problems with iterator

  #111 opened 10 months ago by tepa46
  0

• NullPointerException is expected as a result of the correct test

  #109 opened 10 months ago by EgorkaKulikov
  2

• "Got nullRef on the top!" for multiple methods in `spoon` project

  #88 opened 10 months ago by IlyaMuravjov
  0

• Generating tests for one method returns less test cases than for the whole class

  #107 opened 10 months ago by EgorkaKulikov
  0

• No `String.coder` field in Java 8

  #99 opened 10 months ago by IlyaMuravjov
  0

• "`Z3_OP_INTERNAL` is not supported" for `isNaN()`

  #86 opened 10 months ago by IlyaMuravjov
  1

• Support constructing approximated objects

  #100 opened 10 months ago by Damtev
  0

• Support coverage of disjunctions in if statements

  #95 opened 10 months ago by Damtev
  0

• Support virtual entrypoints

  #93 opened 10 months ago by Damtev
  0