SseRex: Practical Symbolic Execution of Solana Smart Contracts
SseRex: Practical Symbolic Execution of Solana Smart Contracts explores SseRex is a symbolic execution tool designed to detect vulnerabilities in Solana smart contracts.. Commercial viability score: 3/10 in Smart Contract Security.
BUILDER'S SANDBOX
Build This Paper
Use an AI coding agent to implement this research.
OpenAI CodexAI Agent
Lightweight coding agent in your terminal.
Claude CodeAI Agent
Agentic coding tool for terminal workflows.
AntiGravity IDEScaffolding
AI agent mindset installer and workflow scaffolder.
CursorIDE
AI-first code editor built on VS Code.
VS CodeIDE
Free, open-source editor by Microsoft.
Recommended Stack
Startup Essentials
Estimated $10K - $14K over 6-10 weeks.
See exactly what it costs to build this -- with 3 comparable funded startups.
7-day free trial. Cancel anytime.
Discover the researchers behind this paper and find similar experts.
7-day free trial. Cancel anytime.
Related Papers
- Higher ViabilitySmartGraphical: A Human-in-the-Loop Framework for Detecting Smart Contract Logical Vulnerabilities via Pattern-Driven Static Analysis and Visual AbstractionViability: 7.0
- Higher ViabilityAXE: An Agentic eXploit Engine for Confirming Zero-Day Vulnerability ReportsViability: 7.0
- Higher ViabilityKnowdit: Agentic Smart Contract Vulnerability Detection with Auditing Knowledge SummarizationViability: 7.0
- Higher ViabilityLibScan: Smart Contract Library Misuse Detection with Iterative Feedback and Static VerificationViability: 8.0
- Higher Viability