
NormCap
Capture2text
dpScreenOCR
TextSniper
ABBYY Screenshot Reader
KanjiTomo
Textify
Easy Screen OCR
AuditHub
Olympix
AuditHub is a blockchain security platform that provides continuous automated security for smart contracts and zero-knowledge circuits. Built by Veridise, AuditHub combines four proprietary tools: Vanguard (smart contract static analysis), OrCa (specification-guided fuzzing), Picus (ZK circuit formal verification), and ZK Vanguard (ZK circuit static analysis). The platform enables development teams and audit firms to catch critical vulnerabilities before deployment through mathematical verification rather than point-in-time manual audits.
Built by Veridise. https://veridise.com/
AuditHubNo features have been listed yet.
AuditHub's answer:
AuditHub's answer:
The tools in AuditHub trace directly to the UToPiA research group at UT Austin, led by Professor Isil Dillig. Starting in 2018, program analysis for smart contracts became a central research focus. The result: peer-reviewed breakthroughs that now run in production.
Capture2text - Capture2Text enables users to quickly OCR a portion of the screen using a keyboard shortcut.
Olympix - Secure your code as itโs written
dpScreenOCR - Program to recognize text on screen
TextSniper - Instantly extract any text from your Mac's screen
ABBYY Screenshot Reader - ABBYY Screenshot Reader turns text within any image captured from your screen into an editable format without retyping
KanjiTomo - KanjiTomo is a OCR program for identifying Japanese text from images.