Uh oh!
There was an error while loading. Please reload this page.
Added hack for non-null value field in strings - #165
Merged
Conversation
Saloed
approved these changes
Dec 1, 2023
Saloed pushed a commit
that referenced
this pull request
Feb 14, 2024
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.