norhh

Pinned Repositories

mythril
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.
Language:Python3.8k 80 846726
ethereum-org
Ethereum Foundation website
Language:HTML1 0 01
klee
KLEE Symbolic Execution Engine
Language:C++0 0 01
mythril
Security analysis tool for Ethereum smart contracts
Language:Python0 0 00
mythril-ci
Myrhil continuous integration Docker image
Language:Python0 0 06
program-repair.github.io
Automated program repair bibliography, tools and benchmarks.
Language:HTML0 0 00
PSP
Precise Data-Driven Approximation for Program Analysis
00
Rete
Language:C1 1 01
Trident-TSE
Language:LLVM2 1 00

norhh's Repositories

norhh/Trident-TSE
Language:LLVM2 1 00
norhh/ethereum-org
Ethereum Foundation website
Language:HTML1 0 01
norhh/Rete
Language:C1 1 01
norhh/klee
KLEE Symbolic Execution Engine
Language:C++0 0 01
norhh/mythril
Security analysis tool for Ethereum smart contracts
Language:Python0 0 00
norhh/mythril-ci
Myrhil continuous integration Docker image
Language:Python0 0 06
norhh/program-repair.github.io
Automated program repair bibliography, tools and benchmarks.
Language:HTML0 0 00
norhh/PSP
Precise Data-Driven Approximation for Program Analysis
00
norhh/SMAI-Project-Sparsemax
Language:Python0 0 01
norhh/SWC-registry
Smart Contract Weakness Classification and Test Cases
Language:JavaScript0 0 01
norhh/z3
The Z3 Theorem Prover
Language:C++0 0 01