Nikhil Parasaram's repositories
ethereum-org
Ethereum Foundation website
klee
KLEE Symbolic Execution Engine
Language:C++NOASSERTION000
mythril
Security analysis tool for Ethereum smart contracts
Language:PythonMIT000
mythril-ci
Myrhil continuous integration Docker image
Language:Python000
program-repair.github.io
Automated program repair bibliography, tools and benchmarks.
Language:HTML000
PSP
Precise Data-Driven Approximation for Program Analysis
000
Language:Python000
SWC-registry
Smart Contract Weakness Classification and Test Cases
Language:JavaScriptMIT000
z3
The Z3 Theorem Prover
Language:C++NOASSERTION000