Improve metadata handling #59
Labels
enhancement
New feature or request
good first issue
Good for newcomers
help wanted
Extra attention is needed
Following the trailofbits/manticore#909 discussion:
We need to improve
crytic-compile/crytic_compile/crytic_compile.py
Lines 942 to 956 in 35370b6
To handle newer versions of the metadata encoding, including:
0.5.15
0.6.1
We could also handle the parsing of the metatadata, like doing the key-values extraction.
Additionally, we should add a public function allowing external tools to access these functionalities. This would be useful for, at least, Manticore and evm-cfg-builder.
The text was updated successfully, but these errors were encountered: