Yury Kamenev comments

Repositories
Issues
Comments

Results 4 comments of


                                            Yury Kamenev

TON Static Analysis based on Symbolic Execution

Hi @anton-trunov. Is there any progress on the remaining debug information (especially line numbers) during compilation?

`Parameter specified as non-null is null: method org.utbot.engine.SymbolicValueKt.toIntValue`

@tyuldashev could you provide more context and the environment info, please? The attached stack trace looks very strange.

`Parameter specified as non-null is null: method org.utbot.engine.SymbolicValueKt.toIntValue`

Cannot reproduce. Anyway, the root cause of the problem is probably connected with Rd in particular or with coroutines in general - the stack trace contains two invocations of `traverseConst`...

Added cache for `jcClass`

@lehvolk `jcClass` is used in calculating the `hashCode` of the `JcClassType`, and we had met a situation when the `hashCode` of an instance of the `JcClassType` has changed. We assumed...