Links for slither-analyzer