olympix / integrated-securityLinks
Perform code analysis to detect potentially dangerous vulnerabilities
☆13Updated last year
Alternatives and similar repositories for integrated-security
Users that are interested in integrated-security are comparing it to the libraries listed below
Sorting:
- Programmable Wallets for Salesforce, powered by Circle Programmable Wallets, is an open source solution built on Circle Programmable Wall…☆13Updated 3 months ago
- Comprehensive framework that identifies, categorizes, and mitigates Web3-related attacks and vulnerabilities☆56Updated last year
- ☆23Updated 4 years ago
- A curated list of resources for learning about Web3☆17Updated last year
- A tree-sitter-grammar for cairo 1.0☆16Updated 3 years ago
- ☆162Updated 2 weeks ago
- Curation of DevSecOps tools that all work together inside the minimum amount of containers. Just run make exec and read the How To!☆37Updated last year
- Interactive documentation on zero-knowledge proof systems and related primitives.☆172Updated 5 months ago
- Official repository for the Security Frameworks by SEAL. Currently under development, not a release.☆68Updated this week
- MCP server for Slither static analysis of Solidity smart contracts☆63Updated this week
- Using smart contracts to verify the content of a webpage, mitigating the risk of connecting a wallet to a website affected by a DNS takeo…☆27Updated 2 years ago
- Interactive formal verification tool for Yul programs☆76Updated 2 months ago
- A static analyzer and linter for the Circom zero-knowledge DSL☆260Updated last year
- ☆29Updated last year
- Graveyard of past Web3 exploits☆21Updated 3 years ago
- Collection of CTFs for Fun and Interviewing Applicants☆152Updated 11 months ago
- Blockchain Security Tools and Techniques - A Deep Dive to Virtual Machines, Vulnerability Assessments, Penetration Testing, Audit Tools e…☆33Updated last year
- Cairo/Starknet smart contract fuzzer☆129Updated 9 months ago
- Public infra related to hosting Paradigm CTF☆114Updated last year
- Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks☆75Updated 6 months ago
- experimental solidity compiler☆95Updated last week
- ☆82Updated this week
- ☆15Updated last year
- examples and utilities of dstack applications☆21Updated last week
- Smart contract specification language☆262Updated this week
- Horus, a formal verification tool for StarkNet smart contracts.☆74Updated 7 months ago
- A Salesforce native Cardano wallet component☆14Updated last month
- A query suite for common bug patterns in Cosmos SDK-based applications☆29Updated 2 years ago
- DeFiVulnLabsCosmWasm☆51Updated 2 years ago
- Lints based on the Sealevel Attacks☆46Updated 2 weeks ago