Comments (2)
@DaniilStepanov could you clarify a little more about toJavaClass
expected behaviour, please.
Here it is called for a JcType
containing type variable and fails.
Should something be fixed in your method implementation? Or we should implement another conversion of JcType
to ClassId
somehow?
This is rather often problem, it can be reproduced on org.usvm.samples.recursion.Recursion.dfs
, for example.
from usvm.
Fixed, but now not consistent with approximations.
from usvm.
Related Issues (20)
- Incorrect initial state argument for an inner class HOT 1
- JcTestExecutor failed in `resolveEnumValue` method HOT 1
- Compilation errors in generated times, possible reasoned by incorrect types resolving in machine
- Multiple `UTestExecutionInitFailedResult` without cause as a result of class analysis HOT 3
- Multiple "Can't find class in classpath" errors HOT 1
- ArrayStoreException in test executor HOT 1
- Invalid `UTestCyclicReferenceDescriptor` HOT 1
- Class is not found, possibly because it has not been decoded
- Machine failed in `JcApplicationGraph.getTyped` HOT 2
- Multiple timeouts during guava `Shorts` analysis
- Not decoded SymbolicList is present in UTest
- One of generated test classes crashes gradle verification task
- Strange class is not present on classpath failure HOT 1
- Strange runtime type is present in descriptors, this cause failure
- Instrumentation timed out on one of `spoon` classes and was killed HOT 2
- Multiple `lateinit property has not been initialized` exception during analysis
- JcStateResolver crashed with Unexpected ref
- Incorrect types in execution lead to compilation errors
- `resolveObject` fails with `IndexOutOfBoundsException` HOT 1
- Incorrect bytecode transformation for Java 5 class file
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from usvm.