Detectors Index

• incorrect-shift
• divide-before-multiply
• transfer-from
• incorrect-exp
• msg-value-in-for-loop
• unprotected-self-destruct
• unchecked-send
• is-unreachable
• bad-prng