kex
kex copied to clipboard
vorpal-research
A platform for analysis of Java bytecode
Implement more optimized path selector for symbolic executor
Implement an analysis that maps invoke dynamic instructions to understandable code snippets
E.g. [okio](https://github.com/square/okio) library has a [Buffer](https://github.com/square/okio/blob/master/okio/src/jvmMain/kotlin/okio/Buffer.kt) class that has over a 100 public methods. Reanimator hangs on that class for over 20 minutes each time
Currently Reanimator uses custom codegen classes to generate test cases both in Java and in Kotlin. Consider switching to specialized code generation libraries
The current implementation of the Kotlin Nullability markers (made via Kotlin's reflections) does not work as intended. This PR aims to address and fix this issue - [x] Made a...
After updating KSMT from version `0.5.8` to `0.5.23` in 96b406592345fed476365cc32ef0cbcac25de8b5, some of the tests started failing: https://github.com/vorpal-research/kex/actions/runs/9616742369/job/26526941920 https://github.com/vorpal-research/kex/actions/runs/9616742389/job/26526941948 https://github.com/vorpal-research/kex/actions/runs/9616742376/job/26592412360 The cause of these failures is the timeout handling in z3...
Migrate Docker CI & CD from [here](https://github.com/vorpal-research/kex-dockerfile) to this repository, so that we can automate it with kex releases.
With the introduction of oracles, there is a new problem. `ActionSequence` generators currently do not adequately support standard library classes, only classes from kex-rt. In these cases our oracles will...