Pinned Loading

1. FloatingPragma/observer-patch-holography FloatingPragma/observer-patch-holography Public

   Observer Patch Holography is the observer-consistency theory-of-everything. No observer sees the whole world at once; each observer gets a local patch; physics is the public fixed point that surviv…

   Python 546 70

2. ConsenSysDiligence/mythril ConsenSysDiligence/mythril Public

   Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.

   Python 4.3k 815

3. smashing-smart-contracts smashing-smart-contracts Public archive

   Writings on symbolic-execution-based security analysis of EVM smart contracts.

   HTML 178 21

4. scabench-org/hound scabench-org/hound Public

   Language-agnostic AI auditor that autonomously builds and refines adaptive knowledge graphs for deep, iterative code reasoning.

   Python 782 148

5. OWASP/mastg OWASP/mastg Public

   The OWASP Mobile Application Security Testing Guide (MASTG) is a comprehensive manual for mobile app security testing and reverse engineering. It describes technical processes for verifying the OWA…

   Python 13k 2.8k

6. OWASP/masvs OWASP/masvs Public

   The OWASP MASVS (Mobile Application Security Verification Standard) is the industry standard for mobile app security.

   Python 2.4k 695