Set and use writability permission bits on JVM static fields#1293

Merged

mergify[bot] merged 5 commits intomasterfrom jvm-static-field-writable

May 14, 2021

+245-33

Commits on May 14, 2021

Add internal support for jvm_modified declarations.
Brian Huffman
committed
Add implementations for jvm_modifies commands.
Brian Huffman
committed
Add saw-script primitives for three jvm_modifies variants:
Brian Huffman
committed
Add regression tests for jvm_verify soundness bugs (issue #900 ).
Brian Huffman
committed
Set and use writability permission bits on JVM static fields.
Brian Huffman
committed