solang-parser 0.2.1

Solang Solidity Parser
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

from opcodes import BYTE
from rule import Rule
from z3 import BitVec

"""
byte(A, X) -> 0
given A >= WordSize / 8
"""

rule = Rule()

n_bits = 256

# Input vars
X = BitVec('X', n_bits)
A = BitVec('A', n_bits)

rule.require(A >= n_bits / 8)
rule.check(BYTE(A, X), 0)