TY  - RPRT
TI  - SIF: A Framework for Solidity Code Instrumentation and Analysis
AU  - Chao Peng
AU  - Sefa Akca
AU  - Ajitha Rajan
PY  - 2019
UR  - https://arxiv.org/abs/1905.01659
ID  - 1905.01659
ER  -