Octane uses a mix of detectors and fork attack simulations to find both high-level and very niche issues in Solidity smart contracts.

To learn more about what detectors Octane employs in production, visit our vulnerability detector documentation.