Smart contract auditing assistant tool for Truffle Framework.
☆17Dec 9, 2022Updated 3 years ago
Alternatives and similar repositories for truffle-sca2t
Users that are interested in truffle-sca2t 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 MythX API client wrapper☆17Sep 26, 2024Updated 2 years ago
- Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.☆59Sep 9, 2020Updated 6 years ago
- CLI client for the MythX API☆21Dec 30, 2022Updated 3 years ago
- Guide to auditing EVM smart contracts using tools☆22Apr 2, 2023Updated 3 years ago
- Exercises to go along with smart contract security workshops by MythX and ConsenSys Diligence☆38Nov 11, 2020Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Solstice is a security analysis framework for investigative smart contract examination. The first prototype of Solstice, code named W18 (…☆20Jan 13, 2019Updated 7 years ago
- Ethereum Smart Contracts Security Monitoring☆19Dec 8, 2022Updated 3 years ago
- Mess up web3 with React☆13Dec 7, 2022Updated 3 years ago
- Secure smart contract development workshop hosted by ConsenSys Diligence and MythX.☆69Feb 2, 2020Updated 6 years ago
- Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.☆32Jan 24, 2023Updated 3 years ago
- Add ipython magic to call python trepan☆14Aug 23, 2020Updated 6 years ago
- MythX smart contract security verification plugin for Truffle Framework☆126Jan 22, 2022Updated 4 years ago
- PHP xdebug debugger support in emacs realgud☆10Feb 1, 2021Updated 5 years ago
- Python module to align a simple (not nested) list in columns. Adapted from the routine of the same name inside cmd.py☆16Jul 17, 2026Updated 3 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Ruby debugger for Rubinius 2.0x. See also rb-trepanning☆14Jul 26, 2013Updated 13 years ago
- Earley parser in Emacs Lisp☆16Oct 3, 2019Updated 7 years ago
- Debugger in the Trepan family for x-python☆18Apr 23, 2026Updated 6 months ago
- ☆15Apr 6, 2022Updated 4 years ago
- BioPerl scripts and utilities☆11Sep 2, 2025Updated last year
- realgud support for newer "node inspect"☆11May 26, 2019Updated 7 years ago
- Papers of smart contract security analysis (and tools)☆36Jun 5, 2019Updated 7 years ago
- Emacs package to help users and programs keep track of positions even after buffer changes.☆11Oct 31, 2026Updated last week
- A benchmark suite for evaluating the precision of EVM code analysis tools.☆42Aug 31, 2018Updated 8 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A more gdb-like debugger for nodejs. In style of the trepan family of debuggers.☆16Jan 25, 2022Updated 4 years ago
- Manticore Ransomware Emulation - Educational Purpose Only!☆10Aug 2, 2020Updated 6 years ago
- ☆14Dec 4, 2021Updated 4 years ago
- ☆15Jan 14, 2021Updated 5 years ago
- GNU VCDImager☆10Feb 1, 2022Updated 4 years ago
- Get Perpetual Funding Rates from Cryptocurrency Exchanges Every 2 Hours.☆11Updated this week
- ☆17Feb 19, 2025Updated last year
- Native macOS menubar dictation app☆54Sep 30, 2026Updated last month
- Enables the perl debugger at runtime☆13Nov 28, 2015Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- a Ruby implementation of Java's ObjectInputStream and ObjectOutputStream.☆16May 28, 2022Updated 4 years ago
- IPBW: Interplanetary Black Widow crawls ur ipfs nodes☆12Sep 2, 2021Updated 5 years ago
- Python interface to the libcdio - the CD Input and Control library☆18Oct 25, 2026Updated last week
- A tool to test and deploy ethereum smart contract☆35Oct 30, 2026Updated last week
- Python library for accessing SWC-registry content☆11Jul 24, 2023Updated 3 years ago
- This project is created for our Confidential Laboratory, which is supported by HEU☆13Jul 2, 2018Updated 8 years ago
- Aggregate zkSNARK transactions (like roll_up)☆12Dec 23, 2018Updated 7 years ago