MCPcopy Create free account
hub / github.com/argotorg/solidity / signed_integer_cleanup_function.py

File signed_integer_cleanup_function.py

test/formal/signed_integer_cleanup_function.py:None–None  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

1from opcodes import SIGNEXTEND
2from rule import Rule
3from util import BVSignedCleanupFunction, BVSignedUpCast
4from z3 import BitVec, BitVecVal, Concat

Callers

nothing calls this directly

Calls 5

RuleClass · 0.90
BVSignedCleanupFunctionFunction · 0.90
SIGNEXTENDFunction · 0.90
BVSignedUpCastFunction · 0.90
checkMethod · 0.45

Tested by

no test coverage detected