This repository was archived by the owner on Apr 18, 2025. It is now read-only.
Auditing improvement: test new_for_mcopy #1326
Merged
Conversation
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
lispc
pushed a commit
that referenced
this pull request
Jun 11, 2024
* constrain src_len = dst_len * add src_endset when calculate mcopy expansion gadget * add field * assign memory_expansion_mcopy * fix fmt * assign is_mcopy * fix addr assign order * fix clippy * minor comment * Auditing improvement: test new_for_mcopy (#1326) * improve test new_for_mcopy * adjust next_memory_word_size * remove comment * update cur_memory_word_size zero
lispc
added a commit
that referenced
this pull request
Jun 17, 2024
* constrain src_len = dst_len * add src_endset when calculate mcopy expansion gadget * add field * assign memory_expansion_mcopy * fix fmt * assign is_mcopy * fix addr assign order * fix clippy * minor comment * Auditing improvement: test new_for_mcopy (#1326) * improve test new_for_mcopy * adjust next_memory_word_size * remove comment * update cur_memory_word_size zero * add test dst_offset > src_offset * rename test * add u64 max test * add mcopy max expanded address test * revert comment * refactor MemoryAddrExpandGadget preparing for negative test * impl MathGadgetContainer * negative test test_invlaid_src_offset_length * add test_invlaid_src_offset_length_nonmcopy * remove comments * minor * fix clippy * move assert_error_matches to test_util * fix typo --------- Co-authored-by: Zhang Zhuo <mycinbrin@gmail.com>
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
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.
Description
update cur and next memory_word_size in test.
Issue Link
[link issue here]