Map smart contract import dependencies and detect reentrancy, unsafe transfer and unknown external deps.