AuditHub
Olympix
searchcode
Microlink
PublicWWW
CRX Extractor
Codase
IT Wordsearch Labs
Sourcegraph
GetData
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/
AuditHub searchcodeNo 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.
Based on our record, searchcode seems to be more popular. It has been mentiond 17 times 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.
Been working on https://searchcode.com/ again which I bought back, albeit as code search tool for LLMs. It solves the โshould I use this libraryโ by allowing the LLM to inspect search and analyse it before integration. Can use it to compare multiple repositories before downloading. It comes with a large amount of token savings and can be really useful when wanting to learn about a codebase. Since it does it anyway... - Source: Hacker News / 3 months ago
I reimagined https://searchcode.com/ since I realised LLMs have issues when it comes to understanding code you want to integrate. Itโs useful for looking though any codebase, or multiple without having to clone it. I use it when I have candidate libraries to solve a problem, or I just want to find out how things work. Most recently I pointed it at fzf and was able to pull the insensitive SIMD matching it uses and... - Source: Hacker News / 4 months ago
Searchcode doesn't seem to work for me. All queries (even the ones recommended by the site) unfortunately return zero results. Maybe it got hugged? https://searchcode.com/?q=re.compile+lang%3Apython. - Source: Hacker News / over 1 year ago
Without saying what repos they prioritize, it's hard to take them seriously since some pretty simple searches were "uh-huh" e.g. https://searchcode.com/?q=kubelet&src=2&lan=55 versus https://codesearch.debian.net/search?q=kubelet&literal=1 or the gold standard (although regrettably no longer open source) https://sourcegraph.com/search?q=context:global+kubelet&patternType=keyword&sm=0. - Source: Hacker News / over 2 years ago
Searchcode.com โ Comprehensive text-based code search, free for Open Source. - Source: dev.to / over 2 years ago
Olympix - Secure your code as itโs written
Microlink - Extract structured data from any website