JUST IN: New academic research proposes SseRex, the first symbolic execution system designed to detect Solana specific vulnerabilities at the by tecode level.


In tests on 8,714 deployed contracts, the tool identified 467 potentially vulnerable contracts and showed better results than previous methods, at a time when the security of Solana programs remains under intense scrutiny.
post-image
post-image
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
  • Reward
  • Comment
  • Repost
  • Share
Comment
Add a comment
Add a comment
No comments
  • Pin