Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

crucible-jvm: Add permission bit for writability to each static field. #733

Merged
merged 6 commits into from
May 13, 2021
Merged

crucible-jvm: Add permission bit for writability to each static field. #733

merged 6 commits into from
May 13, 2021

Commits on May 8, 2021

  1. crucible-jvm: Add permission bit for writability to each static field. 

    The permission bit is asserted to be true on every putstatic instruction.

This feature will allow SAW to use method specs that do not explicitly
specify a final value for each static field; by making those fields
read-only, we can be sure that the values did not change, without having
to explicitly check that the final value is equal to the initial value.
    Brian Huffman committed May 8, 2021
    Configuration menu
    Copy the full SHA
    02c59b2 View commit details
    Browse the repository at this point in the history

Commits on May 10, 2021

  1. Remove temporary debugging output.

    Brian Huffman committed May 10, 2021
    Configuration menu
    Copy the full SHA
    1619a08 View commit details
    Browse the repository at this point in the history

  2. Factor out function ppFieldId.

    Brian Huffman committed May 10, 2021
    Configuration menu
    Copy the full SHA
    8a28daa View commit details
    Browse the repository at this point in the history

  3. Factor out one more call to ppFieldId.

    Brian Huffman committed May 10, 2021
    Configuration menu
    Copy the full SHA
    01f2d73 View commit details
    Browse the repository at this point in the history

  4. Use new record type StaticFieldInfo instead of tuple in JVMContext.

    Brian Huffman committed May 10, 2021
    Configuration menu
    Copy the full SHA
    c82c245 View commit details
    Browse the repository at this point in the history

  5. Factor out duplicate calls to globalVarName. 

    Also use a variation on the variable name for the writability bit.
    Brian Huffman committed May 10, 2021
    Configuration menu
    Copy the full SHA
    b2f49a5 View commit details
    Browse the repository at this point in the history