An Introduction to Eloizer: A Static Analyzer for Solana programs
This post introduces Eloizer, a static analyzer for Solana programs that we built and released as open source.
Expert security assessments, protocol development, and custom tooling for blockchain ecosystems. Combining advanced security research with AI-augmented automation to protect cross-chain protocols and DeFi systems.
protocols building the future of Web3
What our clients say about working with us
"Inversive audited our v2 Solana program and delivered a thorough review with multiple types of testing and investigations. Fast turnaround, clear communication, and a detailed report that gave us real confidence. Looking forward to working with the Inversive team again!"
"The entire experience has been excellent, nothing but gratitude. Thank you for you professionalism every step of the way. We look forward to continuing to work together"
"Overall very nice execution of the mission. We are very happy with it. Thanks for the professionalism and keeping the support all throughout"
Research, insights, and technical deep-dives into Web3 security
This post introduces Eloizer, a static analyzer for Solana programs that we built and released as open source.
This article introduces Radiant, a binary-level concolic execution framework for Solana programs.
This article introduces Solaris, a stateful, structure-aware, sBPF bytecode coverage-guided fuzzer designed for Solana programs.
From security audits to custom development and consulting, we're ready to discuss how we can support your project.