☆11Sep 23, 2024Updated 2 years ago
Alternatives and similar repositories for crush
Users that are interested in crush are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A symbolic execution engine for EVM smart contract binaries.☆123Dec 2, 2025Updated 10 months ago
- Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution☆12Jun 12, 2024Updated 2 years ago
- ☆28May 27, 2023Updated 3 years ago
- A linter for Soufflé Datalog☆18Apr 1, 2024Updated 2 years ago
- vue3+vite+pdfjs渲染pdf文件示例，本例演示了三种渲染模式，canvas渲染，html渲染，完整示例渲染☆11Feb 14, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Java实现图片转字符图片，视频转字符视频☆12Oct 14, 2018Updated 8 years ago
- FirmGuide: Boosting the Capability of Rehosting Embedded Linux Kernels through Model-Guided Kernel Execution☆23May 29, 2023Updated 3 years ago
- SELL OPEN!! Sniping token. Purchase of tokens during listing on exchanges such as Binance, MEXC, OKEX, Huobi and Gate.io . Buy the very f…☆11Feb 27, 2024Updated 2 years ago
- ☆46Nov 14, 2024Updated last year
- ☆10Jul 9, 2020Updated 6 years ago
- StorageScan is a contract variable query tool on EVM chain (ETH BSC HECO...) Through the getStorageAt() function, it allows us to get the…☆12May 13, 2022Updated 4 years ago
- Heaps Don't Lie! Analyzes standard JVM and Android heap snapshots to improve the completeness of program analysis tools such as Doop.☆17Feb 26, 2026Updated 7 months ago
- Web Verbs is an extension to NLWeb from Microsoft Research☆15May 5, 2026Updated 5 months ago
- Export Python AST to JSON☆25Jun 19, 2021Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts☆23Sep 4, 2026Updated last month
- Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds☆61Jun 5, 2022Updated 4 years ago
- Station XML/Seed converter☆20Jun 30, 2026Updated 3 months ago
- Smart contract debugging data format – Standards development working group☆79Updated this week
- A book about datalog☆13Nov 26, 2022Updated 3 years ago
- Soufflé Datalog Language Server. Add smart features to the Soufflé Datalog Language with the help of LSP in a VS code plugin☆15Sep 30, 2023Updated 3 years ago
- ☆14Jun 15, 2026Updated 4 months ago
- A black-box fuzzer to detect custom permission related privilege escalation vulnerabilities in Android.☆34Jul 29, 2026Updated 2 months ago
- WORK IN PROGRESS - researching on how to do LSP clients for VS code.☆30Jun 17, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Analyzer for Uniswap v4 Hooks☆12Mar 4, 2024Updated 2 years ago
- A Datalog compiler and library☆20Jul 1, 2021Updated 5 years ago
- A tool to automatically patch vulnerable Ethereum smart contracts (RAID 2022).☆27Nov 4, 2022Updated 3 years ago
- ☆15Mar 29, 2023Updated 3 years ago
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆20Jan 14, 2021Updated 5 years ago
- Distributed Protocol Combinators☆14Apr 11, 2021Updated 5 years ago
- Create handoff documents and migrate active sessions between Claude Code and Codex.☆67Updated this week
- ☆17Jan 31, 2023Updated 3 years ago
- A binary lifter and analysis framework for Ethereum smart contracts☆388Oct 15, 2026Updated last week
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆12Nov 2, 2022Updated 3 years ago
- Demystifying Random Number in Ethereum Smart Contract: Taxonomy, Vulnerability Identification, and Attack Detection (TSE Accepted)☆25Aug 23, 2022Updated 4 years ago
- Cookie & Logins stealer for Firefox + Chrome, demonstration only☆12Apr 5, 2023Updated 3 years ago
- Tool of xfuzz, machine learning guided cross-contract fuzzing☆11Aug 21, 2022Updated 4 years ago
- ☆32May 19, 2024Updated 2 years ago
- Everblush theme for Obsidian Markdown Editor☆13Nov 21, 2022Updated 3 years ago
- Scudo useful files☆10Jul 3, 2022Updated 4 years ago