
DXR
Sourcegraph
OpenGrok
Text Sherlock
LXR
OctoLinker
Insight.io
searchcode
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/
DXR
AuditHubNo features have been listed yet.
No AuditHub videos yet. You could help us improve this page by suggesting one.
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.
Based on our record, DXR seems to be more popular. It has been mentiond 1 time since March 2021. We are tracking product recommendations and mentions on various public social media platforms and blogs. They can help you identify which product is more popular and what people think of it.
There is DXR from Mozilla but I'm not sure how generalised it is. https://github.com/mozilla/dxr There is also Sourcegraph. - Source: Hacker News / over 5 years ago
Sourcegraph - Sourcegraph is a free, self-hosted code search and intelligence server that helps developers find, review, understand, and debug code. Use it with any Git code host for teams from 1 to 10,000+.
Olympix - Secure your code as itโs written
OpenGrok - OpenGrok is a fast and usable source code search and cross reference engine.
Text Sherlock - Provides a fast, easy to install and use search engine for text but, mostly for source code.
LXR - LXR Cross Referencer, usually known as LXR, is a general-purpose source code indexer and cross-referencer that provides web-based browsing of source code, with links to the definition and usage of any identifier
OctoLinker - OctoLinker is a browser extension for Chrome, Firefox and Opera which allows you to navigate...