gsalzer

followers

following

stars

Gernot Salzer's repositories

subfiles

class and package for multi-file projects in LaTeX

Language:TeXLPPL-1.3c25 2 32

cgt

Consolidated Ground Truth (CGT) for Weaknesses of Ethereum Smart Contracts

Language:SolidityMIT14 2 1

ethutils

Utilities for the Analysis of Ethereum Smart Contracts

Language:PythonGPL-3.09 30

skelcodes

smart contracts deployed on Ethereum, one per skeleton

GPL-3.07 70

vandal

Static program analysis framework for Ethereum smart contract bytecode.

Language:PythonBSD-3-Clause200

TUWcurriculum

Language:TeXNOASSERTION1 10

CVE-LIST

CVE List Found by Team Code4Block

000

dolabra

Language:Python000

ethereum-org-website

Ethereum.org is a primary online resource for the Ethereum community.

Language:MarkdownMIT000

mcp

Language:C++GPL-3.0000

mythril

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.

Language:PythonMIT000

openethereum

Modifications of the Ethereum client OpenEthereum

GPL-3.0010

py-solc-x

Python wrapper and version management tool for the solc Solidity compiler.

Language:PythonMIT000

solc-bin

This repository contains current and historical builds of the Solidity Compiler.

Language:JavaScriptGPL-3.0000

multlog

M. Ultlog, the genius many-valued logic expert

Language:Prolog000

systematic-integer-benchmark

Language:JavaScriptGPL-3.0000