Uh oh!
There was an error while loading. Please reload this page.
Flow state collectors - #125
Merged
Merged
Conversation
EgorkaKulikovforce-pushed
the
competitions_2024
branch
from
November 21, 2023 14:48
5bca863 to
55f30abCompareIlyaMuravjov
approved these changes
Nov 22, 2023
EgorkaKulikov pushed a commit
that referenced
this pull request
Nov 23, 2023
* Avoid `jdk.internal` in `org.usvm.instrumentation.util.URLClassPathLoader` (#94) * Flow collectors --------- Co-authored-by: IlyaMuravjov <71839386+IlyaMuravjov@users.noreply.github.com>
EgorkaKulikov pushed a commit
that referenced
this pull request
Nov 24, 2023
* Avoid `jdk.internal` in `org.usvm.instrumentation.util.URLClassPathLoader` (#94) * Flow collectors --------- Co-authored-by: IlyaMuravjov <71839386+IlyaMuravjov@users.noreply.github.com>
EgorkaKulikov pushed a commit
that referenced
this pull request
Nov 28, 2023
* Avoid `jdk.internal` in `org.usvm.instrumentation.util.URLClassPathLoader` (#94) * Flow collectors --------- Co-authored-by: IlyaMuravjov <71839386+IlyaMuravjov@users.noreply.github.com>
EgorkaKulikov pushed a commit
that referenced
this pull request
Nov 28, 2023
* Avoid `jdk.internal` in `org.usvm.instrumentation.util.URLClassPathLoader` (#94) * Flow collectors --------- Co-authored-by: IlyaMuravjov <71839386+IlyaMuravjov@users.noreply.github.com>
Saloed added a commit
that referenced
this pull request
Nov 29, 2023
* Avoid `jdk.internal` in `org.usvm.instrumentation.util.URLClassPathLoader` (#94) * Flow collectors --------- Co-authored-by: IlyaMuravjov <71839386+IlyaMuravjov@users.noreply.github.com>
Saloed added a commit
that referenced
this pull request
Feb 14, 2024
* Avoid `jdk.internal` in `org.usvm.instrumentation.util.URLClassPathLoader` (#94) * Flow collectors --------- Co-authored-by: IlyaMuravjov <71839386+IlyaMuravjov@users.noreply.github.com>
Saloed pushed a commit
that referenced
this pull request
Apr 4, 2024
Allow configuring paths to instrumentation jars, approximation jars and java home (#166) Revert "Removed copying <clinit> for interfaces in instrumentation" Fixed Trace Collector Removed copying <clinit> for interfaces in instrumentation Added caching of trace methods Fixed mocking methods of unknown classes Hacked max array size for concrete size Fixed classloader for logger Treat runner timeout as failure Fix jdk internal types Added hack for non-null `value` field in strings (#165) Fix bug with tracing of approximated methods concrete-executor: java home option Types draft concrete-executor: add persistence option Fixed resolving enum values without any constraints approximations: fix map anyKey guarantees jc-test-resolver: class constants core: more safe machine step core: more safe machine step jc-test-resolver: better handling of strings and classes core: better soft constraints jc-interpreter: better exception types jc-interpreter: get rid of unknown classes when possible jc-interpreter: fix getTyped for method jvm-concrete-executor: Don't ignore exceptions in instance allocation Create mocks in output values. **CANNOT BE MERGED INTO MAIN** (#127) * Create mocks in output values * Rebase * Fix tests * Fix mocks for approximated methods * Remove approximations specific methods filter --------- Co-authored-by: Valentyn Sobol <napster_1997@mail.ru> More informative error message Fix compilation after rebase more safe uTestInst execution minor Fix of bug with classloader Flow state collectors (#125) * Avoid `jdk.internal` in `org.usvm.instrumentation.util.URLClassPathLoader` (#94) * Flow collectors --------- Co-authored-by: IlyaMuravjov <71839386+IlyaMuravjov@users.noreply.github.com> Avoid `jdk.internal` in `org.usvm.instrumentation.util.URLClassPathLoader` (#94)
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for freeto join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
No description provided.